The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Carla Piazza: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Agostino Dovier, Carla Piazza, Alberto Policriti
    Comparing expressiveness of set constructor symbols. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:151-166 [Conf]
  2. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    ACI1 constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:305-320 [Conf]
  3. Agostino Dovier, Carla Piazza, Gianfranco Rossi
    Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:43-56 [Conf]
  4. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Transforming Processes to Check and Ensure Information Flow Security. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:271-286 [Conf]
  5. Venkatesh Mysore, Carla Piazza, Bud Mishra
    Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:217-233 [Conf]
  6. Agostino Dovier, Carla Piazza, Alberto Policriti
    A Fast Bisimulation Algorithm. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:79-90 [Conf]
  7. Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
    Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:5-19 [Conf]
  8. Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni
    Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:57-74 [Conf]
  9. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Secure Contexts for Confidential Data. [Citation Graph (0, 0)][DBLP]
    CSFW, 2003, pp:14-28 [Conf]
  10. Annalisa Bossi, Carla Piazza, Sabina Rossi
    Modelling Downgrading in Information Flow Security. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:187-0 [Conf]
  11. Agostino Dovier, Carla Piazza, Alberto Policriti
    Comparing Expressiveness of Set Constructor Symbols. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:275-289 [Conf]
  12. Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
    Composing Semi-algebraic O-Minimal Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:668-671 [Conf]
  13. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    ACI1 Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:573-587 [Conf]
  14. Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli
    On the Representation and Management of Finite Sets in CLP Languages. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:40-54 [Conf]
  15. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Information Flow Security and Recursive Systems. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:369-382 [Conf]
  16. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    A Proof System for Information Flow Security. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:199-218 [Conf]
  17. Annalisa Bossi, Carla Piazza, Sabina Rossi
    Unwinding Conditions for Security in Imperative Languages. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:85-100 [Conf]
  18. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Refinement Operators and Information Flow Security. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:44-53 [Conf]
  19. Raffaella Gentilini, Carla Piazza, Alberto Policriti
    Computing strongly connected components in a linear number of symbolic steps. [Citation Graph (0, 0)][DBLP]
    SODA, 2003, pp:573-582 [Conf]
  20. Carla Piazza, Alberto Policriti
    Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:368-382 [Conf]
  21. Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
    BANANA - A Tool for Boundary Ambients Nesting ANAlysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:437-441 [Conf]
  22. Raffaella Gentilini, Carla Piazza, Alberto Policriti
    Simulation as Coarsest Partition Problem. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:415-430 [Conf]
  23. Carla Piazza, Enrico Pivato, Sabina Rossi
    CoPS - Checker of Persistent Security. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:144-152 [Conf]
  24. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Bisimulation and Unwinding for Verifying Possibilistic Security Properties. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:223-237 [Conf]
  25. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
    Complexity of Nesting Analysis in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:86-101 [Conf]
  26. Riccardo Focardi, Carla Piazza, Sabina Rossi
    Proofs Methods for Bisimulation Based Information Flow Security. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:16-31 [Conf]
  27. Agostino Dovier, Carla Piazza, Gianfranco Rossi
    Multiset Constraints and P Systems. [Citation Graph (0, 0)][DBLP]
    WMP, 2000, pp:103-122 [Conf]
  28. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Verifying persistent security properties. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:231-258 [Journal]
  29. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
    Nesting analysis of mobile ambients. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:207-230 [Journal]
  30. Agostino Dovier, Carla Piazza, Enrico Pontelli
    Disunification in ACI1 Theories. [Citation Graph (0, 0)][DBLP]
    Constraints, 2004, v:9, n:1, pp:35-91 [Journal]
  31. Carla Piazza, Alberto Policriti
    Ackermann Encoding, Bisimulations, and OBDDs [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  32. Agostino Dovier, Carla Piazza, Gianfranco Rossi
    A uniform approach to constraint-solving for lists, multisets, compact lists, and sets [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  33. Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Unwinding in Information Flow Security. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:127-154 [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:319-337 [Journal]
  35. Chiara Braghin, Carla Piazza
    Checking Integrity via CoPS and Banana: the E-Commerce Case Study . [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:295-317 [Journal]
  36. Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti
    Rank-Based Symbolic Bisimulation (and Model Checking). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  37. Raffaella Gentilini, Carla Piazza, Alberto Policriti
    Simulation Reduction as Constraint. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  38. Raffaella Gentilini, Carla Piazza, Alberto Policriti
    From Bisimulation to Simulation: Coarsest Partition Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:1, pp:73-103 [Journal]
  39. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
    Information flow in secure contexts. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:3, pp:391-422 [Journal]
  40. Annalisa Bossi, Carla Piazza, Sabina Rossi
    Compositional information flow security for concurrent programs. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2007, v:15, n:3, pp:373-416 [Journal]
  41. George Goguadze, Carla Piazza, Yde Venema
    Simulating polyadic modal logics by monadic ones. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:2, pp:419-462 [Journal]
  42. Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra
    Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:45-67 [Journal]
  43. Agostino Dovier, Carla Piazza, Alberto Policriti
    An efficient algorithm for computing bisimulation equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:221-256 [Journal]
  44. Agostino Dovier, Carla Piazza
    The Subgraph Bisimulation Problem. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:4, pp:1055-1056 [Journal]
  45. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    Sets and constraint logic programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:5, pp:861-931 [Journal]
  46. Carla Piazza, Alberto Policriti
    Ackermann Encoding, Bisimulations, and OBDDs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:695-718 [Journal]
  47. 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. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:51-65 [Conf]

  48. PicNIc - Pi-calculus non-interference checker. [Citation Graph (, )][DBLP]


  49. Decidable Compositions of O-Minimal Automata. [Citation Graph (, )][DBLP]


  50. Systems Biology: Models and Logics. [Citation Graph (, )][DBLP]


  51. Action Refinement in Process Algebra and Security Issues. [Citation Graph (, )][DBLP]


  52. From Entity Relationship to XML Schema: A Graph-Theoretic Approach. [Citation Graph (, )][DBLP]


  53. Symbolic Graphs: Linear Solutions to Connectivity Related Problems. [Citation Graph (, )][DBLP]


  54. External Control in Process Algebra for Systems Biology. [Citation Graph (, )][DBLP]


  55. Hybrid Automata in Systems Biology: How Far Can We Go? [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.460secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002