Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Luca Tesei
2010 – today
- 2012
[j20]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Towards Abstraction-Based Verification of Shape Calculus. Electr. Notes Theor. Comput. Sci. 284: 23-34 (2012)- [c8]Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei: A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH 2012: 218-227
- [c7]Emanuela Merelli, Nicola Paoletti, Luca Tesei: A multi-level model for self-adaptive systems. FOCLASA 2012: 112-126
- 2011
- [j19]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: A Uniform Multiscale Meta-model of BioShape. Electr. Notes Theor. Comput. Sci. 277: 15-27 (2011)
- [j18]Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito: ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. ERCIM News 2011(87) (2011)
- [j17]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei: Spatial P systems. Natural Computing 10(1): 3-16 (2011)
- [c6]Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD 2011: 379-382
- [i3]Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: A Testing Framework for P Systems. CoRR abs/1108.3424 (2011)
- [i2]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Modelling: A Mobile Membrane Approach. CoRR abs/1108.3434 (2011)
- 2010
- [j16]Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010)
- [j15]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comp. Sci. 20: 1-31 (2010)
- [j14]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comp. Sci. 20: 32-52 (2010)
- [j13]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani: Bone Remodelling in BioShape. Electr. Notes Theor. Comput. Sci. 268: 17-29 (2010)
- [j12]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: BioShape: a spatial shape-based scale-independent simulation environment for biological systems. Procedia CS 1(1): 827-835 (2010)
- [j11]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010)
- [c5]Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei: An Individual-based Probabilistic Model for Fish Stock Simulation. AMCA-POP 2010: 37-55
- [c4]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84
- [i1]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus: Timed Operational Semantics and Well-formedness. CoRR abs/1011.2488 (2010)
2000 – 2009
- 2009
- [j10]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Electr. Notes Theor. Comput. Sci. 227: 21-36 (2009)
- [j9]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009)
- [j8]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: Timed P Automata. Fundam. Inform. 94(1): 1-19 (2009)
- [c3]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: A Shape Calculus for Biological Processes. ICTCS 2009: 30-33
- 2008
- [j7]Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei: Quality of service in e-government underlines the role of information usability. IJIQ 2(2): 133-151 (2008)
- [c2]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito: A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633
- 2004
- [j6]Roberto Barbuti, Luca Tesei: Timed automata with urgent transitions. Acta Inf. 40(5): 317-347 (2004)
- [j5]Roberto Barbuti, Stefano Cataudella, Luca Tesei: Abstract Interpretation Against Races. Fundam. Inform. 60(1-4): 67-79 (2004)
- 2003
- [j4]Roberto Barbuti, Luca Tesei: A Decidable Notion of Timed Non-Interference. Fundam. Inform. 54(2-3): 137-150 (2003)
- [j3]Nicoletta De Francesco, Antonella Santone, Luca Tesei: Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Inform. 54(2-3): 195-211 (2003)
- 2002
- [j2]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei: A Notion of Non-Interference for Timed Automata. Fundam. Inform. 51(1-2): 1-11 (2002)
- [c1]Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco: Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382
- 2001
- [j1]Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: Timed Automata with non-Instantaneous Actions. Fundam. Inform. 47(3-4): 189-200 (2001)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:21 CET by the dblp team