( en | de | ru )

 

Disambiguierung von "Piazza, Carla"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unwinding Conditions for Security in Imperative Languages.

, , und . LOPSTR, Volume 3573 von Lecture Notes in Computer Science, Seite 85-100. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Claudia Piazza

Sabine Carland

Paolo Piazza

Daniele Piazza

Hans Piazza

 

Weitere Publikationen von Autoren mit dem selben Namen

Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints., , und . APPIA-GULP-PRODE, Seite 43-56. (1998)Computing strongly connected components in a linear number of symbolic steps., , und . SODA, Seite 573-582. ACM/SIAM, (2003)From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract)., , , und . SEBD, Seite 382-389. Esculapio Editore, (2010)Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing., , , , und . CMSB, Volume 2602 von Lecture Notes in Computer Science, Seite 57-74. Springer, (2003)Multiset Constraints and P Systems., , und . WMP, Volume 2235 von Lecture Notes in Computer Science, Seite 103-122. Springer, (2000)From Bisimulation to Simulation: Coarsest Partition Problems., , und . J. Autom. Reason., 31 (1): 73-103 (2003)Disunification in ACI1 Theories., , und . Constraints An Int. J., 9 (1): 35-91 (2004)Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE., , , und . IEEE ACM Trans. Comput. Biol. Bioinform., 21 (1): 106-119 (Januar 2024)Parameter synthesis of polynomial dynamical systems., , , , , und . Inf. Comput., 289 (Part): 104941 (2022)Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses., , , und . Inf. Comput., (2018)