![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Luca Tesei
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j22]Michela Quadrini, Luca Tesei
, Emanuela Merelli:
Automatic generation of pseudoknotted RNAs taxonomy. BMC Bioinform. 23-S(6): 575 (2022) - 2020
- [j21]Michela Quadrini, Luca Tesei
, Emanuela Merelli:
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots. Bioinform. 36(11): 3578-3579 (2020)
2010 – 2019
- 2019
- [j20]Michela Quadrini, Luca Tesei, Emanuela Merelli:
An algebraic language for RNA pseudoknots comparison. BMC Bioinform. 20-S(4): 161:1-161:18 (2019) - [j19]Stan Matwin
, Luca Tesei
, Roberto Trasarti
:
Computational modelling and data-driven techniques for systems analysis. J. Intell. Inf. Syst. 52(3): 473-475 (2019) - [c25]Marco Piangerelli
, Luca Tesei
, Emanuela Merelli
:
A Persistent Entropy Automaton for the Dow Jones Stock Market. FSEN 2019: 37-42 - [i8]Matteo Rucco, Luca Tesei, Emanuela Merelli:
Topological Run-time Monitoring for Complex Systems. CoRR abs/1908.03489 (2019) - 2018
- [j18]Jeffrey H. Johnson
, Luca Tesei, Marco Piangerelli
, Emanuela Merelli, Riccardo Paci, Nenad Stojanovic, Paulo Leitão
, José Barbosa, Marco Amador:
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium). Ubiquity 2018(July): 2:1-2:13 (2018) - 2017
- [j17]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Uniformity in Multiscale Models: From Complex Automata to BioShape. J. Cell. Autom. 12(5): 333-359 (2017) - [i7]Michela Quadrini, Luca Tesei, Emanuela Merelli:
An algebraic representation for tree alignment of RNA pseudoknotted structures. PeerJ Prepr. 5: e3327 (2017) - 2016
- [j16]Emanuela Merelli
, Nicola Paoletti
, Luca Tesei
:
Adaptability checking in complex systems. Sci. Comput. Program. 115-116: 23-46 (2016) - [j15]Marco Bernardo
, Flavio Corradini, Luca Tesei
:
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theor. Comput. Sci. 629: 2-39 (2016) - [c24]Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone
, Leonardo Mostarda, Franco Raimondi, Luca Tesei:
A Formal Model for Event-Condition-Action Rules in Intelligent Environments. Intelligent Environments (Workshops) 2016: 56-65 - [c23]Emanuela Merelli, Matteo Rucco, Luca Tesei, Marco Piangerelli, Adane Letta Mamuye, Michela Quadrini:
Survey of TOPDRIM Applications of Topological Data Analysis. KDWeb 2016 - [c22]Adane Letta Mamuye, Emanuela Merelli, Luca Tesei
:
A Graph Grammar for Modelling RNA Folding. GaM@ETAPS 2016: 31-41 - 2015
- [j14]Emanuela Merelli
, Matteo Rucco, Peter M. A. Sloot, Luca Tesei
:
Topological Characterization of Complex Systems: Using Persistent Entropy. Entropy 17(10): 6872-6892 (2015) - [c21]Flavio Corradini, Rosario Culmone
, Leonardo Mostarda, Luca Tesei
, Franco Raimondi
:
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops 2015: 187-192 - [c20]Adane Letta Mamuye, Emanuela Merelli, Luca Tesei:
Towards a Shape Language for Interpreting RNA Folding. BICT 2015: 185-188 - [c19]Chiara Cini, Luca Tesei
, Giuseppe Scarcella
, Cesar Augusto Nieto Coria, Emanuela Merelli
:
Probabilistic Modelling and Analysis of a Fish Population. SEFM Workshops 2015: 192-197 - [i6]Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei:
Topological characterization of S[B] systems: From data to models of complexity. CoRR abs/1505.05768 (2015) - 2014
- [c18]Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi: from durationless actions to durational ones. ICTCS 2014: 21-32 - [c17]Cesar Augusto Nieto Coria, Luca Tesei
, Giuseppe Scarcella
, Tommaso Russo, Emanuela Merelli
:
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea. SEFM Workshops 2014: 259-275 - [i5]Emanuela Merelli, Nicola Paoletti, Luca Tesei:
Adaptability Checking in Multi-Level Complex Systems. CoRR abs/1404.0698 (2014) - 2013
- [c16]Marco Bernardo, Luca Tesei:
Encoding Timed Models as Uniform Labeled Transition Systems. EPEW 2013: 104-118 - [c15]Pierluigi Penna
, Nicola Paoletti
, Giuseppe Scarcella
, Luca Tesei
, Mauro Marini
, Emanuela Merelli
:
DISPAS: An Agent-Based Tool for the Management of Fishing Effort. SEFM Workshops 2013: 362-367 - 2012
- [c14]Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei:
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH 2012: 218-227 - [c13]Emanuela Merelli, Nicola Paoletti, Luca Tesei:
A multi-level model for self-adaptive systems. FOCLASA 2012: 112-126 - 2011
- [j13]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
, Luca Tesei
:
Spatial P systems. Nat. Comput. 10(1): 3-16 (2011) - [c12]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 - [c11]Federico Buti, Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
A Uniform Multiscale Meta-model of BioShape. CS2Bio@DisCoTec 2011: 15-27 - [c10]Federico Buti, Massimo Callisto De Donato
, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli
, Luca Tesei
:
Towards Abstraction-Based Verification of Shape Calculus. SASB 2011: 23-34 - [i4]Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
A Testing Framework for P Systems. CoRR abs/1108.3424 (2011) - [i3]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Multiscale Modelling: A Mobile Membrane Approach. CoRR abs/1108.3434 (2011) - [i2]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) - 2010
- [j12]Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
:
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010) - [j11]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comput. Sci. 20: 1-31 (2010) - [j10]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comput. Sci. 20: 32-52 (2010) - [j9]Ezio Bartocci
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010) - [c9]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 - [c8]Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli, Luca Tesei
:
Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84 - [c7]Federico Buti, Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
, M. Pani:
Bone Remodelling in BioShape. CS2Bio 2010: 17-29 - [c6]Federico Buti, Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
BioShape: a spatial shape-based scale-independent simulation environment for biological systems. ICCS 2010: 827-835 - [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
- [j8]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
:
Timed P Automata. Fundam. Informaticae 94(1): 1-19 (2009) - [c5]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. Int. J. Inf. Qual. 2(2): 133-151 (2008) - [c4]Diletta Cacciagrano
, Flavio Corradini, Rosario Culmone
, Luca Tesei
, Leonardo Vito:
A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633 - [c3]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
:
Timed P Automata. MeCBIC 2008: 21-36 - [c2]Ezio Bartocci
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
Model Checking Biological Oscillators. FBTC@ICALP 2008: 41-58 - 2004
- [j6]Roberto Barbuti, Luca Tesei
:
Timed automata with urgent transitions. Acta Informatica 40(5): 317-347 (2004) - [j5]Roberto Barbuti, Stefano Cataudella, Luca Tesei:
Abstract Interpretation Against Races. Fundam. Informaticae 60(1-4): 67-79 (2004) - 2003
- [j4]Roberto Barbuti, Luca Tesei:
A Decidable Notion of Timed Non-Interference. Fundam. Informaticae 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. Informaticae 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. Informaticae 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. Informaticae 47(3-4): 189-200 (2001)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint