| 2010 |
|---|
| 25 | Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza. Fundam. Inform. (105): 105-133 (2010). Web SearchBibTeXDownload |
| 24 | From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza. SEBD 2010, 382-389. Web SearchBibTeX |
| 2009 |
|---|
| 23 | From Entity Relationship to XML Schema: A Graph-Theoretic Approach. Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza. XSym 2009, 165-179. Web SearchBibTeXDownload |
| 2008 |
|---|
| 22 | A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. Agostino Dovier, Carla Piazza, Gianfranco Rossi. ACM Trans. Comput. Log. (9) (2008). Web SearchBibTeXDownload |
| 21 | Decidable Compositions of O-Minimal Automata. Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra. ATVA 2008, 274-288. Web SearchBibTeXDownload |
| 20 | Inclusion dynamics hybrid automata. Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra. Inf. Comput. (206): 1394-1424 (2008). Web SearchBibTeXDownload |
| 2007 |
|---|
| 19 | Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra. AB 2007, 51-65. Web SearchBibTeXDownload |
| 18 | Composing Semi-algebraic O-Minimal Automata. Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra. HSCC 2007, 668-671. Web SearchBibTeXDownload |
| 2005 |
|---|
| 17 | Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. Venkatesh Mysore, Carla Piazza, Bud Mishra. ATVA 2005, 217-233. Web SearchBibTeXDownload |
| 16 | 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 |
| 2004 |
|---|
| 15 | Disunification in ACI1 Theories. Agostino Dovier, Carla Piazza, Enrico Pontelli. Constraints (9): 35-91 (2004). Web SearchBibTeXDownload |
| 14 | 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 |
| 13 | An efficient algorithm for computing bisimulation equivalence. Agostino Dovier, Carla Piazza, Alberto Policriti. Theor. Comput. Sci. (311): 221-256 (2004). Web SearchBibTeXDownload |
| 2003 |
|---|
| 12 | A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. Agostino Dovier, Carla Piazza, Gianfranco Rossi. CoRR (cs.PL/0309045) (2003). Web SearchBibTeXDownload |
| 11 | The Subgraph Bisimulation Problem. Agostino Dovier, Carla Piazza. IEEE Trans. Knowl. Data Eng. (15): 1055-1056 (2003). Web SearchBibTeXDownload |
| 2002 |
|---|
| 10 | 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 |
| 2001 |
|---|
| 9 | A Fast Bisimulation Algorithm. Agostino Dovier, Carla Piazza, Alberto Policriti. CAV 2001, 79-90. Web SearchBibTeXDownload |
| 2000 |
|---|
| 8 | Sets and constraint logic programming. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi. ACM Trans. Program. Lang. Syst. (22): 861-931 (2000). Web SearchBibTeXDownload |
| 7 | Comparing Expressiveness of Set Constructor Symbols. Agostino Dovier, Carla Piazza, Alberto Policriti. FroCos 2000, 275-289. Web SearchBibTeXDownload |
| 6 | Multiset Constraints and P Systems. Agostino Dovier, Carla Piazza, Gianfranco Rossi. WMP 2000, 103-122. Web SearchBibTeXDownload |
| 1999 |
|---|
| 5 | Comparing expressiveness of set constructor symbols. Agostino Dovier, Carla Piazza, Alberto Policriti. APPIA-GULP-PRODE 1999, 151-166. Web SearchBibTeX |
| 4 | ACI1 constraints. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi. APPIA-GULP-PRODE 1999, 305-320. Web SearchBibTeX |
| 3 | ACI1 Constraints. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi. ICLP 1999, 573-587. Web SearchBibTeX |
| 1998 |
|---|
| 2 | Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. Agostino Dovier, Carla Piazza, Gianfranco Rossi. APPIA-GULP-PRODE 1998, 43-56. Web SearchBibTeX |
| 1 | On the Representation and Management of Finite Sets in CLP Languages. Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli. IJCSLP 1998, 40-54. Web SearchBibTeX |
