| 2008 |
|---|
| 30 | Inclusion dynamics hybrid automata. Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra. Inf. Comput. (206): 1394-1424 (2008). Web SearchBibTeXDownload |
| 2005 |
|---|
| 29 | Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra. CAV 2005, 5-19. Web SearchBibTeXDownload |
| 28 | An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. Angelo Montanari, Alberto Policriti, Nicola Vitacolonna. LPAR 2005, 139-153. Web SearchBibTeXDownload |
| 2004 |
|---|
| 27 | An efficient algorithm for computing bisimulation equivalence. Agostino Dovier, Carla Piazza, Alberto Policriti. Theor. Comput. Sci. (311): 221-256 (2004). Web SearchBibTeXDownload |
| 26 | Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra. Theor. Comput. Sci. (325): 45-67 (2004). Web SearchBibTeXDownload |
| 2003 |
|---|
| 25 | Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra. Pacific Symposium on Biocomputing 2003, 116-127. Web SearchBibTeXDownload |
| 24 | Binary Extensions of S1S and the Composition Method. Enrico Marzano, Angelo Montanari, Alberto Policriti. Verification: Theory and Practice 2003, 626-644. Web SearchBibTeXDownload |
| 2002 |
|---|
| 23 | Rank-Based Symbolic Bisimulation (and Model Checking). Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti. Electr. Notes Theor. Comput. Sci. (67): 166-183 (2002). Web SearchBibTeXDownload |
| 22 | XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra. HiPC 2002, 431-442. Web SearchBibTeXDownload |
| 21 | Alternative Translation Techniques for Propositional and First-Order Modal Logics. Angelo Montanari, Alberto Policriti, Matteo Slanina. J. Autom. Reasoning (28): 397-415 (2002). Web SearchBibTeXDownload |
| 20 | Extending Kamp's Theorem to Model Time Granularity. Angelo Montanari, Adriano Peron, Alberto Policriti. J. Log. Comput. (12): 641-677 (2002). Web SearchBibTeXDownload |
| 2001 |
|---|
| 19 | A Fast Bisimulation Algorithm. Agostino Dovier, Carla Piazza, Alberto Policriti. CAV 2001, 79-90. Web SearchBibTeXDownload |
| 2000 |
|---|
| 18 | Comparing Expressiveness of Set Constructor Symbols. Agostino Dovier, Carla Piazza, Alberto Policriti. FroCos 2000, 275-289. Web SearchBibTeXDownload |
| 17 | Supporting automated deduction in first-order modal logics. Angelo Montanari, Alberto Policriti, Matteo Slanina. KR 2000, 547-556. Web SearchBibTeX |
| 16 | The Taming (Timing) of the States. Angelo Montanari, Adriano Peron, Alberto Policriti. Logic Journal of the IGPL (8): 681-699 (2000). Web SearchBibTeXDownload |
| 15 | Derivability in Locally Quantified Modal Logics via Translation in Set Theory. Angelo Montanari, Alberto Policriti, Matteo Slanina. MFCS 2000, 559-568. Web SearchBibTeXDownload |
| 1999 |
|---|
| 14 | Comparing expressiveness of set constructor symbols. Agostino Dovier, Carla Piazza, Alberto Policriti. APPIA-GULP-PRODE 1999, 151-166. Web SearchBibTeX |
| 13 | Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti. Appl. Algebra Eng. Commun. Comput. (9): 293-332 (1999). Web SearchBibTeXDownload |
| 12 | Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Angelo Montanari, Adriano Peron, Alberto Policriti. Logic Journal of the IGPL (7): 79-102 (1999). Web SearchBibTeXDownload |
| 1998 |
|---|
| 11 | A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Agostino Dovier, Alberto Policriti, Gianfranco Rossi. Fundam. Inform. (36): 201-234 (1998). Web SearchBibTeXDownload |
| 10 | Modal Deduction in Second-Order Logic and Set Theory - II. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. Studia Logica (60): 387-420 (1998). Web SearchBibTeXDownload |
| 1997 |
|---|
| 9 | Set domains for structural properties of terms. Agostino Dovier, Alberto Policriti. APPIA-GULP-PRODE 1997, 93-104. Web SearchBibTeX |
| 8 | A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. Angelo Montanari, Alberto Policriti. IJCAI (1) 1997, 196-201. Web SearchBibTeX |
| 7 | On T Logic Programming. Agostino Dovier, Andrea Formisano, Alberto Policriti. ILPS 1997, 323-337. Web SearchBibTeX |
| 6 | Modal Deduction in Second-Order Logic and Set Theory - I. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. J. Log. Comput. (7): 251-265 (1997). Web SearchBibTeXDownload |
| 1996 |
|---|
| 5 | Integrating Lists, Multisets, and Sets in a Logic Programming Framework. Agostino Dovier, Alberto Policriti, Gianfranco Rossi. Frontiers of Combining Systems (FroCos) 1996, 303-319. Web SearchBibTeX |
| 4 | Decidability Results for Metric and Layered Temporal Logics. Angelo Montanari, Alberto Policriti. Notre Dame Journal of Formal Logic (37): 260-282 (1996). Web SearchBibTeXDownload |
| 1995 |
|---|
| 3 | A Set-Theoretic Translation Method for Polymodal Logics. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. J. Autom. Reasoning (15): 317-337 (1995). Web SearchBibTeXDownload |
| 2 | A Set-Theoretic Translation Method for (Poly)modal Logics. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. STACS 1995, 217-228. Web SearchBibTeXDownload |
| 1994 |
|---|
| 1 | Solving Systems of Equations over Hypersets. Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi. GULP-PRODE (1) 1994, 403-417. Web SearchBibTeX |
