Searching for authors named "Alberto Policriti" – sorted by Relevance.
-
Decidability Results for Metric and Layered Temporal Logics
- Decidability results for metric and layered temporal logics Angelo Montanari and Alberto Policriti
- Cited by 16 (11 self) – Add To MetaCart
-
Executing Metric Temporal Logic
- Executing Metric Temporal Logic ? Angelo Montanari and Alberto Policriti Dipartimento di
- Cited by 4 (4 self) – Add To MetaCart
-
Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory
- Piazza and Alberto Policriti Dip. di Matematica e Informatica, Univ. di Udine Via delle Scienze 206
- Cited by 2 (2 self) – Add To MetaCart
-
Ackermann Encoding, Bisimulations, and OBDD's
- ACKERMANN ENCODING, BISIMULATIONS, AND OBDD'S CARLA PIAZZA AND ALBERTO POLICRITI DIPARTIMENTO DI
- Cited by 2 (2 self) – Add To MetaCart
-
A Decidable Theory of Finitely-Layered Metric Temporal Structures
- A decidable theory of finitely-layered metric temporal structures Angelo Montanari and Alberto
- Cited by 2 (2 self) – Add To MetaCart
-
Connecting process algebras and differential equations for Systems Biology
- ∗ Alberto Policriti † Abstract We discuss two formalism widely used for modeling biological systems, i
- Cited by 1 (0 self) – Add To MetaCart
-
Modelling Biological Systems in Stochastic Concurrent Constraint Programming
- and Alberto Policriti 1 Dept. of Mathematics and Informatics University of Udine, Udine, Italy bortolussi
- Cited by 2 (1 self) – Add To MetaCart
-
Mathematical modeling in Computational Systems Biology
- Hybrid approximation of stochastic process algebras for systems biology Luca Bortolussi ∗ Alberto
- Add To MetaCart
-
Hybrid Semantics for Stochastic π-calculus
- Hybrid Semantics for Stochastic π-calculus Luca Bortolussi 1 and Alberto Policriti 2 1 Dept
- Add To MetaCart
-
Hybrid Systems and Biology. Continuous and Discrete Modeling for Systems Biology
- and Alberto Policriti 2,3 1 Department of Mathematics and Informatics, University of Trieste. luca
- Add To MetaCart

