default search action
Luca Tesei
Person information
Refine list
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
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
Computational modelling and data-driven techniques for systems analysis. J. Intell. Inf. Syst. 52(3): 473-475 (2019) - [c25]Marco Piangerelli
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
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
Adaptability checking in complex systems. Sci. Comput. Program. 115-116: 23-46 (2016) - [j15]Marco Bernardo
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
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
Topological Characterization of Complex Systems: Using Persistent Entropy. Entropy 17(10): 6872-6892 (2015) - [c21]Flavio Corradini, Rosario Culmone
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
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
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
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
Spatial P systems. Nat. Comput. 10(1): 3-16 (2011) - [c12]Federico Buti, Diletta Cacciagrano
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD 2011: 379-382 - [c11]Federico Buti, Diletta Cacciagrano
A Uniform Multiscale Meta-model of BioShape. CS2Bio@DisCoTec 2011: 15-27 - [c10]Federico Buti, Massimo Callisto De Donato
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
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
An Individual-based Probabilistic Model for Fish Stock Simulation. AMCA-POP 2010: 37-55 - [c8]Diletta Cacciagrano
Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84 - [c7]Federico Buti, Diletta Cacciagrano
Bone Remodelling in BioShape. CS2Bio 2010: 17-29 - [c6]Federico Buti, Diletta Cacciagrano
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
Quality of service in e-government underlines the role of information usability. Int. J. Inf. Qual. 2(2): 133-151 (2008) - [c4]Diletta Cacciagrano
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
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
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
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 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: