Searching for authors named "Alberto Policriti" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
