Faculty of Computer Science - Free University of Bozen-Bolzano

business process management data-aware processes process mining formal verification declarative process models model checking monitoring artificial intelligence verification runtime verification declare conformance checking object-centric behavioral constraints linear temporal logic temporal logics state-boundedness object-centric processes finite-state automata commitments business artifacts automated reasoning declarative process mining data-centric dynamic systems business constraints multiagent systems formal methods knowledge representation and reasoning first-order temporal logics stochastic processes multi-case processes colored petri nets petri nets bpmn event calculus infinite-state systems finite traces temporal description logics temporal reasoning uml ontology-based data access abstraction techniques mu-calculus artifact-centric processes relational multiagent systems database theory conceptual modeling stochastic petri nets process constraints data petri nets erp systems master data management dmn semantic dmn petri nets with names management analisi formale sistemi informativi modellazione concettuale data science gestione aziendale verifica gestione delle organizzazioni qualità totale ontologie processi aziendali crm project management data analytics metodi formali simulazione accesso ai dati big data colored automata data-centric workflows gsm description logics operational decision support reactive reasoning logic programming compliance clinical guidelines social commitmens ontologies qualitative verification markov chains silent transitions stochastic process mining object-aware petri nets information systems data abstraction probabilistic declare probabilistic constraints uncertainty many-to-many processes decision-aware processes case management petri nets with data decidability results reasoning on decision models decision model and notation process discovery data models data preparation business processes reachability db-nets relational databases metric time databases bisimulations knowledge bases strategic reasoning synthesis data-aware multiagent systems dcds process monitoring business rules business interactions execution traces conformance medical knowledge parameterized verification case-centric processes linear dynamic logic first-order logic data epsilon moves exit probability absorption probability trace probability augmented bpm intelligent systems vacuity detection constraint discovery constraint mining steady-state analysis ada tool smt arithmetics arithmetic conditions soundness checking caise multi-dimensional alignments approximate alignments embeddings trace alignment probabilistic trace alignment data-aware dynamic systems probabilistic reasoning outliers classification probabilistic temporal logics probabilistic models temporal constraints ocbc declarative modeling multi-event logs multiple perspectives onprom multi-level mappings event data event logs xes knowledge graphs data pipelines decision management decision logic quality assessment knowledge integration correctness analysis events ontologies of norms normative frameworks integer linear programming conflicting constraints multi-perspective declare fit for digital public administration digitalization backward reachability array-based systems smt-based model checking data-aware bpmn convergence divergence decision modeling s-feel conference presentation speech slides best practices scientific presentations how to present weak acyclicity java apis daphne modeling methodologies raw-sys syntactic conditions dcds execution implementation modeling guidelines isomorphic types characterization theorems logics and bisimulations lossy counter automata undecidability results counter automata genericity counter machines state-bounded dcds markovian systems incrementing counter machines generic transition systems persistence-preserving logics computation tree logic relational transition systems execution semantics database domain knowledge log extraction obda matematica russell logica al prim'ordine macchine di turing principia mathematica hilbert turing machines turing frege goedel problemi di hilbert whitehead paradossi leibniz teoria degli insiemi lógica informatica decidbilità paradosso del mentitore boole timed declare knowledge-intensive processes abductive logic programming open declarative interaction models climb social commitments flexible processes reactive event calculus cached event calculus rec european project artifact-centric service interoperation guard-stage milestone enterprise modeling acsi project univr univerona carlo combi verona deviations computer-interpretable guidelines glare relational mapping lossless views conceptual models object-relational mapping uml class diagrams hibernate mappings query languages run-boundedness pods description logic-based dynamic systems best paper award planning first-order tempral logics levesque functional approach best paper proactive agents reactive agents relational commitments open multiagent systems boundedness exceptions contrary-to-duty constraints compensations mutual exclusion protocols dense order data types ordered data hybrid process modeling automata constraint automata agents time-aware commitments cigs audit trails compensation regular expressions ldl ltl datalog declarative networking marco somalvico award ai*ia declarative distributed systems aixia decidability business mining petri reasoning analysis process computing science