Emanuela Merelli

125 papers A* 3A 1C 3Misc 3Journal 53Unranked 53
YearRankTypeTitle / Venue / Authors
2025 J jnl
Space of Data through the Lens of Multilevel Graph.
CoRR
Marco Caputo, Michele Russo, Emanuela Merelli
2024 J jnl
Factorizing the Brauer monoid in polynomial time.
CoRR
Daniele Marchei, Emanuela Merelli, Andrew R. Francis
2022 A* ed.
49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, Paris, France, July 4-8, 2022
ICALP
Mikolaj Bojanczyk, Emanuela Merelli, David P. Woodruff
2022 J jnl
Automatic generation of pseudoknotted RNAs taxonomy.
BMC Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2022 J jnl
RNA secondary structure factorization in prime tangles.
BMC Bioinform.
Daniele Marchei, Emanuela Merelli
2021 A* ed.
48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Glasgow, Scotland (Virtual Conference), July 12-16, 2021
ICALP
Nikhil Bansal, Emanuela Merelli, James Worrell
2021 J jnl
Automaton of molecular perceptions in biochemical reactions.
CoRR
Stefano Maestri, Emanuela Merelli
2020 A* ed.
47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Saarbrücken, Germany (Virtual Conference), July 8-11, 2020
ICALP
Artur Czumaj, Anuj Dawar, Emanuela Merelli
2020 J jnl
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots.
Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2020 J jnl
Machine learning models predicting multidrug resistant urinary tract infections using "DsaaS".
BMC Bioinform.
Alessio Mancini, Leonardo Vito, Elisa Marcelli, Marco Piangerelli, Renato De Leone, Sandra Pucciarelli, Emanuela Merelli
2019 — conf
A Persistent Entropy Automaton for the Dow Jones Stock Market.
FSEN
Marco Piangerelli, Luca Tesei, Emanuela Merelli
2019 — conf
Algebraic Characterisation of Non-coding RNA.
CIBB
Stefano Maestri, Emanuela Merelli
2019 J jnl
An algebraic language for RNA pseudoknots comparison.
BMC Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2019 — conf
Label Core for Understanding RNA Structure.
CIBB
Michela Quadrini, Emanuela Merelli, Riccardo Piergallini
2019 — conf
Loop Grammars to Identify RNA Structural Patterns.
BIOINFORMATICS
Michela Quadrini, Emanuela Merelli, Riccardo Piergallini
2019 — conf
Topological Interpretation of Interactive Computation.
From Reactive Systems to Cyber-Physical Systems
Emanuela Merelli, Anita Wasilewska
2019 J jnl
Topological Interpretation of Interactive Computation.
CoRR
Emanuela Merelli, Anita Wasilewska
2019 J jnl
Topological Run-time Monitoring for Complex Systems.
CoRR
Matteo Rucco, Luca Tesei, Emanuela Merelli
2019 — conf
X-Klaim Is Back.
Models, Languages, and Tools for Concurrent and Distributed Programming
Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi
2018 J jnl
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium).
Ubiquity
Jeffrey H. Johnson, Luca Tesei, Marco Piangerelli, Emanuela Merelli, Riccardo Paci, Nenad Stojanovic, Paulo Leitão, José Barbosa, Marco Amador
2018 — conf
Loop-loop Interaction Metrics on RNA Secondary Structures with Pseudoknots.
BIOINFORMATICS
Michela Quadrini, Emanuela Merelli
2017 J jnl
A new topological entropy-based approach for measuring similarities among piecewise linear functions.
Signal Process.
Matteo Rucco, Rocío González-Díaz, Maria Jose Jimenez, Nieves Atienza, Cristina Cristalli, Enrico Concettoni, Andrea Ferrante, Emanuela Merelli
2017 J jnl
An algebraic representation for tree alignment of RNA pseudoknotted structures.
PeerJ Prepr.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2017 — conf
Topological Classification of RNA Structures via Intersection Graph.
TPNC
Michela Quadrini, Rosario Culmone, Emanuela Merelli
2017 J jnl
Uniformity in Multiscale Models: From Complex Automata to BioShape.
J. Cell. Autom.
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2016 — conf
A Graph Grammar for Modelling RNA Folding.
GaM
Adane Letta Mamuye, Emanuela Merelli, Luca Tesei
2016 J jnl
A topological approach for multivariate time series characterization: the epileptic brain.
EAI Endorsed Trans. Self Adapt. Syst.
Emanuela Merelli, Marco Piangerelli, Matteo Rucco, Daniele Toller
2016 J jnl
Adaptability checking in complex systems.
Sci. Comput. Program.
Emanuela Merelli, Nicola Paoletti, Luca Tesei
2016 — ed.
Proceedings of the 2014 European Conference on Complex Systems, ECCS 2014, Lucca, Italy, September 22-26, 2014
ECCS
Stefano Battiston, Francesco De Pellegrini, Guido Caldarelli, Emanuela Merelli
2016 — conf
Survey of TOPDRIM Applications of Topological Data Analysis.
KDWeb
Emanuela Merelli, Matteo Rucco, Luca Tesei, Marco Piangerelli, Adane Letta Mamuye, Michela Quadrini
2016 J jnl
Topological classifier for detecting the emergence of epileptic seizures.
CoRR
Marco Piangerelli, Matteo Rucco, Emanuela Merelli
2015 J jnl
A new topological entropy-based approach for measuring similarities among piecewise linear functions.
CoRR
Matteo Rucco, Rocío González-Díaz, María José Jiménez, Nieves Atienza, Cristina Cristalli, Enrico Concettoni, Andrea Ferrante, Emanuela Merelli
2015 — conf
A topological approach for multivariate time series characterization: the epileptic brain.
BICT
Emanuela Merelli, Marco Piangerelli, Matteo Rucco, Daniele Toller
2015 J jnl
From Computer Science to Biology and Back.
Theor. Comput. Sci.
Emanuela Merelli, Ion Petre
2015 J jnl
Interactions between Computer Science and Biology.
Theor. Comput. Sci.
Paola Giannini, Emanuela Merelli, Angelo Troina
2015 — conf
Probabilistic Modelling and Analysis of a Fish Population.
SEFM Workshops
Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli
2015 J jnl
Topological Characterization of Complex Systems: Using Persistent Entropy.
Entropy
Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei
2015 J jnl
Topological characterization of S[B] systems: From data to models of complexity.
CoRR
Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei
2015 — conf
Topological classification of small DC motors.
RTSI
Matteo Rucco, Enrico Concettoni, Cristina Cristalli, Andrea Ferrante, Emanuela Merelli
2015 J jnl
Topology driven modeling: the IS metaphor.
Nat. Comput.
Emanuela Merelli, Marco Pettini, Mario Rasetti
2015 — conf
Towards a Shape Language for Interpreting RNA Folding.
BICT
Adane Letta Mamuye, Emanuela Merelli, Luca Tesei
2014 — conf
AAL domain ontology for event-based human activity recognition.
MESA
Rosario Culmone, Marco Falcioni, Paolo Giuliodori, Emanuela Merelli, Alessandro Orrù, Michela Quadrini, Paolo Ciampolini, Ferdinando Grossi, Guido Matrella
2014 J jnl
Adaptability Checking in Multi-Level Complex Systems.
CoRR
Emanuela Merelli, Nicola Paoletti, Luca Tesei
2014 — conf
Characterisation of the Idiotypic Immune Network Through Persistent Entropy.
ECCS
Matteo Rucco, Filippo Castiglione, Emanuela Merelli, Marco Pettini
2014 — conf
Interoperability issues among smart home technological frameworks.
MESA
Lorena Rossi, Alberto Belli, Adelmo De Santis, Claudia Diamantini, Emanuele Frontoni, Ennio Gambi, Lorenzo Palma, Luca Pernini, Paola Pierleoni, Domenico Potena, Laura Raffaeli, Susanna Spinsante, Primo Zingaretti, Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Francesco De Angelis, Emanuela Merelli, Barbara Re
2014 J jnl
Neural Hypernetwork Approach for Pulmonary Embolism diagnosis.
CoRR
Matteo Rucco, David M. S. Rodrigues, Emanuela Merelli, Jeffrey H. Johnson, Lorenzo Falsetti, Cinzia Nitti, Aldo Salvi
2014 — conf
Preface.
CS2Bio
Emanuela Merelli, Ion Petre
2014 — ed.
Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology, CS2Bio 2014, Berlin, Germany, June 6, 2014
CS2Bio
Emanuela Merelli, Ion Petre
2014 — conf
RNN-based Model for Self-adaptive Systems - The Emergence of Epilepsy in the Human Brain.
IJCCI (NCTA)
Emanuela Merelli, Marco Piangerelli
2014 — conf
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea.
SEFM Workshops
Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli
2014 — conf
jHoles: A Tool for Understanding Biological Complex Networks via Clique Weight Rank Persistent Homology.
CS2Bio
Jacopo Binchi, Emanuela Merelli, Matteo Rucco, Giovanni Petri, Francesco Vaccarino
2013 — conf
DISPAS: An Agent-Based Tool for the Management of Fishing Effort.
SEFM Workshops
Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli
2013 Misc conf
Non locality, Topology, Formal languages: New Global Tools to Handle Large Data Sets.
ICCS
Emanuela Merelli, Mario Rasetti
2013 — conf
Preface.
CS2Bio
Emanuela Merelli, Angelo Troina
2013 — ed.
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, CS2Bio 2013, Florence, Italy, June 6, 2013
CS2Bio
Emanuela Merelli, Angelo Troina
2012 C conf
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.
SIMULTECH
Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei
2012 — conf
A multi-level model for self-adaptive systems
FOCLASA
Emanuela Merelli, Nicola Paoletti, Luca Tesei
2012 — conf
Disease processes as hybrid dynamical systems
HSB
Pietro Liò, Emanuela Merelli, Nicola Paoletti
2012 J jnl
Modelling osteomyelitis.
BMC Bioinform.
Pietro Liò, Nicola Paoletti, Mohammad Ali Moni, Kathryn Atwell, Emanuela Merelli, Marco Viceconti
2012 J jnl
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling.
IEEE ACM Trans. Comput. Biol. Bioinform.
Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti
2012 J jnl
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study.
Trans. Comp. Sys. Biology
Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
2012 — conf
The Immune System as a Metaphor for Topology Driven Patterns Formation in Complex Systems.
ICARIS
Emanuela Merelli, Mario Rasetti
2012 J jnl
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.
J. Integr. Bioinform.
Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito
2011 — conf
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling.
CS2Bio@DisCoTec
Pietro Liò, Emanuela Merelli, Nicola Paoletti, Marco Viceconti
2011 — conf
A Uniform Multiscale Meta-model of BioShape.
CS2Bio@DisCoTec
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 J jnl
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
ERCIM News
Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito
2011 — conf
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.
IS-EUD
Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 — conf
Methodological Bridges for Multi-Level Systems.
FET
Emanuela Merelli, Nicola Paoletti, Pietro Liò
2011 J jnl
Modeling the cell cycle: From deterministic models to hybrid systems.
Biosyst.
Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi
2011 — conf
Multiple verification in computational modeling of bone pathologies
CompMod
Pietro Liò, Emanuela Merelli, Nicola Paoletti
2011 J jnl
Multiscale Modelling: A Mobile Membrane Approach
CoRR
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 — conf
Osteoporosis: a multiscale modeling viewpoint.
CMSB
Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti
2011 — conf
Towards Abstraction-Based Verification of Shape Calculus.
SASB
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 — conf
An Individual-based Probabilistic Model for Fish Stock Simulation
AMCA-POP
Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei
2010 Misc conf
BioShape: a spatial shape-based scale-independent simulation environment for biological systems.
ICCS
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 — conf
Bone Remodelling in BioShape.
CS2Bio
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani
2010 — conf
Bone Remodelling: A Complex Automata-Based Model Running in BioShape.
ACRI
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli
2010 J jnl
Detecting synchronisation of biological oscillators by model checking.
Theor. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 — conf
Multiscale Bone Remodelling with Spatial P Systems
MeCBIC
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 J jnl
Preface: Hybrid automata and oscillatory behaviour in biological systems.
Theor. Comput. Sci.
Nicola Cannata, Emanuela Merelli, Irek Ulidowski
2010 — ed.
Proceedings Third Workshop From Biology To Concurrency and back, FBTC 2010, Paphos, Cyprus, 27th March 2010.
FBTC
Emanuela Merelli, Paola Quaglia
2010 J jnl
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comput. Sci.
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009 — conf
A Shape Calculus for Biological Processes.
ICTCS
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009 J jnl
Preface.
Theor. Comput. Sci.
Nicola Cannata, Emanuela Merelli
2009 — ed.
Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008
FBTC@ICALP
Nicola Cannata, Emanuela Merelli, Irek Ulidowski
2009 — conf
Resourceome for e-Government: Semantic Web Tool for Managing PA Resources.
CSREA EE
Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito
2009 — ch.
Towards Bioinformatics Resourceomes.
Biomedical Data and Applications
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito
2008 — conf
Model Checking Biological Oscillators.
FBTC@ICALP
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
2008 J jnl
Multiagent modelling and simulation of carbohydrate oxidation in cell.
Int. J. Model. Identif. Control.
Nicola Cannata, Flavio Corradini, Emanuela Merelli
2008 — conf
Preface.
FBTC@ICALP
Nicola Cannata, Emanuela Merelli, Irek Ulidowski
2008 — ed.
Proceedings of the First Workshop "From Biology To Concurrency and back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007
FBTC@CONCUR
Nicola Cannata, Emanuela Merelli
2008 — conf
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Concurrency, Graphs and Models
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka
2007 J jnl
A Resourceomic Grid for bioinformatics.
Future Gener. Comput. Syst.
Nicola Cannata, Flavio Corradini, Emanuela Merelli
2007 J jnl
Agents in bioinformatics, computational and systems biology.
Briefings Bioinform.
Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew C. R. Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck
2007 J jnl
BioWMS: a web-based Workflow Management System for bioinformatics.
BMC Bioinform.
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini
2007 J jnl
Biowep: a workflow enactment portal for bioinformatics applications.
BMC Bioinform.
Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi
2007 — conf
Preface.
FBTC@CONCUR
Nicola Cannata, Emanuela Merelli
2007 — conf
Semantic Resource Management in MAS.
WOA
Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito
2007 J jnl
Validating MAS simulation models with mutation.
Multiagent Grid Syst.
Emanuela Merelli, Michal Young
2006 — conf
Building a MultiAgent System from a User Workflow Specification.
WOA
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
2006 J jnl
Correction: Time to Organize the Bioinformatics Resourceome.
PLoS Comput. Biol.
Nicola Cannata, Emanuela Merelli, Russ B. Altman
2006 Misc conf
Enacting Proactive Workflows Engine in e-Science.
International Conference on Computational Science (3)
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
2006 — conf
Model driven design and implementation of activity-based applications in Hermes.
WOA
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito
2006 J jnl
Network integration of data and analysis of oncology interest.
J. Integr. Bioinform.
Paolo Romano, Guglielmo Bertolini, Flavio De Paoli, M. Fattore, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Ivan Porro, Silvia Scaglione, Luciano Milanesi
2005 — conf
A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.
ICCSA (2)
Flavio Corradini, Emanuela Merelli, Marco Vita
2005 J jnl
Agents in bioinformatics.
Knowl. Eng. Rev.
Michael Luck, Emanuela Merelli
2005 J jnl
An Agent-Oriented Conceptual Framework for Systems Biology.
Trans. Comp. Sys. Biology
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
2005 — conf
Hermes: Agent-Based Middleware for Mobile Computing.
SFM
Flavio Corradini, Emanuela Merelli
2005 — conf
Integrating Ontologies in Mobile Agents.
WOA
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli
2005 J jnl
Time to Organize the Bioinformatics Resourceome.
PLoS Comput. Biol.
Nicola Cannata, Emanuela Merelli, Russ B. Altman
2005 — ed.
Transactions on Computational Systems Biology III
Trans. Computational Systems Biology
Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini
2005 — ed.
WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy
WOA
Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
2004 J jnl
An agent-based approach to tool integration.
Int. J. Softw. Tools Technol. Transf.
Flavio Corradini, Leonardo Mariani, Emanuela Merelli
2004 — conf
An agent-based matchmaker.
WOA
Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re
2004 C conf
FarMAS: A MAS for Extended Quality Workflow.
WETICE
Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti
2003 — conf
A Programming Environment for Global Activity-based Applications.
WOA
Flavio Corradini, Leonardo Mariani, Emanuela Merelli
2003 — conf
An XML View of the "World".
ICEIS (1)
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
2002 C conf
Patterns for web applications.
SEKE
Diego Bonura, Rosario Culmone, Emanuela Merelli
2000 J jnl
A tabu search method guided by shifting bottleneck for the job shop scheduling problem.
Eur. J. Oper. Res.
Ferdinando Pezzella, Emanuela Merelli
1999 — conf
Agent-Oriented and Constraint Technologies for Distributed Transaction Management.
IIA/SOCO
Viviana Mascardi, Emanuela Merelli
1998 J jnl
A successive overrelaxation backpropagation algorithm for neural-network training.
IEEE Trans. Neural Networks
Renato De Leone, Rosario Capparuccia, Emanuela Merelli
1987 J jnl
An Architecture for an ASN.1 Encoder/Decoder.
Comput. Networks
Fausto Caneschi, Emanuela Merelli
1987 A conf
Standardizing the Presentation Layer. Why and What?
ICDCS
Fausto Caneschi, Emanuela Merelli