Carla Piazza

2009
56	EE	Filippo Del Tedesco, Carla Piazza: External Control in Process Algebra for Systems Biology. Electr. Notes Theor. Comput. Sci. 227: 161-177 (2009)
55	EE	Dario Campagna, Carla Piazza: Hybrid Automata in Systems Biology: How Far Can We Go? Electr. Notes Theor. Comput. Sci. 229(1): 93-108 (2009)
2008
54	EE	Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38
53	EE	Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra: Decidable Compositions of O-Minimal Automata. ATVA 2008: 274-288
52	EE	Carla Piazza, Alberto Policriti: Systems Biology: Models and Logics. ICLP 2008: 14
51	EE	Agostino Dovier, Carla Piazza, Gianfranco Rossi: A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. ACM Trans. Comput. Log. 9(3): (2008)
50	EE	Raffaella Gentilini, Carla Piazza, Alberto Policriti: Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica 50(1): 120-158 (2008)
49	EE	Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra: Inclusion dynamics hybrid automata. Inf. Comput. 206(12): 1394-1424 (2008)
2007
48	EE	Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra: Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. AB 2007: 51-65
47	EE	Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra: Composing Semi-algebraic O-Minimal Automata. HSCC 2007: 668-671
46	EE	Annalisa Bossi, Carla Piazza, Sabina Rossi: Action Refinement in Process Algebra and Security Issues. LOPSTR 2007: 201-217
45	EE	Annalisa Bossi, Carla Piazza, Sabina Rossi: Compositional information flow security for concurrent programs. Journal of Computer Security 15(3): 373-416 (2007)
2005
44	EE	Venkatesh Mysore, Carla Piazza, Bud Mishra: Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. ATVA 2005: 217-233
43	EE	Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra: Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV 2005: 5-19
42	EE	Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information flow in secure contexts. Journal of Computer Security 13(3): 391-422 (2005)
2004
41	EE	Annalisa Bossi, Carla Piazza, Sabina Rossi: Modelling Downgrading in Information Flow Security. CSFW 2004: 187-
40	EE	Annalisa Bossi, Carla Piazza, Sabina Rossi: Unwinding Conditions for Security in Imperative Languages. LOPSTR 2004: 85-100
39	EE	Carla Piazza, Enrico Pivato, Sabina Rossi: CoPS - Checker of Persistent Security. TACAS 2004: 144-152
38	EE	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Nesting analysis of mobile ambients. Computer Languages, Systems & Structures 30(3-4): 207-230 (2004)
37	EE	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Verifying persistent security properties. Computer Languages, Systems & Structures 30(3-4): 231-258 (2004)
36	EE	Agostino Dovier, Carla Piazza, Enrico Pontelli: Disunification in ACI1 Theories. Constraints 9(1): 35-91 (2004)
35	EE	Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Unwinding in Information Flow Security. Electr. Notes Theor. Comput. Sci. 99: 127-154 (2004)
34	EE	Chiara Braghin, Carla Piazza: Checking Integrity via CoPS and Banana: the E-Commerce Case Study . Electr. Notes Theor. Comput. Sci. 99: 295-317 (2004)
33	EE	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electr. Notes Theor. Comput. Sci. 99: 319-337 (2004)
32		Carla Piazza, Alberto Policriti: Ackermann Encoding, Bisimulations, and OBDDs. TPLP 4(5-6): 695-718 (2004)
31	EE	Agostino Dovier, Carla Piazza, Alberto Policriti: An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311(1-3): 221-256 (2004)
30	EE	Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. 325(1): 45-67 (2004)
2003
29	EE	Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni: Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74
28	EE	Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Secure Contexts for Confidential Data. CSFW 2003: 14-28
27	EE	Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information Flow Security and Recursive Systems. ICTCS 2003: 369-382
26	EE	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Refinement Operators and Information Flow Security. SEFM 2003: 44-53
25	EE	Raffaella Gentilini, Carla Piazza, Alberto Policriti: Computing strongly connected components in a linear number of symbolic steps. SODA 2003: 573-582
24	EE	Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441
23	EE	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI 2003: 223-237
22	EE	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101
21	EE	Carla Piazza, Alberto Policriti: Ackermann Encoding, Bisimulations, and OBDDs CoRR cs.LO/0311018: (2003)
20	EE	Agostino Dovier, Carla Piazza, Gianfranco Rossi: A uniform approach to constraint-solving for lists, multisets, compact lists, and sets CoRR cs.PL/0309045: (2003)
19	EE	Agostino Dovier, Carla Piazza: The Subgraph Bisimulation Problem. IEEE Trans. Knowl. Data Eng. 15(4): 1055-1056 (2003)
18	EE	Raffaella Gentilini, Carla Piazza, Alberto Policriti: From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reasoning 31(1): 73-103 (2003)
17		George Goguadze, Carla Piazza, Yde Venema: Simulating polyadic modal logics by monadic ones. J. Symb. Log. 68(2): 419-462 (2003)
2002
16	EE	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Transforming Processes to Check and Ensure Information Flow Security. AMAST 2002: 271-286
15	EE	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: A Proof System for Information Flow Security. LOPSTR 2002: 199-218
14	EE	Raffaella Gentilini, Carla Piazza, Alberto Policriti: Simulation as Coarsest Partition Problem. TACAS 2002: 415-430
13	EE	Riccardo Focardi, Carla Piazza, Sabina Rossi: Proofs Methods for Bisimulation Based Information Flow Security. VMCAI 2002: 16-31
12	EE	Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank-Based Symbolic Bisimulation (and Model Checking). Electr. Notes Theor. Comput. Sci. 67: (2002)
11	EE	Raffaella Gentilini, Carla Piazza, Alberto Policriti: Simulation Reduction as Constraint. Electr. Notes Theor. Comput. Sci. 76: (2002)
2001
10	EE	Agostino Dovier, Carla Piazza, Alberto Policriti: A Fast Bisimulation Algorithm. CAV 2001: 79-90
2000
9		Agostino Dovier, Carla Piazza, Alberto Policriti: Comparing Expressiveness of Set Constructor Symbols. FroCos 2000: 275-289
8		Carla Piazza, Alberto Policriti: Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. TABLEAUX 2000: 368-382
7	EE	Agostino Dovier, Carla Piazza, Gianfranco Rossi: Multiset Constraints and P Systems. WMP 2000: 103-122
6	EE	Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000)
1999
5		Agostino Dovier, Carla Piazza, Alberto Policriti: Comparing expressiveness of set constructor symbols. APPIA-GULP-PRODE 1999: 151-166
4		Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320
3		Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 Constraints. ICLP 1999: 573-587
1998
2		Agostino Dovier, Carla Piazza, Gianfranco Rossi: Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE 1998: 43-56
1		Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli: On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54

Coauthor Index

1	Marco Antoniotti	[29] [30] [43]
2	Annalisa Bossi	[15] [16] [23] [26] [27] [28] [35] [37] [40] [41] [42] [45] [46]
3	Chiara Braghin	[22] [24] [33] [34] [38]
4	Dario Campagna	[55]
5	Alberto Casagrande	[47] [48] [49] [53]
6	Kevin Casey	[48]
7	Agostino Cortesi	[22] [24] [33] [38]
8	Pietro Corvaja	[47] [53]
9	Silvia Crafa	[54]
10	Agostino Dovier	[1] [2] [3] [4] [5] [6] [7] [9] [10] [12] [19] [20] [31] [36] [51]
11	Rachele Falchi	[48]
12	Stefano Filippone	[24]
13	Riccardo Focardi	[13] [15] [16] [22] [23] [24] [26] [33] [35] [37] [38]
14	Raffaella Gentilini	[11] [12] [14] [18] [25] [50]
15	George Goguadze	[17]
16	Flaminia L. Luccio	[22] [24] [33] [38]
17	Damiano Macedonio	[27] [28] [35] [42]
18	Marino Miculan	[54]
19	Matteo Mio	[54]
20	Bud Mishra (Bhubaneswar Mishra)	[29] [30] [43] [44] [47] [48] [49] [53]
21	Venkatesh Mysore	[43] [44]
22	Enrico Pivato	[39]
23	Alberto Policriti	[5] [8] [9] [10] [11] [12] [14] [18] [21] [25] [29] [30] [31] [32] [43] [49] [50] [52]
24	Enrico Pontelli	[1] [3] [4] [6] [36]
25	Gianfranco Rossi	[1] [2] [3] [4] [6] [7] [20] [51]
26	Sabina Rossi	[13] [15] [16] [23] [26] [27] [28] [35] [37] [39] [40] [41] [42] [45] [46] [54]
27	Benedetto Ruperti	[48]
28	Marta Simeoni	[29] [30]
29	Filippo Del Tedesco	[56]
30	Yde Venema	[17]
31	Giannina Vizzotto	[48]
32	Franz Winkler	[43]

Colors in the list of coauthors