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 |