Carla Piazza

Available identifiers

zbMath Open piazza.carlaWikidataQ62057267 ScholiaQ62057267MaRDI QIDQ526432

List of research outcomes

Publication	Date of Publication	Type
Quantum encoding of dynamic directed graphs	2024-02-12	Paper
Mirrors and memory in quantum automata	2023-06-02	Paper
Parameter synthesis of polynomial dynamical systems	2022-12-08	Paper
Directed graph encoding in quantum computing supporting edge-failures	2022-11-11	Paper
Proportional lumpability and proportional bisimilarity	2022-05-17	Paper
Reasoning about proportional lumpability	2022-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q3384915	2021-12-17	Paper
Persistent Stochastic Non-Interference	2021-10-25	Paper
\textit{D\_PSNI}: delimited persistent stochastic non-interference	2021-08-27	Paper
Proportional lumpability	2020-05-05	Paper
Parameter Synthesis Through Temporal Logic Specifications	2019-12-19	Paper
Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses	2018-05-30	Paper
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets	2017-07-12	Paper
Parallelotope Bundles for Polynomial Reachability	2017-05-19	Paper
Reachability computation for polynomial dynamical systems	2017-05-12	Paper
Towards Quantum Programs Verification: From Quipper Circuits to QPMC	2016-08-10	Paper
Is hyper-extensionality preservable under deletions of graph elements?	2016-08-05	Paper
Rank and simulation: the well-founded case	2015-12-28	Paper
A graph-theoretic approach to map conceptual designs to XML schemas	2015-09-03	Paper
External Interactions on Hybrid Models of Biological Systems	2015-08-06	Paper
Unwinding biological systems	2015-06-10	Paper
External Control in Process Algebra for Systems Biology	2015-03-19	Paper
\(\epsilon\)-semantics computations on biological systems	2014-06-06	Paper
Hybrid Automata in Systems Biology: How Far Can We Go?	2014-03-21	Paper
Rank-Based Symbolic Bisimulation	2013-04-19	Paper
Transforming Processes to Check and Ensure Information Flow Security*	2011-05-06	Paper
A Proof System for Information Flow Security	2011-03-04	Paper
Hybrid automata, reachability, and systems biology	2010-05-11	Paper
Theoretical Computer Science	2010-02-23	Paper
Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology	2010-01-18	Paper
Inclusion dynamics hybrid automata	2009-02-03	Paper
Action Refinement in Process Algebra and Security Issues	2009-01-22	Paper
Decidable Compositions of O-Minimal Automata	2008-11-20	Paper
Unwinding Conditions for Security in Imperative Languages	2008-04-24	Paper
Symbolic graphs: Linear solutions to connectivity related problems	2008-02-18	Paper
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction	2007-11-29	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Ackermann encoding, bisimulations and OBDDs	2005-04-15	Paper
Simulating polyadic modal logics by monadic ones	2005-02-09	Paper
Disunification in ACI1 theories	2005-01-19	Paper
Nesting analysis of mobile ambients	2004-11-18	Paper
Verifying persistent security properties	2004-11-18	Paper
An efficient algorithm for computing bisimulation equivalence	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4736985	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472257	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4474008	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471346	2004-07-28	Paper
From bisimulation to simulation: Coarsest partition problems	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4417947	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4414382	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4414391	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4413206	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4551136	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2721208	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4944864	2000-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4518875	2000-12-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carla Piazza