FALASCHI, MORENO
FALASCHI, MORENO
Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche
A compact Fixpoint Semantics for Term Rewriting Systems
2010-01-01 Alpuente, M.; Comini, M.; Falaschi, Moreno; Escobar, S.; Iborra, J.
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems
2024-01-01 Bendjeddou, A.; Brodo, L.; Falaschi, M.; Tiezzi, E. B. P.
A Debugging Scheme for Functional Logic Programs
2002-01-01 M., Alpuente; F., Correa; Falaschi, Moreno
A Declarative View of Signaling Pathways
2015-01-01 Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
A Fast Algebraic Web Verification Service
2007-01-01 Alpuente, M; Ballis, D; Falaschi, Moreno; Ojeda, P; Romero, D.
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT
2010-01-01 Alpuente, M.; Baggi, M.; Ballis, D.; Falaschi, Moreno
A framework for abstract interpretation of timed concurrent constraint programs
2009-01-01 Falaschi, Moreno; Olarte, C; Palamidessi, C.
A framework for modelling spatially dependent interactions of biological systems in CCP.
2014-01-01 Chiarugi, D.; Falaschi, Moreno; HERMITH RAMIREZ, DIANA PATRICIA; Olarte, C.
A framework for monitored dynamic slicing of reaction systems
2024-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
A Logic Programming Approach to Reaction Systems
2020-01-01 Falaschi, Moreno; Palma, Giulia
A logical and graphical framework for reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs
1993-01-01 Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C.
A New Declarative Semantics for Logic Languages
1988-01-01 Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C.
A process algebraic approach to reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
A proof theoretic view of spatial and temporal dependencies in biochemical systems
2016-01-01 Olarte, Carlos; Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana
A Rewriting-based Framework for Web sites Verification
2005-01-01 Alpuente, M.; Ballis, D.; Falaschi, Moreno
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses
1984-01-01 Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C.
A Transformation System for Lazy Functional Logic Programs
1999-01-01 Alpuente, M.; Falaschi, Moreno; Moreno, G.; Vidal, G.
A Unifying View of Functional and Logic Program Specialization
1998-01-01 Alpuente, M.; Falaschi, Moreno; Vidal, G.
Abstract Correction of first-order Functional Programs
2003-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Falaschi, Moreno; Lucas, S.
| Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
|---|---|---|---|---|
| A compact Fixpoint Semantics for Term Rewriting Systems | 1-gen-2010 | Alpuente, M.; Comini, M.; Falaschi, Moreno; Escobar, S.; Iborra, J. | - | |
| A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems | 1-gen-2024 | Bendjeddou, A.; Brodo, L.; Falaschi, M.; Tiezzi, E. B. P. | - | |
| A Debugging Scheme for Functional Logic Programs | 1-gen-2002 | M., Alpuente; F., Correa; Falaschi, Moreno | - | |
| A Declarative View of Signaling Pathways | 1-gen-2015 | Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia | - | |
| A Fast Algebraic Web Verification Service | 1-gen-2007 | Alpuente, M; Ballis, D; Falaschi, Moreno; Ojeda, P; Romero, D. | - | |
| A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT | 1-gen-2010 | Alpuente, M.; Baggi, M.; Ballis, D.; Falaschi, Moreno | - | |
| A framework for abstract interpretation of timed concurrent constraint programs | 1-gen-2009 | Falaschi, Moreno; Olarte, C; Palamidessi, C. | - | |
| A framework for modelling spatially dependent interactions of biological systems in CCP. | 1-gen-2014 | Chiarugi, D.; Falaschi, Moreno; HERMITH RAMIREZ, DIANA PATRICIA; Olarte, C. | - | |
| A framework for monitored dynamic slicing of reaction systems | 1-gen-2024 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno | - | |
| A Logic Programming Approach to Reaction Systems | 1-gen-2020 | Falaschi, Moreno; Palma, Giulia | - | |
| A logical and graphical framework for reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
| A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs | 1-gen-1993 | Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C. | - | |
| A New Declarative Semantics for Logic Languages | 1-gen-1988 | Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C. | - | |
| A process algebraic approach to reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
| A proof theoretic view of spatial and temporal dependencies in biochemical systems | 1-gen-2016 | Olarte, Carlos; Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana | - | |
| A Rewriting-based Framework for Web sites Verification | 1-gen-2005 | Alpuente, M.; Ballis, D.; Falaschi, Moreno | - | |
| A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses | 1-gen-1984 | Falaschi, Moreno; Levi, G.; Martelli, M.; Palamidessi, C. | - | |
| A Transformation System for Lazy Functional Logic Programs | 1-gen-1999 | Alpuente, M.; Falaschi, Moreno; Moreno, G.; Vidal, G. | - | |
| A Unifying View of Functional and Logic Program Specialization | 1-gen-1998 | Alpuente, M.; Falaschi, Moreno; Vidal, G. | - | |
| Abstract Correction of first-order Functional Programs | 1-gen-2003 | Alpuente, M.; Ballis, D.; Escobar, S.; Falaschi, Moreno; Lucas, S. | - |