Publications

G. Manzini, Alberto Policriti, N. Prezza, B. Riccardi (2024). The Rational Construction of a Wheeler DFA. Leibniz International Proceedings in Informatics, LIPIcs.

Eugenia Zanazzo, Sara Ceschia, Agostino Dovier, Andrea Schaerf (2024). Solving the medical student scheduling problem using simulated annealing. JOURNAL OF SCHEDULING.

D. Della Giustina, C. Londero, Carla Piazza, B. Riccardi, R. Romanello (2024). Quantum encoding of dynamic directed graphs. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING.

M. Paier, M. Pizzolitto, G. L. Foresti, Marino Miculan (2024). Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery. ITASEC 2024 Italian Conference on Cyber Security 2024 Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024).

C. Bianchini, Alberto Policriti, B. Riccardi, R. Romanello (2024). Incremental NFA minimization. THEORETICAL COMPUTER SCIENCE.

Carla Piazza, S. Rossi, D. Smuseva (2024). Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains. ALGORITHMS.

E. Talotti, M. Paier, Marino Miculan (2024). ECC's Achilles'Heel: Unveiling Weak Keys in Standardized Curves. ITASEC 2024 Italian Conference on Cyber Security 2024. Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024).

D. Ressi, R. Romanello, S. Rossi, Carla Piazza (2024). Compressing neural networks via formal methods. NEURAL NETWORKS.

G. D'Agostino, L. Geatti, D. Martincigh, Alberto Policriti (2024). Cascade products and Wheeler automata. THEORETICAL COMPUTER SCIENCE.

M. Pasqua, Marino Miculan (2024). Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. THEORETICAL COMPUTER SCIENCE.

D. Ressi, R. Romanello, Carla Piazza, S. Rossi (2024). AI-enhanced blockchain technology: A review of advancements and opportunities. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS.

D. Castelnovo, F. Gadducci, Marino Miculan (2024). A simple criterion for M,N-adhesivity. THEORETICAL COMPUTER SCIENCE.

A. D. Palu, Agostino Dovier, A. Formisano (2023). Towards explainable data-to-text generation. 38th Italian Conference on Computational Logic, CILC 2023.

F. Fogolari, R. Borelli, Agostino Dovier, G. Esposito (2023). The kth nearest neighbor method for estimation of entropy changes from molecular ensembles. WILEY INTERDISCIPLINARY REVIEWS. COMPUTATIONAL MOLECULAR SCIENCE.

Carla Piazza, R. Romanello (2023). Synthesis of CNOT minimal quantum circuits with topological constraints through ASP. AI for Quantum and Quantum for AI 2023.

Alberto Casagrande, A. Cimatti, L. Dorigo, Carla Piazza, S. Tonetta (2023). Set-Based Invariants over Polynomial Systems. Italian Conference on Computational Logic 2023.

A. Dal Palu, Agostino Dovier, A. Formisano, E. Pontelli (2023). Prolog Meets Biology. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Agostino Dovier, A. Formisano (2023). Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023). CEUR-WS.

Maria Elena Steidl, Elisa A Nigro, Anne Kallehauge Nielsen, Roberto Pagliarini, Laura Cassina, Matteo Lampis, Christine Podrini, Marco Chiaravalli, Valeria Mannella, Gianfranco Distefano, Ming Yang, Mariam Aslanyan, Giovanna Musco, Ronald Roepman, Christian Frezza, Alessandra Boletta (2023). Primary cilia sense glutamine availability and respond via asparagine synthetase. NATURE METABOLISM.

Agostino Dovier, A. Montanari, A. Orlandini (2023). Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

G. Voltan, G. L. Foresti, Marino Miculan (2023). Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System. Proceedings of the Italia Intelligenza Artificiale - Thematic Workshops co-located with the 3rd CINI National Lab AIIS Conference on Artificial Intelligence (Ital IA 2023).

G. D'Agostino, D. Martincigh, Alberto Policriti (2023). Ordering regular languages and automata: Complexity. THEORETICAL COMPUTER SCIENCE.

R. Becker, D. Cenzato, S. -H. Kim, B. Kodric, Alberto Policriti, N. Prezza (2023). Optimal Wheeler Language Recognition. String Processing and Information Retrieval.

D. Ressi, R. Romanello, Carla Piazza, S. Rossi (2023). Neural Networks Reduction via Lumping. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

S. Bistarelli, F. Faloci, Marino Miculan, P. Mori, C. Taticchi (2023). Modeling Carne PRI supply chain with the *-Chain Platform. Distributed Ledger Technology Workshop..

M. Coan, M. Toso, L. Cesaratto, I. Rigo, S. Borgna, A. Dalla Pieta, L. Zandona, L. Iuri, A. Zucchetto, Carla Piazza, G. Baldassarre, R. Spizzo, M. S. Nicoloso (2023). LINC01605 Is a Novel Target of Mutant p53 in Breast and Ovarian Cancer Cell Lines. INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES.

Nicolò Rossi, Nicola Gigante, Nicola Vitacolonna, Carla Piazza (2023). Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE. IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS.

A. D. Schiava, Carla Piazza, R. Romanello (2023). Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. CEUR Workshop Proceedings.

D. Solda, F. Fabiano, Agostino Dovier (2023). ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. JOURNAL OF LOGIC AND COMPUTATION.

A. Colautti, N. Rossi, Carla Piazza, G. Comi, L. Iacumin (2023). Draft genome sequences of 14 Lacticaseibacillus spp. strains, representatives of a collection of 200 strains. MICROBIOLOGY RESOURCE ANNOUNCEMENTS.

A. Altarui, Marino Miculan, M. Paier (2023). DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions. Proceedings of the Italian Conference on Cybersecurity (ITASEC 2023).

D. Cantone, E. G. Omodeo, Alberto Policriti (2023). Continued Hereditarily Finite Set-Approximations. Italian Conference on Computational Logic 2023..

F. Tardivo, Agostino Dovier, A. Formisano, L. Michel, E. Pontelli (2023). Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference.

F. Tardivo, Agostino Dovier, A. Formisano, L. Michel, E. Pontelli (2023). Constraint propagation on GPU: A case study for the AllDifferent constraint. JOURNAL OF LOGIC AND COMPUTATION.

N. Cotumaccio, G. D'Agostino, Alberto Policriti, N. Prezza (2023). Co-lexicographically Ordering Automata and Regular Languages - Part I. JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY.

Marino Miculan, Nicola Vitacolonna (2023). Automated verification of Telegram’s MTProto 2.0 in the symbolic model. COMPUTERS & SECURITY.

Marino Miculan, M. Paier (2023). Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper). Proceedings of the 24th Italian Conference on Theoretical Computer Science.

A. Dal Palu, Agostino Dovier, A. Formisano (2023). An xAI Approach for Data-to-Text Processing with ASP. Proceedings 39th International Conference on Logic Programming.

Alberto Casagrande, F. Fabris, R. Girometti (2023). An information-oriented paradigm in evaluating accuracy and agreement in radiology. EUROPEAN RADIOLOGY EXPERIMENTAL.

Carla Piazza, R. Romanello, R. Wille (2023). An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. Italian Conference on Computational Logic 2023.

Alberto Casagrande, Carla Piazza (2023). Adaptive Directions for Bernstein-Based Polynomial Set Evolution. 17th International Conference on Reachability Problems, "RP 2023".

M. Pasqua, Marino Miculan (2023). AbU: A calculus for distributed event-driven programming with attribute-based interaction. THEORETICAL COMPUTER SCIENCE.

G. D'Agostino, L. Geatti, D. Martincigh, Alberto Policriti (2023). A Linear-size Cascade Decomposition for Wheeler Automata. 24th Italian Conference on Theoretical Computer Science, ICTCS 2023.

N. Rossi, A. Colautti, L. Iacumin, Carla Piazza (2022). WGA-LP: A pipeline for whole genome assembly of contaminated reads. BIOINFORMATICS.

Michele Pasqua, Massimo Comuzzo, Marino Miculan (2022). The AbU Language: IoT Distributed Programming Made Easy. IEEE ACCESS.

Alberto Policriti, N. Prezza (2022). Special Issue on Algorithms and Data-Structures for Compressed Computation. ALGORITHMS.

N. Rizzo, A. I. Tomescu, Alberto Policriti (2022). Solving String Problems on Graphs Using the Labeled Direct Product. ALGORITHMICA.

Maria Elena Steidl, Elisa Agnese Nigro, Anne K. Nielsen, Matteo Lampis, Laura Cassina, Christine Podrini, Roberto Pagliarini, Marco Chiaravalli, Valeria Mannella, Ming Yang, Giovanna Musco, Christian Frezza, Alessandra Boletta (2022). Primary Cilia Respond to Nutrients Availability and Favor Glutamine Utilization During Metabolic Stress. JOURNAL OF THE AMERICAN SOCIETY OF NEPHROLOGY.

Alberto Casagrande, Francesco Quintavalle, Enrico Lena, Francesco Fabris, Umberto Lucangelo (2022). Pressure-flow breath representation eases asynchrony identification in mechanically ventilated patients. JOURNAL OF CLINICAL MONITORING AND COMPUTING.

Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia (2022). Parameter synthesis of polynomial dynamical systems. INFORMATION AND COMPUTATION.

A Dovier, A Formisano, G Gupta, Mv Hermenegildo, E Pontelli, R Rocha (2022). Parallel Logic Programming: A Sequel. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

L. Cian, T. Dreossi, Agostino Dovier (2022). Modeling and Solving the Rush Hour puzzle. CEUR Workshop Proceedings.

Carla Piazza, R. Romanello (2022). Mirrors and Memory in Quantum Automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

A. Brunello, M. Civilini, S. De Martin, A. Felice, M. Franchi, L. Iacumin, N. Saccomanno, Nicola Vitacolonna (2022). Machine learning-assisted environmental surveillance of Legionella: A retrospective observational study in Friuli-Venezia Giulia region of Italy in the period 2002–2019. INFORMATICS IN MEDICINE UNLOCKED.

C. Bianchini, Alberto Policriti, B. Riccardi, R. Romanello (2022). Incremental NFA Minimization. CEUR Workshop Proceedings.

Alberto Casagrande, R. Gentilini, Carla Piazza, Alberto Policriti (2022). Hybrid automata in systems biology. Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools.

M. Collevati, Agostino Dovier, A. Formisano (2022). GPU Parallelism for SAT Solving Heuristics. CEUR Workshop Proceedings.

D. Castelnovo, Marino Miculan (2022). Fuzzy Algebraic Theories. Leibniz International Proceedings in Informatics, LIPIcs.

Alberto Casagrande, F. Fabris, R. Girometti (2022). Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests. MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING.

D. Solda, F. Fabiano, Agostino Dovier (2022). Epistemic Multiagent Reasoning with Collaborative Robots. CEUR Workshop Proceedings.

Marino Miculan, M. Pasqua (2022). Distributed Programming of Smart Systems with Event-Condition-Action Rules. Proceedings of the 23rd Italian Conference on Theoretical Computer Science.

D. Della Giustina, Carla Piazza, B. Riccardi, R. Romanello (2022). Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Roberto Borelli, Agostino Dovier, Federico Fogolari (2022). Data Structures and Algorithms for k-th Nearest Neighbours Conformational Entropy Estimation. BIOPHYSICA.

F. Tardivo, Agostino Dovier, A. Formisano, L. Michel, E. Pontelli (2022). Constraints Propagation on GPU: A Case Study for AllDifferent. CEUR Workshop Proceedings.

A. Chiapperini, Marino Miculan, M. Peressotti (2022). Computing (optimal) embeddings of directed bigraphs. SCIENCE OF COMPUTER PROGRAMMING.

Claude Stolze, Marino Miculan, Pietro Di Gianantonio (2022). Composable partial multiparty session types for open systems. SOFTWARE AND SYSTEMS MODELING.

D. Castelnovo, F. Gadducci, Marino Miculan (2022). A new criterion for M,N-adhesivity, with an application to hierarchical graphs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Nicolò Rossi, Nicola Gigante, Nicola Vitacolonna, Carla Piazza (2022). A Conservative Approach for Describing Cancer Progression.

Marino Miculan, M. Paier (2022). A Calculus for Subjective Communication. Proceedings of the 23rd Italian Conference on Theoretical Computer Science.

N. Rizzo, Agostino Dovier (2022). 3coSoKu and its declarative modeling. JOURNAL OF LOGIC AND COMPUTATION.

Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza (2021). Wheeler Languages. INFORMATION AND COMPUTATION.

D Cantone, A Casagrande, F Fabris, Eg Omodeo (2021). THE QUEST FOR DIOPHANTINE FINITE-FOLD-NESS. LE MATEMATICHE.

Domenico Cantone, Alberto Policriti (2021). Squeezing multisets into real numbers. RENDICONTI DELL’ISTITUTO DI MATEMATICA DELL’UNIVERSITÀ DI TRIESTE.

Carla Piazza, S. Rossi (2021). Reasoning About Proportional Lumpability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

A. Marin, Carla Piazza, S. Rossi (2021). Proportional lumpability and proportional bisimilarity. ACTA INFORMATICA.

J. Hillston, A. Marin, Carla Piazza, S. Rossi (2021). Persistent Stochastic Non-Interference. FUNDAMENTA INFORMATICAE.

G. D'Agostino, D. Martincigh, Alberto Policriti (2021). Ordering Regular Languages: A Danger Zone. CEUR Workshop Proceedings.

M. Pasqua, Marino Miculan (2021). On the Security and Safety of AbU Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

F. Fabiano, A. Burigana, Agostino Dovier, E. Pontelli, T. C. Son (2021). Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Roberto Pagliarini, Christine Podrini (2021). Metabolic Reprogramming and Reconstruction: Integration of Experimental and Computational Studies to Set the Path Forward in ADPKD. FRONTIERS IN MEDICINE.

A. Marin, Carla Piazza, S. Rossi (2021). D_PSNI: Delimited persistent stochastic non-interference. THEORETICAL COMPUTER SCIENCE.

Agostino Dovier, Andrea Formisano, Enrico Pontelli, Fabio Tardivo (2021). CUDA: Set Constraints on GPUs.. RENDICONTI DELL’ISTITUTO DI MATEMATICA DELL’UNIVERSITÀ DI TRIESTE.

C. Stolze, Marino Miculan, P. Di Gianantonio (2021). Composable Partial Multiparty Session Types. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

D. Castelnovo, Marino Miculan (2021). Closure hyperdoctrines. Leibniz International Proceedings in Informatics, LIPIcs.

Marino Miculan, Nicola Vitacolonna (2021). Automated symbolic verification of Telegram’s MTProto 2.0. Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021.

A. Brunello, P. Gallo, E. Marzano, A. Montanari, Nicola Vitacolonna (2021). An event-based data warehouse to support decisions in multi-channel, multi-service contact centers. Research Anthology on Decision Support Systems and Decision Management in Healthcare, Business, and Engineering.

Alberto Casagrande, Francesco Quintavalle, Rafael Fernandez, Lluis Blanch, Massimo Ferluga, Enrico Lena, Francesco Fabris, Umberto Lucangelo (2021). An effective pressure-flow characterization of respiratory asynchronies in mechanical ventilation. JOURNAL OF CLINICAL MONITORING AND COMPUTING.

A. de Nardin, Marino Miculan, C. Piciarelli, G. L. Foresti (2021). A time-series classification approach to shallow web traffic de-anonymization. Proceedings of the Italian Conference on Cybersecurity (ITASEC 2021), All Digital Event, April 7-9, 2021.

Marino Miculan, Michele Pasqua (2021). A Calculus for Attribute-Based Memory Updates. Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021.

L. Pellizzari, N. Rossi, M. Verardo, R. Spizzo, B. Belletti, Carla Piazza, F. Puglisi, L. Gerratana (2021). 1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA). ANNALS OF ONCOLOGY.

A. Tarzariol, E. Zanazzo, Agostino Dovier, Alberto Policriti (2020). Towards a Logic Programming Tool for Cancer Data Analysis. FUNDAMENTA INFORMATICAE.

F. Burco, Marino Miculan, M. Peressotti (2020). Towards a formal model for composable container systems. Proceedings of the ACM Symposium on Applied Computing.

Marino Miculan, M. Peressotti (2020). Software transactional memory with interactions. CEUR Workshop Proceedings.

Marino Miculan, D. Tosone (2020). Securing the art market with distributed public ledgers. CEUR Workshop Proceedings.

J. Alanko, G. D'Agostino, Alberto Policriti, N. Prezza (2020). Regular languages meet prefix sorting. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms.

E. Pippia, A. Bozzato, E. Tiberi, R. Furlanetto, Alberto Policriti (2020). Optimization and multistage systems. The thawing case. CEUR Workshop Proceedings.

A. Burigana, F. Fabiano, Agostino Dovier, E. Pontelli (2020). Modelling Multi-Agent Epistemic Planning in ASP. 36th International Conference on Logic Programming. Special Issue I.

Eleonora Pippia, Thao Dang, Alberto Policriti (2020). Image Approximation for Feed Forward Neural Nets. 3rd International Workshop on Verification of Neural Networks.

Agostino Dovier, A. Formisano, F. Vella (2020). GPU-Based Parallelism for ASP-Solving. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

A Dovier, R Giacobazzi (2020). Fondamenti dell’informatica. Linguaggi formali, calcolabilità e complessità. BOLLATI BORINGHIERI.

Alberto Casagrande, Francesco Fabris, Rossano Girometti (2020). Extending Information Agreement by Continuity. 2020 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

F. Fabiano, A. Burigana, Agostino Dovier, E. Pontelli (2020). EFP 2.0: A multi-agent epistemic solver with multiple E-state representations. Proceedings International Conference on Automated Planning and Scheduling, ICAPS.

A. Chiapperini, Marino Miculan, M. Peressotti (2020). Computing Embeddings of Directed Bigraphs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Alberto Casagrande, F. Fabris, R. Girometti (2020). Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings. MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING.

A. Burigana, F. de Martino, Agostino Dovier (2020). A Java visual simulator of turing machines. CEUR Workshop Proceedings.

Marino Miculan, Gian Luca Foresti, Claudio Piciarelli (2019). Towards user recognition by shallow web traffic inspection. CEUR Workshop Proceedings.

M. De Bortoli, Federico Igne, F. Tardivo, Pietro Totis, Agostino Dovier, E. Pontelli (2019). Towards distributed computation of answer sets. CEUR Workshop Proceedings.

Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca (2019). Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine.

A. Marin, Carla Piazza, S. Rossi (2019). Proportional Lumpability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Annalisa Barla, Massimo Bartoletti, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti, Roberto Tagliaferri (2019). Preface. Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers.

F Fabiano, I. Riouak, Agostino Dovier, E. Pontelli (2019). Non-well-founded set based multi-agent action language. 34th Italian Conference on Computational Logic, CILC 2019.

Roberto Pagliarini, Alessandra Boletta (2019). In SILICO Simulations Predict a Causative Link Between Increased Glycolysis and Metabolic Reprogramming in Autosomal Dominant Polycystic Kidney Disease. 16th IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2019.

L. Giordano, Alberto Policriti (2019). Extending$$mathcal ALC$$ with the Power-Set Construct. 16th European Conference on Logics in Artificial Intelligence, JELIA 2019; Rende; Italy; 7 May 2019 through 11 May 2019.

A. Felice, M. Franchi, S. De Martin, Nicola Vitacolonna, L. Iacumin, M. Civilini (2019). Environmental surveillance and spatio-temporal analysis of Legionella spp. In a region of northeastern Italy (2002–2017). PLOS ONE.

D. Cantone, Alberto Casagrande, F. Fabris, E. Omodeo (2019). Does every recursively enumerable set admit a finite-fold diophantine representation?. Italian Conference on Computational Logic (CILC 2019).

Jane Hillston, Carla Piazza, Andrea Marin, Sabina Rossi (2019). Delimited persistent stochastic non-interference. ACM International Conference Proceeding Series.

Andrea Brunello, Paolo Gallo, Enrico Marzano, Angelo Montanari, Nicola Vitacolonna (2019). An event-based data warehouse to support decisions in multi-channel, multi-service contact centers. JOURNAL OF CASES ON INFORMATION TECHNOLOGY.

L. Geatti, F. Igne, Marino Miculan (2019). An abstract distributed middleware for transactions over heterogeneous stores. CEUR Workshop Proceedings.

L. Giordano, Alberto Policriti (2019). Adding the power-set to description logics. THEORETICAL COMPUTER SCIENCE.

A. Marin, Carla Piazza, S. Rossi (2019). A process algebra for (delimited) persistent stochastic non-interference. 16th International Conference on Quantitative Evaluation of Systems, QEST 2019.

Cosetta Saba, Nicola Vitacolonna, Lisa Parolo, Petra Marlazzi (2018). User Requirements and Relational Modelling for a Non-Theatrical Cinema and Video-Art Cataloguing System. Digital libraries and multimedia archives. 14th Italian Research Conference on Digital Libraries, IRCDL 2018, Udine, Italy, January 25-26, 2018, Proceedings.

A. Formisano, E. G. Omodeo, Alberto Policriti (2018). Reasoning on Relations, Modalities, and Sets. Outstanding Contributions to Logic.

A Casagrande, J Jarmolowska, Mm Turconi, P Busan, F Fabris, Pp Battaglini (2018). PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION.

Jane Hillston, Carla Piazza, Sabina Rossi (2018). Persistent stochastic non-interference. Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018.

Agostino Dovier, A. Formisano, E. Pontelli (2018). Parallel Answer Set Programming. Handbook of Parallel Constraint Reasoning.

Luca Drusian, Elisa Agnese Nigro, Valeria Mannella, Roberto Pagliarini, Monika Pema, Ana S H Costa, Fabio Benigni, Alessandro Larcher, Marco Chiaravalli, Edoardo Gaude, Francesco Montorsi, Umberto Capitanio, Giovanna Musco, Christian Frezza, Alessandra Boletta (2018). mTORC1 Upregulation Leads to Accumulation of the Oncometabolite Fumarate in a Mouse Model of Renal Cell Carcinoma. CELL REPORTS.

Federico Igne, Agostino Dovier, Enrico Pontelli (2018). MASP-Reduce: A Proposal for Distributed Computation of Stable Models. Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018.

Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi (2018). Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. INFORMATION AND COMPUTATION.

Alessio Mansutti, Marino Miculan, Marco Peressotti (2018). Loose Graph Simulations. Software Technologies: Applications and Foundations.

Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi (2018). Information Flow Security for Stochastic Processes. 15th European Performance Engineering Workshop.

Thomas Hildebrandt, Marino Miculan (2018). Guest editors' foreword. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING.

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini (2018). Extending logic programming with labelled variables: Model and semantics. FUNDAMENTA INFORMATICAE.

A DAL PALU', A Dovier, A Formisano, E Pontelli (2018). Exploring Life: Answer Set Programming in Bioinformatics. Declarative Logic Programming, Theory, Systems, and Applications..

Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani (2018). Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains. New Frontiers in Quantitative Methods in Informatics.

Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli (2018). Distributed multi-agent optimization for smart grids and home automation. INTELLIGENZA ARTIFICIALE.

Christine Podrini, Isaline Rowe, Roberto Pagliarini, Ana S H Costa, Marco Chiaravalli, Ivano Di Meo, Hyunho Kim, Gianfranco Distefano, Valeria Tiranti, Feng Qian, Diego di Bernardo, Christian Frezza, Alessandra Boletta (2018). Dissection of metabolic reprogramming in polycystic kidney disease reveals coordinated rewiring of bioenergetic pathways. COMMUNICATIONS BIOLOGY.

Alessio Mansutti, Marino Miculan (2018). Deciding hedged bisimilarity. Proceedings of the 19th Italian Conference on Theoretical Computer Science.

Marco Bernardo, Marino Miculan (2018). Constructive logical characterizations of bisimilarity for reactive probabilistic systems. THEORETICAL COMPUTER SCIENCE.

Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli (2018). ASP Applications in Bio-informatics: A Short Tour. KI - KÜNSTLICHE INTELLIGENZ.

A. Dal Palu, Agostino Dovier, A. Formisano (2018). 2D object reconstruction with ASP. CEUR Workshop Proceedings.

Alice Tarzariol, Agostino Dovier, Alberto Policriti (2017). Towards a Logic Programming Tool for Cancer Analysis. Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic.

Fabio Marroni, Davide Scaglione, Sara Pinosio, Alberto Policriti, Mara Miculan, Gabriele Di Gaspero, Michele Morgante (2017). Reduction of heterozygosity (ROH) as a method to detect mosaic structural variation. PLANT BIOTECHNOLOGY JOURNAL.

Tommaso Dreossi, Thao Dang, Carla Piazza (2017). Reachability computation for polynomial dynamical systems. FORMAL METHODS IN SYSTEM DESIGN.

T. Altenkirch, K. Chaudhuri, G. Dowek, A. Felty, A. Filinski, Marino Miculan, F. Rabe, W. Ricciotti, C. Coen, K. Sojakova (2017). Preface. ACM International Conference Proceeding Series.

Agostino Dovier (2017). Preface. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

Andrea Formisano, Agostino Dovier, Pontelli Enrico (2017). Parallel Answer Set Programming. PCR'17-CADE'17 1st workshop on parallel constraint reasoning.

Francesco Contaldo, Marco De Bortoli, Agostino Dovier (2017). Optimization of a compiler from PDDL to Picat (Short Paper). CEUR Workshop Proceedings.

Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu (2017). On Sets and Graphs: Perspectives on Logic and Combinatorics. Springer-Verlag.

Roman Barták, Agostino Dovier, Neng Fa Zhou (2017). Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models. Proceedings - 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, ICTAI 2016.

Roman Barták, Lukas Chrpa, Agostino Dovier, Jindrich Vodrážka, Neng Fa Zhou (2017). Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. SCIENCE OF COMPUTER PROGRAMMING.

Eugenio G. Omodeo, Alberto Policriti (2017). Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Springer-Verlag.

Alberto Policriti, Nicola Prezza (2017). LZ77 Computation Based on the Run-Length Encoded BWT. ALGORITHMICA.

Adriano Peron, Carla Piazza (2017). Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface. INFORMATION AND COMPUTATION.

Alberto Policriti, Nicola Prezza (2017). From LZ77 to the run-length encoded burrows-wheeler transform, and back. Leibniz International Proceedings in Informatics, LIPIcs.

Matteo Sottana, Carla Piazza, Andrea Albarelli (2017). Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains. VALUETOOLS 2017. Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools.

Marino Miculan, Marco Peressotti (2017). Deciding weak weighted bisimulation. CEUR Workshop Proceedings.

Simone Silvetti, Alberto Policriti, Luca Bortolussi (2017). An active learning approach to the falsification of black box cyber-physical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani (2016). Towards quantum programs verification: from quipper circuits to QPMC. Reversible Computation RC 2016: 8th International Conference, Proceedings.

Marino Miculan, Marco Peressotti (2016). Structural operational semantics for non-deterministic processes with quantitative aspects. THEORETICAL COMPUTER SCIENCE.

Re Barbara, Marino Miculan (2016). Special Issue on Methodologies, Technologies and Tools Enabling e-Government. INTERNATIONAL JOURNAL OF ELECTRONIC GOVERNANCE.

Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco (2016). Reasoning in high schools: Do it with ASP! ?. CEUR Workshop Proceedings.

E. G. Omodeo, Alberto Policriti (2016). Preface. Martin Davis on Computability, Computational Logic, and Mathematical Foundations.

Tommaso Dreossi, Thao Dang, Carla Piazza (2016). Parallelotope bundles for polynomial reachability. HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control.

Marino Miculan, Marco Peressotti (2016). On the bisimulation hierarchy of state-to-function transition systems. Proceedings of the 17th Italian Conference on Theoretical Computer Science (ICTCS'16).

Roman Barták, Neng Fa Zhou, Agostino Dovier (2016). Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models. CEUR Workshop Proceedings.

Luca Bortolussi, Alberto Policriti, Simone Silvetti (2016). Logic-based multi-objective design of chemical reaction networks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Dal Palù, Agostino Dovier, A. Formisano, Alberto Policriti, E. Pontelli (2016). Logic programming applied to genome evolution in cancer?. CEUR Workshop Proceedings.

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini (2016). Labelled variables in logic programming: Foundations. CEUR Workshop Proceedings.

Alberto Casagrande, Carla Piazza, Alberto Policriti (2016). Is Hyper-extensionality Preservable under Deletions of Graph Elements?. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Roberto Pagliarini, Raffaele Castello, Francesco Napolitano, Roberta Borzone, Patrizia Annunziata, Giorgia Mandrile, Mario De Marchi, Nicola Brunetti-Pierri, Diego di Bernardo (2016). In Silico Modeling of Liver Metabolism in a Human Disease Reveals a Key Enzyme for Histidine and Histamine Homeostasis. CELL REPORTS.

Nicola Prezza, Francesco Vezzi, Max Käller, Alberto Policriti (2016). Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2. BMC BIOINFORMATICS.

Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Son (2016). Exploring the use of BDDs in conformant planning. Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI.

Marco Bernardo, Marino Miculan (2016). Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. Proceedings 17th Italian Conference on Theoretical Computer Science (ICTCS 2016).

Alberto Policriti, Nicola Prezza (2016). Computing LZ77 in Run-Compressed Space. Data Compression Conference.

Marco De Bortoli, Roman Barták, Agostino Dovier, Neng Fa Zhou (2016). Compiling and executing PDDL in picat. CEUR Workshop Proceedings.

D. Cantone, E. G. Omodeo, Alberto Policriti (2016). Banishing Ultrafilters from Our Consciousness. Martin Davis on Computability, Computational Logic, and Mathematical Foundations.

Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella (2016). A GPU implementation of the ASP computation. Practical Aspects of Declarative Languages.

Alberto Casagrande, Carla Piazza (2015). Unwinding biological systems. THEORETICAL COMPUTER SCIENCE.

G. Bacci, Marino Miculan (2015). Structural operational semantics for continuous state stochastic transition systems. JOURNAL OF COMPUTER AND SYSTEM SCIENCES.

Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu (2015). Set-syllogistics meet combinatorics. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.

R. Gentilini, Carla Piazza, Alberto Policriti (2015). Rank and simulation: the well-founded case. JOURNAL OF LOGIC AND COMPUTATION.

Neng Fa Zhou, Roman Barták, Agostino Dovier (2015). Planning as tabled logic programming. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

Tommaso Dreossi, Dang Thao, Carla Piazza (2015). Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models. Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers.

Thao Dang, Tommaso Dreossi, Carla Piazza (2015). Parameter Synthesis Through Temporal Logic Specifications. FM 2015: FORMAL METHODS.

Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella (2015). Parallel execution of the ASP computation - An investigation on GPUs. CEUR Workshop Proceedings.

Marino Miculan, Marco Peressotti, Andrea Toneguzzo (2015). Open transactions on shared memory. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel (2015). On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. COMPUTATIONAL BIOLOGY AND CHEMISTRY.

Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu (2015). Mapping Sets and Hypersets into Numbers. FUNDAMENTA INFORMATICAE.

Agostino Dovier (2015). Logic programming and bisimulation. CEUR Workshop Proceedings.

Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, William Yeoh, Enrico Pontelli (2015). Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems.

Oded Maler, Ádám Halász, Thao Dang, Carla Piazza (2015). Hybrid Systems Biology: Second International Workshop, HSB 2013 Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014 Vienna, Austria, July 23–24, 2014 Revised Selected Papers. LECTURE NOTES IN COMPUTER SCIENCE.

Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti (2015). Hierarchical Assembly of Pools. Bioinformatics and Biomedical Engineering.

Agostino Dovier (2015). Foreword [to Constraint Solving and Planning with Picat]. Constraint Solving and Planning with Picat.

Alberto Policriti, Nicola Prezza (2015). Fast randomized approximate string matching with succinct hash data structures. BMC BIOINFORMATICS.

Alberto Policriti, Nicola Prezza (2015). Fast online Lempel-Ziv factorization in compressed space. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Alessio Mansutti, Marino Miculan, Marco Peressotti (2015). Distributed execution of bigraphical reactive systems. ELECTRONIC COMMUNICATIONS OF THE EASST.

Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli (2015). CUD@SAT: SAT solving on GPUs. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE.

Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli (2015). Constrained Community-based Gene Regulatory Network Inference. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION.

R Pagliarini, M Sangiovanni, A Peron, D di Bernardo (2015). Combining flux balance analysis and model checking for metabolic network validation and analysis. NATURAL COMPUTING.

Enrico Francia, Nicola Pecchioni, Alberto Policriti, Simone Scalabrin (2015). CNV and structural variation in plants prospects of NGS approaches. Advances in the Understanding of Biological Sciences Using Next Generation Sequencing (NGS) Approaches.

Tomasz Brengos, Marino Miculan, Marco Peressotti (2015). Behavioural equivalences for coalgebras with unobservable moves. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING.

Alberto Policriti, Nicola Gigante, Nicola Prezza (2015). Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. Language and Automata Theory and Applications.

Fernando Jimenez, Enrico Marzano, Gracia Sanchez, Guido Sciavicco, Nicola Vitacolonna (2015). Attribute selection via multi-objective evolutionary computation applied to multi-skill contact center data classification. Proceedings - 2015 IEEE Symposium Series on Computational Intelligence, SSCI 2015.

Davide Ancona, Agostino Dovier (2015). A Theoretical Perspective of Coinductive Logic Programming. FUNDAMENTA INFORMATICAE.

Federico Campeotto, Agostino Dovier, Enrico Pontelli (2015). A declarative concurrent system for protein structure prediction on GPU. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE.

Alberto Casagrande, Tommaso Dreossi, J. Fabriková, Carla Piazza (2014). ϵ-Semantics computations on biological systems. INFORMATION AND COMPUTATION.

Alessio Mansutti, Marco Peressotti, Marino Miculan (2014). Towards distributed bigraphical reactive systems. GCM 2014. The Fifth International Workshop on Graph Computation Models: proceedings.

Federico Campeotto, Palù Alessandro Dal, Agostino Dovier, Ferdinando Fioretto, Pontelli Enrico (2014). Towards a complete constraint solver on GPU. Proc of ParSearchOpt.

Marino Miculan, Marco Peressotti (2014). Structural operational semantics for non-deterministic processes with quantitative aspects.

Agostino Dovier (2014). Set Graphs VI: Logic Programming and Bisimulation. Proceedings of the 29th Italian Conference on Computational Logic.

Peron Adriano, Carla Piazza (2014). Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE.

Mansutti Alessio, Marino Miculan, Marco Peressotti (2014). Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. Proc. DAIS 2014.

Re Barbara, Marino Miculan (2014). MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government. Universitas Studiorum.

E. G. Omodeo, Carla Piazza, Alberto Policriti, A. I. Tomescu (2014). Hyper-Extensionality and One-Node Elimination on Membership Graphs. Proceedings of the 29th Italian Conference on Computational Logic.

Alberto Policriti, Nicola Prezza (2014). Hashing and Indexing: Succinct DataStructures and Smoothed Analysis. Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings.

Marino Miculan, Marco Peressotti (2014). GSOS for non-deterministic processes with quantitative aspects. Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014.

Fages François, Carla Piazza (2014). Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014. Proceedings. LECTURE NOTES IN COMPUTER SCIENCE.

G. Bacci, Marino Miculan, R. Rizzi (2014). Finding a Forest in a Tree - The matching problem for wide reactive systems. Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers.

Casagrande Alberto, Carla Piazza (2014). External Interactions on Hybrid Models of Biological Systems. Formal Methods in Macro-Biology.

Federico Campeotto, Palù Alessandro Dal, Agostino Dovier, Ferdinando Fioretto, Pontelli Enrico (2014). Exploring the Use of GPUs in Constraint SolvingPractical Aspects of Declarative Languages. Practical Aspects of Declarative Languages.

Federico Campeotto, A. Dal Palu, Agostino Dovier, Ferdinando Fioretto, E. Pontelli (2014). Experimenting with FIASCO for protein structure prediction.. Proceedings of 10th Workshop on Constraint-Based Methods for Bioinformatics.

Agostino Dovier, E. Pontelli (2014). Editorial, September 2014. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2014). Editorial, March 2014. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2014). Editorial, June/July 2014. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2014). EDITORIAL, December 2014. ALP NEWSLETTERS.

M. Beccuti, M. Carrara, F. Cordero, F. Lazzarato, S. Donatelli, F. Nadalin, Alberto Policriti, R. Calogero (2014). Chimera: a Bioconductor package for secondary analysis of fusion products. BIOINFORMATICS.

Francesco Vezzi, Giuseppe Lancia, Alberto Policriti (2014). Algorithms and Data Structures for Next Generation Sequences. Biological Knowledge Discovery Handbook: Preprocessing, Mining and Postprocessing of Biological Data.

Cristian DEL FABBRO, Tardivo Fabio, Alberto Policriti (2014). A Parallel Algorithm for the Best k-Mismatches Alignment Problem. 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

A. Bizjak, L. Birkedal, Marino Miculan (2014). A Model of Countable Nondeterminism in Guarded Type Theory. Proc. RTA-TLCA.

Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Pontelli Enrico (2014). A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.. ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)..

Marino Miculan, Marco Peressotti (2014). A CSP implementation of the bigraph embedding problem.

Alberto Policriti, Alexandru Ioan Tomescu (2013). Well-quasi-ordering hereditarily finite sets. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS.

Marino Miculan, Marco Peressotti (2013). Weak bisimulations for labelled transition systems weighted over semirings. CoRR.

I Verde, Ag Abbott, S Scalabrin, S Jung, S Shu, Fabio Marroni, T Zhebentyayeva, Mt Dettori, J Grimwood, F Cattonaro, A Zuccolo, L Rossini, J Jenkins, E Vendramin, La Meisel, V Decroocq, B Sosinski, S Prochnik, T Mitros, Alberto Policriti, Guido Cipriani, L Dondini, S Ficklin, Dm Goodstein, P Xuan, Cristian DEL FABBRO, V Aramini, D Copetti, S Gonzalez, Ds Horner, Rachele Falchi, S Lucas, E Mica, J Maldonado, B Lazzari, D Bielenberg, R Pirona, Mara Miculan, A Barakat, Raffaele Testolin, A Stella, S Tartarini, P Tonutti, P Arús, A Orellana, C Wells, D Main, Giannina Vizzotto, H Silva, F Salamini, J Schmutz, Michele Morgante, Ds Rokhsar (2013). The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution. NATURE GENETICS.

Casagrande Alberto, Tommaso Dreossi (2013). pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems2013 Euromicro Conference on Digital System Design. 2013 Euromicro Conference on Digital System Design.

F. Campeotto, Agostino Dovier, E. Pontelli (2013). Protein structure prediction on GPU: A declarative approach in a multi-Agent framework. Proceedings of the International Conference on Parallel Processing.

Dang Thao, Carla Piazza (2013). Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013), Taormina, Italy, 2nd September 2013. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE.

A Casagrande, J Jarmolowska, M Turconi, F Fabris, Pp Battaglini (2013). PolyMorph: A P300 Polymorphic Speller. Brain and Health Informatics International Conference, BHI 2013.

V. Manca, L. Marchetti, Roberto Pagliarini (2013). MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test. Natural Computing for Simulation and Knowledge Discovery.

V. Manca, A. Castellini, G. Franco, L. Marchetti, Roberto Pagliarini (2013). Metabolic P systems: A discrete model for biological dynamics. CHINESE JOURNAL OF ELECTRONICS.

Alberto Policriti, Alexandru Ioan Tomescu (2013). Markov chain algorithms for generating sets uniformly at random. ARS MATHEMATICA CONTEMPORANEA.

Rachele Falchi, Giannina Vizzotto, E Vendramin, Guido Cipriani, Carla Piazza, A Casagrande, I. Verde (2013). High-throughput trascriptome profiling of two peach chimeric genotypes. VIII International Peach Symposium.

Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Arvestad Lars, Alberto Policriti (2013). GAM-NGS: genomic assemblies merger for next generation sequencing. BMC BIOINFORMATICS.

Alberto Policriti (2013). Encodings of Sets and Hypersets. Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013..

Agostino Dovier, E. Pontelli (2013). Editorial, September 2013. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2013). Editorial, June 2013. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2013). Editorial, January 2013. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2013). Editorial, December 2013. ALP NEWSLETTERS.

Gennaro Gambardella, Roberto Pagliarini, Francesco Gregoretti, Gennaro Oliva, Diego di Bernardo (2013). Differential Equation Based Reverse-Engineering Algorithms: Pros and Cons. Gene Network Inference: Verification of Methods for Systems Genetics Data.

F Vella, A DAL PALU', Agostino Dovier, A Formisano, E. Pontelli (2013). CUD@ASP: Experimenting with GPUs in ASP solving. 28th Italian Conference on Computational Logic, CILC 2013.

J. Hillston, Carla Piazza, A. Marin, S. Rossi (2013). Contextual Lumpability. ValueTools 2013 – 7th International Conference on Performance Evaluation Methodologies and Tools.

Ancona Davide, Agostino Dovier (2013). co-LP: Back to the Roots. Proc of XXIX International Conference on Logic Programming.

Agostino Dovier, A Formisano, E. Pontelli (2013). Autonomous agents coordination: Action languages meet CLP(FD) and Linda. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

Alberto Casagrande, Tommaso Dreossi, Carla Piazza (2013). Approximated Symbolic Computations over Hybrid Automata. Proceedings of Int. Workshop on Hybrid Autonomous Systems 2013.

Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca (2013). An Analysis of Correlative and Static Causality in P Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Zhou NENG FA, Agostino Dovier (2013). A Tabled Prolog Program for Solving Sokoban. FUNDAMENTA INFORMATICAE.

Raffaele Cipriano, Luca DI GASPERO, Agostino Dovier (2013). A multi-paradigm tool for large neighborhood search. Studies in Computational Intelligence.

Massimo Franceschet, D. Gubiani, Angelo Montanari, Carla Piazza (2013). A graph-theoretic approach to map conceptual designs to XML schemas. ACM TRANSACTIONS ON DATABASE SYSTEMS.

Roberto Pagliarini, Diego di Bernardo (2013). A genome-scale modeling approach to study inborn errors of liver metabolism: toward an in silico patient. JOURNAL OF COMPUTATIONAL BIOLOGY.

Federico Campeotto, A. Dal Palu, Agostino Dovier, Ferdinando Fioretto, E. Pontelli (2013). A Constraint Solver for Flexible Protein Models. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH.

S. Scalabrin, Alberto Policriti, F. Nadalin, S. Pinosio, F. Cattonaro, E. Vendramin, V. Aramini, I. Verde, D. Bassi, R. Pirona, L. Rossini, Guido Cipriani, Raffaele Testolin, Michele Morgante (2013). A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges. ACTA HORTICULTURAE.

Luca Bortolussi, Alberto Policriti (2013). (Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program. JOURNAL OF LOGIC AND COMPUTATION.

E Omodeo, Alberto Policriti (2012). The Bernays-Schoenfinkel-Ramsey Class in Set Theory: Decidability. THE JOURNAL OF SYMBOLIC LOGIC.

Marino Miculan, Paviotti Marco (2012). Synthesis of distributed mobile programs using monadic types in Coq. Interactive Theorem Proving, Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings.

G Bacci, Marino Miculan (2012). Structural operational semantics for continuous state probabilistic processes. 11th International Workshop on Coalgebraic Methods in Computer Science, Proceedings.

A Vezzi, Cristian DEL FABBRO, A. I. Tomescu, Alberto Policriti (2012). rNA: a Fast and Accurate Short Reads Numerical Aligner. BIOINFORMATICS.

R Gentilini, Carla Piazza, Alberto Policriti (2012). Rank-Based Simulation on Acyclic Graphs. Proceedings of the 9th Italian Convention on Computational Logic.

A. Dal Palu, Agostino Dovier, Federico Fogolari, E. Pontelli (2012). Protein Structure Analysis with Constraint Programming.. Computational Approaches to Nuclear Receptors ,.

Campeotto Federico, Palù Alessandro Dal, Agostino Dovier, Fioretto Ferdinando, Pontelli Enrico (2012). Protein Loop Modeling via Constraints and Fragment Assembly. Proc of WCB12 - Workshop onConstraint Based Methods for Bioinformatics.

A Casagrande, Carla Piazza (2012). Model Checking on Hybrid Automata: Theory and Application to Biological Systems. Prooc. of 15th Euromicro Conference on Digital System Design (DSD), 2012.

G Bacci, Marino Miculan (2012). Measurable Stochastics for Brane Calculus. THEORETICAL COMPUTER SCIENCE.

Agostino Dovier, Vítor Santos Costa (2012). Introduction to the technical communications of the 28th international conference on logic programming special issue. Leibniz International Proceedings in Informatics, LIPIcs.

Agostino Dovier, Vítor Santos Costa (2012). Introduction to the 28th International Conference on Logic Programming Special Issue. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

Eugenio Omodeo, Alberto Policriti, Alexandru Ioan Tomescu (2012). Infinity, in short. JOURNAL OF LOGIC AND COMPUTATION.

Marino Miculan, Ilaria Sambarino (2012). Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE.

A Casagrande, Tommaso Dreossi, Carla Piazza (2012). Hybrid Automata and epsilon-Analysis on a Neural Oscillator. Proceedings First International Workshop on Hybrid Systems and Biology.

Alberto Casagrande, Francesco Fabris (2012). Family fingerprints: a global approach to structural classification. JOURNAL OF BIOINFORMATICS AND COMPUTATIONAL BIOLOGY.

A DAL PALU', Agostino Dovier, A Formisano, E. Pontelli (2012). Exploiting unexploited computing resources for computational logics. 9th Italian Convention on Computational Logic, CILC 2012.

Nicola Prezza, Cristian DEL FABBRO, Vezzi Francesco, Emanuele DE PAOLI, Alberto Policriti (2012). ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet. Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine - BCB ‘12.

Agostino Dovier, E. Pontelli (2012). Editorial, September 2012. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2012). Editorial, March 2012. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2012). Editorial, June 2012. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2012). Editorial, December 2012. ALP NEWSLETTERS.

Alberto Policriti, Alexandru Ioan Tomescu, Francesco Vezzi (2012). A Randomized Numerical Aligner -- rNA. JOURNAL OF COMPUTER AND SYSTEM SCIENCES.

Federico Campeotto, A. Dal Palu, Agostino Dovier, Ferdinando Fioretto, E. Pontelli (2012). A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints.. Proc of 18th International Conference on Principles and Practice of Constraint Programming.

Alberto Policriti, A. Tomescu (2011). WELL-QUASI-ORDERING HEREDITARILY FINITE SETS. 5th International Conference on Language and Automata Theory and Applications, LATA2011.

C Maiero, Marino Miculan (2011). Unobservable intrusion detection based on call traces in paravirtualized systems. Proceedings of SECRYPT 2011.

A Casagrande, F Fabris (2011). SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains. PROCEEDINGS IEEE INTERNATIONAL CONFERENCE OF BIOINFORMATICS AND BIOMEDICINE (WORKSHOPS).

Agostino Dovier (2011). Recent constraint/logic programming based advances in the solution of the protein folding problem. INTELLIGENZA ARTIFICIALE.

Stalla Alessio, Zanucco Davide, Agostino Dovier, Mascardi Viviana (2011). PrettyCLP: a Light Java Implementation for Teaching CLP. 26th Italian Conference on Computational Logic.

Agostino Dovier, A. Formisano, E. Pontelli (2011). Perspectives on Logic-based Approaches for Reasoning About Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday.

Cristian DEL FABBRO, F Vezzi, Alberto Policriti (2011). mrNA: the MPI randomized Numerical Aligner. International Conference on Bioinformatics and Biomedicine.

Best Michael, Bhattarai Kabi, Campeotto Federico, Palù Alessandro Dal, Dang Hung, Agostino Dovier, Ferdinando Fioretto, Federico Fogolari, Le Trung, Pontelli Enrico (2011). Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints. WCB11: Workshop on Constraint Based Methods for Bioinformatics.

Marino Miculan, C. Urban (2011). Formal analysis of Facebook Connect Single Sign-On authentication protocol. SofSem 2011, Proceedings of Student Research Forum.

Palù Alessandro Dal, Agostino Dovier, Federico Fogolari, Pontelli Enrico (2011). Exploring Protein Fragment Assembly Using CLP. Proc. of IJCAI11, Twenty-second International Joint Conference on Artificial Intelligence.

Agostino Dovier, E. Pontelli (2011). Editorial, September 2011. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2011). Editorial, March 2011. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2011). Editorial, June 2011. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2011). Editorial, December 2011. ALP NEWSLETTERS.

Alberto Castellini, Giuditta Franco, Roberto Pagliarini (2011). Data analysis pipeline from laboratory to MP models. NATURAL COMPUTING.

Alberto Policriti, A. Tomescu (2011). Counting extensional acyclic digraphs. INFORMATION PROCESSING LETTERS.

Nicola Vitacolonna (2011). Conceptual Design Patterns for Relational Databases. Proceedings of the 17th International Conference on Information and Software Technologies (IT 2011).

Alberto Casagrande, B. Mishra, Carla Piazza (2011). Composing FOCoRe Hybrid Automata.

A. Rohde, V. Storme, V. Jorge, M. Gaudet, Nicola Vitacolonna, F. Fabbrini, T. Ruttink, G. Zaina, N. Marron, S. Dillen, M. Steenackers, M. Sabatti, Michele Morgante, W. Boerjan, C. Bastien (2011). Bud set in poplar - genetic dissection of a complex trait in natural and hybrid populations. NEW PHYTOLOGIST.

Agostino Dovier, Andrea Formisano, Pontelli Enrico (2011). BAAC: A Prolog System for Action Description and Agents Coordination. ICLP 2011, 27th International Conference on Logic Programming.

Zhou NENG FA, Agostino Dovier (2011). A Tabled Prolog Program for Solving Sokoban. IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011.

Zhou NENG FA, Agostino Dovier (2011). A Tabled Prolog Program for Solving Sokoban. 26th Italian Conference on Computational Logic.

Guido Cipriani, Manna Crespan, Mauro Cresti, Gabriele Di Gaspero, E Frare, Irena Jurman, Stefano Meneghetti, Michele Morgante, Pe Enrico, Mario Pezzotti, Alessandro Spadotto, Raffaele Testolin, Rita Vignani, Alberto Policriti (2010). The SSR-based molecular profile of 1005 grapevine (Vitis vinifera L.) accessions uncovers new synonymy and parentages, and reveals a large admixture among varieties of different geographic origin. THEORETICAL AND APPLIED GENETICS.

E Omodeo, Alberto Policriti (2010). The Bernays Schoenfinkel Ramsey class for set theory: semidecidability. THE JOURNAL OF SYMBOLIC LOGIC.

G Franco, V Manca, R Pagliarini (2010). Regulation and Covering Problems in MP Systems. International Workshop on Membrane Computing, WMC 2009.

Karl Crary, Marino Miculan (2010). Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE.

Agostino Dovier, A. Formisano, E. Pontelli (2010). Multi-valued Action Languages with Constraints in CLP(FD). THEORY AND PRACTICE OF LOGIC PROGRAMMING.

D Campagna, C DE ROSA, Agostino Dovier, Angelo Montanari, Carla Piazza (2010). Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). FUNDAMENTA INFORMATICAE.

G Bacci, Marino Miculan (2010). Measurable Stochastics for Brane Calculus. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE.

K. Crary, Marino Miculan (2010). LFMTP 2010 - Preface. Electronic Proceedings in Theoretical Computer Science, EPTCS.

L Bortolussi, Alberto Policriti (2010). Hybrid dynamics of stochastic programs. THEORETICAL COMPUTER SCIENCE.

D. Campagna, Carla Piazza (2010). Hybrid automata, reachability, and Systems Biology. THEORETICAL COMPUTER SCIENCE.

Erica Mica, Viviana Piccolo, Massimo Delledonne, Alberto Ferrarini, Mario Pezzotti, Cesare Casati, Cristian DEL FABBRO, Giorgio Valle, Alberto Policriti, Michele Morgante, Graziano Pesole, Pe M. Enrico, S. Horner David (2010). High throughput approaches reveal splicing of primary microRNA transcripts and tissue specific expression of mature microRNAs in Vitis vinifera (vol 11 pg 109 2010). BMC GENOMICS.

Davide Grohmann, Marino Miculan (2010). Graph Algebras for Bigraphs. ELECTRONIC COMMUNICATIONS OF THE EASST.

Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza (2010). From entity relationship to XML Schema: A graph-theoretic approach (extended abstract). SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems.

Agostino Dovier, E. Pontelli (2010). Editorial, September 2010. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2010). Editorial, March 2010. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2010). Editorial, June 2010. ALP NEWSLETTERS.

Agostino Dovier, E. Pontelli (2010). Editorial, December 2010. ALP NEWSLETTERS.

A. Dal Palu, F. Fages, Agostino Dovier, S. Will (2010). Constraint based methods for bioinformatics (Chapter VI). Trends in Constraint Programming.

A. Dal Palu, Agostino Dovier, E. Pontelli (2010). Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices. INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS.

A. Dal Palu, Agostino Dovier, Federico Fogolari, E. Pontelli (2010). CLP-based protein fragment assembly. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

Agostino Dovier, A Formisano, Enrico Pontelli (2010). Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. Proceedings of CILC2010, 25th Italian Conference on Computational Logic Rende.

Andrea Cavallini, Lucia Natali, Andrea Zuccolo, Tommaso Giordani, Irena Jurman, Veronica Ferrillo, Nicola Vitacolonna, Vania Sarri, Federica Cattonaro, Marilena Ceccarelli, Giorgio Cionini Pier, Michele Morgante (2010). Analysis of transposons and repeat composition of the sunflower (Helianthus annuus L.) genome. THEORETICAL AND APPLIED GENETICS.

Agostino Dovier, A. Formisano, E. Pontelli (2010). An investigation of Multi-Agent Planning in CLP.. FUNDAMENTA INFORMATICAE.

Alberto Policriti, A Tomescu, F. Vezzi (2010). A Randomized Numerical Aligner (rNA). Language and Automata Theory and Application.

Agostino Dovier, Pontelli Enrico (2010). A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP. Springer Verlag.

V. Manca, Roberto Pagliarini, S. Zorzan (2009). Toward an MP model of non-photochemical quenching. 9th International Workshop on Membrane Computing, WMC 2008.

Bortolussi Luca, Alberto Policriti (2009). The Importance of Being (A Little Bit) Discrete. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cristian DEL FABBRO, Alberto Policriti, Nicola Vitacolonna (2009). TEA: a Transposable Elements Annotator. International Conference on Bioinformatics & Computational Biology, BIOCOMP 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes.

Bortolussi Luca, Alberto Policriti (2009). Stochastic Programs and Hybrid Automata for (Biological) Modeling. Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings.

Agostino Dovier, Andrea Formisano, Enrico Pontelli (2009). Representing Multi-Agent Planning in CLP. Proc of LPNMR 2009.

Agostino Dovier, Pontelli Enrico (2009). Present and Future Challenges for ASP Systems. Proc of LPNMR 2009.

Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli (2009). Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. Proc of LPNMR 2009.

Bortolussi Luca, Alberto Policriti (2009). Hybrid dynamics of stochastic pi-calculus. MATHEMATICS IN COMPUTER SCIENCE.

D Campagna, Carla Piazza (2009). Hybrid Automata in Systems Biology: How far can we go?. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Mica Erica, Piccolo Viviana, Delledonne Massimo, Ferrarini Alberto, Pezzotti Mario, Casati Cesare, Cristian DEL FABBRO, Valle Giorgio, Alberto Policriti, Michele Morgante, Pesole Graziano, M. ENRICO PE, DAVID S. Horner (2009). High throughput approaches reveal splicing of primary microrna transcripts and tissue specific expression of mature micrornas in vitis vinifera. BMC GENOMICS.

A. Dal Palu, Agostino Dovier, E. Pontelli, G. Rossi (2009). GASP: Answer Set Programming with Lazy Grounding. FUNDAMENTA INFORMATICAE.

Elisabetta DE MARIA, Angelo Montanari, Nicola Vitacolonna (2009). Games on Strings with a Limited Order Relation. Proceedings of the 2009 Symposium on Logical Foundations of Computer Science (LFCS).

Alberto Casagrande, Cristian DEL FABBRO, Simone Scalabrin, Alberto Policriti (2009). GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies. 2009 IEEE International Conference on Bioinformatics and Biomedicine.

Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza (2009). From Entity Relationship to XML Schema: A Graph-Theoretic Approach. Proceedings of Database and XML Technologies, 6th International XML Database Symposium, XSym 2009.

F DEL TEDESCO, Carla Piazza (2009). External Control in Process Algebra for Systems Biology. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Angelo Montanari, Alberto Policriti, Nicola Vitacolonna (2009). Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies.

Bortolussi Luca, Alberto Policriti (2009). Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY.

Alberto Casagrande, Carla Piazza, Alberto Policriti (2009). Discrete Semantics for Hybrid Automata. DISCRETE EVENT DYNAMIC SYSTEMS.

Davide Grohmann, Marino Miculan (2009). Deriving Barbed Bisimulations for Bigraphical Reactive Systems. ELECTRONIC COMMUNICATIONS OF THE EASST.

G Bacci, D Grohmann, Marino Miculan (2009). DBtk: A Toolkit for Directed Bigraphs. Proc. CALCO 2009.

Giorgio Bacci, Davide Grohmann, Marino Miculan (2009). Bigraphical models for protein and membrane interactions. Proceedings of the Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009 (MeCBIC 2009).

S Scalabrin, Michele Morgante, Alberto Policriti (2009). Automated FingerPrint Background removal: FPB. BMC BIOINFORMATICS.

Agostino Dovier, E. Quintarelli (2009). Applying Model-Checking to solve Queries on Semistructured Data. COMPUTER LANGUAGES, SYSTEMS & STRUCTURES.

Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi (2009). Answer Set Programming with Constraints using Lazy Grounding. Proc. of ICLP 2009.

Agostino Dovier, A. Formisano, E. Pontelli (2009). An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE.

R Pagliarini, G Franco, V Manca (2009). An Algorithm for Initial Fluxes of Metabolic P Systems. INTERNATIONAL JOURNAL OF COMPUTERS, COMMUNICATIONS & CONTROL.

Vincenzo Manca, Roberto Pagliarini, Simone Zorzan (2009). A photosynthetic process modelled by a metabolic P system. NATURAL COMPUTING.

Raffaele Cipriano, Luca DI GASPERO, Agostino Dovier (2009). A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. 16th RCRA International Workshop on "Experimental evaluation of algorithms for solvingproblems with combinatorial explosion".

Raffaele Cipriano, Luca DI GASPERO, Agostino Dovier (2009). A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++. Hybrid Metaheuristics 6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings.

Giorgio Bacci, Davide Grohmann, Marino Miculan (2009). A framework for protein and membrane interactions. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE.

G Bacci, Marino Miculan (2008). Undecidability of Model Checking in Brane Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Marino Miculan, Ivan Scagnetto, F. Honsell (2008). Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers. LECTURE NOTES IN COMPUTER SCIENCE.

L. Bortolussi, Alberto Policriti (2008). The importance of being (a little bit) discrete. Proceeding of FBTC.

Carla Piazza, Alberto Policriti (2008). Systems Biology: Models and Logics. Proc. of Int. Conference on Logic Programming (ICLP'08).

Carla Piazza (2008). Systems Biology: Models and Logics.

R. Gentilini, Carla Piazza, Alberto Policriti (2008). Symbolic Graphs: Linear Solutions to Connectivity Related Problems. ALGORITHMICA.

Luca Benvenuti, Davide Bresolin, Alberto Casagrande, Pieter Collins, Alberto Ferrari, Emanuele Mazzi, Alberto Sangiovanni-Vincentelli, Tiziano Villa (2008). Reachability computation for hybrid systems with Ariadne. IFAC PROCEEDINGS (IFAC 2008).

Silvia Crafa, Marino Miculan, Matteo Mio, Carla Piazza, Sabina Rossi (2008). PicNIc - Pi-calculus Non-Interference checker. Proc. of the IEEE Int. Conference on Application of Concurrency to System Design (ACSD'08).

L. Bortolussi, Alberto Policriti (2008). Modeling Biological Systems in Stochastic Concurrent Constraint Programming. CONSTRAINTS.

Carla Piazza (2008). Model Checking, Hybrid Automata, and Systems Biology. SAMSI Workshop on Discrete Models in Systems Biology.

Marino Miculan, Ivan Scagnetto, Furio Honsell (2008). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers..

Palù Alessandro Dal, Agostino Dovier, Will Sebastian (2008). Introduction to the Special Issue on Bioinformatics and Constraints. CONSTRAINTS.

Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra (2008). Inclusion dynamics hybrid automata. INFORMATION AND COMPUTATION.

Temesghen Kahsai, Marino Miculan (2008). Implementing Spi Calculus using Nominal techniques. Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008,.

L Bortolussi, Alberto Policriti (2008). Hybrid systems and biology. continuous and discrete modeling for systems biology. Formal Methods for Computational System Biology,.

L. Bortolussi, Alberto Policriti (2008). Hybrid semantics for stochastic pi-calculus. Proceeding of AB 2008.

L. Bortolussi, Alberto Policriti (2008). Hybrid approximation of stochastic process algebras for systems biology. Proceeding of IFAC 2008.

A Casagrande, Carla Piazza, Alberto Policriti (2008). Discreteness, hybrid automata, and biology. Proc. of Int. Workshop on Discrete Event Systems (WODES'08).

Alberto Casagrande, Pietro Corvaja, Bud Mishra, Carla Piazza (2008). Decidable Compositions of O-Minimal Automata. Proc. of Int. Symposium on Automated Technology for Verification and Analysis (ATVA'08).

D Grohmann, Marino Miculan (2008). Controlling resource access in Directed Bigraphs. Graph Transformation and Visual Modeling Techniques 2008.

R. Cipriano, Agostino Dovier, J. Mauro (2008). Compiling and Executing Declarative Modeling Languages in Gecode. Proc. of 24th International Conference on Logic Programming.

Davide Grohmann, Marino Miculan (2008). An Algebra for Directed Bigraphs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

A Bossi, Carla Piazza, S. Rossi (2008). Action Refinement in Process Algebra and Security Issues. Proc. of the Int. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR'07).

Agostino Dovier, Carla Piazza, Gianfranco Rossi (2008). A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC.

Raffaele Cipriano, Alessandro Dal Palù, Agostino Dovier (2008). A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem. Proc. of WCB'08 Workshop on Constraint Based methods for Bioinformatics..

R. Mardare, Alberto Policriti (2008). A complete axiomatic system for a process-based spatial logic. Proceeding of MFCS 2008.

Marino Miculan (2008). A categorical model of the Fusion calculus. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Alberto Casagrande, K. Casey, R. Falchi, Carla Piazza, B. Ruperti, Giannina Vizzotto, B. Mishra (2007). Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. 2nd International Conference on Algebraic Biology, AB 2007.

O Jaillon, J. M. Aury, B Noel, Alberto Policriti, C Clepet, A Casagrande, N Choisne, S Aubourg, N Vitulo, C Jubin, A Vezzi, F Legeai, P Hugueney, C Dasilva, D Horner, E Mica, D Jublot, J Poulain, C Bruyère, A Billault, B Segurens, M Gouyvenoux, E Ugarte, F Cattonaro, V Anthouard, V Vico, Cristian DEL FABBRO, M Alaux, Gabriele Di Gaspero, V Dumas, N Felice, S Paillard, I Juman, M Moroldo, S Scalabrin, A Canaguier, I LE CLAINCHE, G Malacrida, E Durand, G Pesole, V Laucou, P Chatelet, D Merdinoglu, M Delledonne, M Pezzotti, A Lecharny, C Scarpelli, F Artiguenave, Pè Me, G Valle, Michele Morgante, M Caboche, A. F. ADAM BLONDON, J Weissenbach, F Quétier, P. Wincker (2007). The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla. NATURE.

A DAL PALU', Agostino Dovier, E. Pontelli (2007). The Density Constraint. Proceedings of WCB'07 Workshop on Constraint Based methods for Bioinformatics.

A Casagrande, Pietro Corvaja, Carla Piazza, B. Mishra (2007). Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata. PROC. OF HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC'07).

L. Bortolussi, Alberto Policriti (2007). Stochastic concurrent constraint programming and differential equations. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Federico Fogolari, L. Pieri, Agostino Dovier, L. Bortolussi, Gilberto Giugliarelli, Alessandra Corazza, Gennaro Esposito, Paolo Viglino (2007). Scoring predictive models using a reduced representation of proteins: model and energy definition. BMC STRUCTURAL BIOLOGY.

Alberto Ciaffaglione, L Liquori, Marino Miculan (2007). Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. JOURNAL OF AUTOMATED REASONING.

Davide Grohmann, Marino Miculan (2007). Reactive Systems over Directed Bigraphs. Proceedings of CONCUR 2007.

Angelo Montanari, Alberto Policriti, Nicola Vitacolonna (2007). On Devising Algorithms for Ehrenfeucht-Fraïssé Games.

Agostino Dovier, Andrea Formisano, Enrico Pontelli (2007). Multivalued Action Languages with Constraints in CLP(FD). 23rd International Conference, ICLP 2007.

M Zantoni, E Dalla, Alberto Policriti, Claudio Schneider (2007). Motif discovery fixing mismatch positions. Applied and Indutrial Mathematics in Italy II, Selected Contributions from the 8th SIMAi Conference.

Elisabetta DE MARIA, Agostino Dovier, Alberto Policriti, Marco Zantoni (2007). Module Identification Using Biological Constraints. Proceedings of WCB'07 Workshop on Constraint Based methods for Bioinformatics.

Agostino Dovier, A. Dal Palu, E. Pontelli (2007). Enhancing the Computation of Approximate Solutions of the Protein Structure Determination. Proceedings of the IEEE international conference on Bioinformatics and biomedicine workshops.

Grohmann Davide, Marino Miculan (2007). Directed Bigraphs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

A. Bossi, Carla Piazza, S. Rossi (2007). Compositional information flow security for concurrent programs. JOURNAL OF COMPUTER SECURITY.

Agostino Dovier, Andrea Formisano, Enrico Pontelli (2007). An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.. Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference.

Luca Bortolussi, Agostino Dovier, Federico Fogolari (2007). Agent-based Protein Structure Prediction. MULTIAGENT AND GRID SYSTEMS.

A. Dal Palu, A Dovier, E. Pontelli (2007). A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. SOFTWARE-PRACTICE & EXPERIENCE.

A Formisano, E Omodeo, Alberto Policriti (2006). Views on Time in Systems Biology. Proceedings of the 11th IPMU International Conference.

A Casagrande, V Mysore, Carla Piazza, B. Mishra (2006). Tolque: A Tool for Algorithmic Algebraic Model Checking. Int. Conference on Hybrid Systems: Computation and Control (HSCC'06).

S. Scalabrin, Michele Morgante, Alberto Policriti (2006). Stem-loop structure search for helitron discovery. Proceedings of International Symposium on ComputationalBiology & Bioinformatics (ISBB 06).

A Dovier, E. Pontelli, G. Rossi (2006). Set Unification. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

M Farenzena, Andrea Fusiello, Agostino Dovier (2006). Reconstruction with Interval Constraints Propagation. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

L Bortolussi, Alberto Policriti (2006). Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Proceedings of the Workshop on Constraint Based Methods for Bioinformatics.

Marino Miculan, G. Bacci (2006). Modal logics for Brane Calculus. Proceedings of CMSB 2006.

M Massarini, Marino Miculan, F. Sepic (2006). Implementazione di Memoria Distribuita su cluster CompactPCI. Atti del Congresso AICA 2005.

Raffaele Cipriano, Luca DI GASPERO, Agostino Dovier (2006). Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search. Hybrid Metaheuristics, Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-15, 2006, Proceedings.

Palù Alessandro Dal, Agostino Dovier, Pontelli Enrico (2006). Global Constraints for Discrete Lattices. Proceedings of WCB06: Workshop on Constraint Based methods for Bioinformatics..

M. Zantoni, E. Dalla, Alberto Policriti, C. Schneider (2006). Finding regulatory elements fixing error layouts. Proceedings of International Symposium on Computational Biology & Bioinformatics (ISBB 06).

Giovanna D'Agostino, Angelo Montanari, Alberto Policriti (2006). Extensions of S1S and the composition method. Proceedings of JM 06: 11th Mons Days of Theoretical Computer Science,.

E. De Maria, Agostino Dovier, Angelo Montanari, Carla Piazza (2006). Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.. Proceedings of WCB06: Workshop on Constraint Based Methods for Bioinformatics.

Agostino Dovier, A. Formisano, AND E. Omodeo (2006). Decidability Results for Sets with Atoms. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC.

Anna Bucalo, M Hofmann, Furio Honsell, Marino Miculan, Ivan Scagnetto (2006). Consistency of the Theory of Contexts. JOURNAL OF FUNCTIONAL PROGRAMMING.

L Bortolussi, Alberto Policriti (2006). Connecting process algebras and differential equations for Systems Biology. Proceedings of Process Algebra and Stochastically Timed Activities 2006.

A Bossi, Carla Piazza, S. Rossi (2006). Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs. IEEE Computer Security Foundation Workshop - Five minute talks.

L. Bortolussi, F. Fabris, Alberto Policriti (2006). BuST: Bundled Suffix Trees. Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006.

Fabio Gadducci, Marino Miculan, Ugo Montanari (2006). About permutation algebras, (pre)sheaves and named sets. HIGHER-ORDER AND SYMBOLIC COMPUTATION.

Eugenio G. Omodeo, Domenico Cantone, Policriti Alberto (2006). A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems.

A Bossi, Carla Piazza, S. Rossi (2005). Unwinding Conditions for Security in Imperative Languages. Proc. of the Int. Workshop on Logic Based Program Synthsis and Transformation (LOPSTR'04).

Marino Miculan, Ivan Scagnetto, Furio Honsell (2005). Translating Specifications from Nominal Logic to CIC with the Theory of Contexts. MERLIN'05: proceedings.

A. Formisano, E. Omodeo, Alberto Policriti (2005). The axiom of elementary sets on the edge of Peircean expressibility. THE JOURNAL OF SYMBOLIC LOGIC.

Michele Morgante, Alberto Policriti, Nicola Vitacolonna, Andrea Zuccolo (2005). Structured motifs search. JOURNAL OF COMPUTATIONAL BIOLOGY.

B Mishra, Carla Piazza (2005). Stability of Hybrid Systems and Related Questions from Systems Biology. Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya. Series: Systems & Control: Foundations & Applications. Birkhäuser.

A Casagrande, Carla Piazza, B. Mishra (2005). Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. Proc. of Joint IEEE Int. Conference on Decision and Control and European Control Conference (CDC-ECC'05).

Agostino Dovier, M. Farenzena, Andrea Fusiello (2005). Interval-based Modelling with Constraints Propagation. -.

A Bossi, D Macedonio, Carla Piazza, S. Rossi (2005). Information flow in secure contexts. JOURNAL OF COMPUTER SECURITY.

A Casagrande, V Mysore, Carla Piazza, B. Mishra (2005). Independent Dynamics Hybrid Automata in System Biology. Algebraic Biology – Computer Algebra in Biology.

A. Dal Palu, Agostino Dovier, E. Pontelli (2005). Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD). Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.

Angelo Montanari, Alberto Policriti, Nicola Vitacolonna (2005). An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures. Logic for Programming, Artificial Intelligence and Reasoning.

Carla Piazza, M. Antoniotti, V. Mysore, Alberto Policriti, F. Winkler, B. Mishra (2005). Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆. Proceeding of the International Congress on Computer Aided Verification, 2005. (CAV ‘05).

V Mysore, Carla Piazza, B. Mishra (2005). Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology. Proc. of Int. Symposium on Automated Technology for Verification and Analysis (ATVA’05).

L. Bortolussi, A. Dal Palu, Agostino Dovier, Federico Fogolari (2005). Agent-Based Protein Folding Simulation. INTELLIGENZA ARTIFICIALE.

Marino Miculan, K. Yemane (2005). A unifying model of variables and names. Proceedings of FOSSACS 2005.

A. Dal Palu, Agostino Dovier, E. Pontelli (2005). A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS.

Agostino Dovier, A. Formisano, E. Pontelli (2005). A comparison of CLP(FD) and ASP solutions to NP-complete problems. Logic Programming, 21st International Conference, ICLP 2005.

A. Bossi, R. Focardi, Carla Piazza, S. Rossi (2004). Verifying Persistent Security Properties. COMPUTER LANGUAGES, SYSTEMS & STRUCTURES.

A Bossi, R Focardi, D Macedonio, Carla Piazza, S. Rossi (2004). Unwinding in Information Flow Security. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Pietro Di Gianantonio, Marino Miculan (2004). Unifying Recursive and Co-recursive Definitions in Sheaf Categories. Proceedings of Int. Converence on Foundations of Software Science and Computation Structures (FoSSaCS 04).

A. Formisano, E. Omodeo, Alberto Policriti (2004). Three-variable statements of set-pairing. THEORETICAL COMPUTER SCIENCE.

M. Antoniotti, Carla Piazza, Alberto Policriti, M. Simeoni, B. Mishra (2004). Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. THEORETICAL COMPUTER SCIENCE.

Michele Morgante, Alberto Policriti, Nicola Vitacolonna, Andrea Zuccolo (2004). Structured Motifs Search. Proc. of the Eighth Annual International Conference on Research in Computational Molecular Biology (RECOMB 2004).

F Gadducci, Marino Miculan, U. Montanari (2004). Some characterization results for permutation algebras. Proceedings of COMETA 2003.

A. Dal Palu, Agostino Dovier, Federico Fogolari (2004). Protein Folding Simulation in CCP. Proceedings of ICLP 2004.

A. Dal Palu, Agostino Dovier, Federico Fogolari (2004). Protein Folding in CLP(FD) with Empirical Contact Energies. Recent Advances in Constraints.

F Honsell, Marina Lenisa, Marino Miculan (2004). Proceedings of the Workshop COMETA Computational Metamodels. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

F Honsell, M Lenisa, Marino Miculan (2004). Proceedings of COMETA 2003. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

C. Braghin, A. Cortesi, R. Focardi, F. L. Luccio, Carla Piazza (2004). Nesting Analysis of Mobile Ambients. COMPUTER LANGUAGES, SYSTEMS & STRUCTURES.

A Bossi, Carla Piazza, S. Rossi (2004). Modelling Downgrading in Information Flow Security. Proc. of Computer Security Foundation Workshop (CSFW04).

R Bruni, Furio Honsell, Marina Lenisa, Marino Miculan (2004). Modeling fresh names in the π-calculus using abstractions. Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS).

A Casagrande, A Balluchi, L Benvenuti, A Policriti, T Villa, A Sangiovanni-Vincentelli (2004). Improving reachability analysis of hybrid automata for engine control. PROCEEDINGS OF THE IEEE CONFERENCE ON DECISION & CONTROL (CDC 2004).

Agostino Dovier, Carla Piazza, E. Pontelli (2004). Disunification in ACI1 Theories. CONSTRAINTS.

F. Avanzini, D. Rocchesso, A. Belussi, A. Dal Palu, Agostino Dovier (2004). Designing an urban-scale auditory alert system. COMPUTER.

Carla Piazza, E. Pivato, S. Rossi (2004). CoPS - Checker of Persistent Security. Tools and Algorithms for the Construction and Analysis of Systems (TACAS04).

Alessandro Dal Palù, Agostino Dovier, Federico Fogolari (2004). Constraint Logic Programming approach to protein structure prediction. BMC BIOINFORMATICS.

C Braghin, Carla Piazza (2004). Checking Integrity via CoPS and Banana: the E-Commerce Case Study. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

C Braghin, A Cortesi, R Focardi, F. L. Luccio, Carla Piazza (2004). Behind Banana: Design and Implemantation of a Tool for Nesting Analysis of Mobile Ambients. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Agostino Dovier, Carla Piazza, Alberto Policriti (2004). An Efficient Algorithm for Computing Bisimulation Equivalence. THEORETICAL COMPUTER SCIENCE.

Alberto Policriti, Carla Piazza (2004). Ackermann Encodings, Bisimulations, and OBDDs. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

Furio Honsell, Marino Miculan (2003). Theoretical Computer Science: Preface. Theoretical Computer Science.

Agostino Dovier, Carla Piazza (2003). The Subgraph Bisimulation Problem. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING.

Furio Honsell, Marino Miculan (2003). Special Issue of Theoretical Computer Science on FOSSACS 2001. Springer-Verlag.

G. Goguadze, Carla Piazza, Y. Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. THE JOURNAL OF SYMBOLIC LOGIC.

A. Bossi, D. Macedonio, Carla Piazza, S. Rossi (2003). Secure Contexts for Confidential Data. Proc. of Computer Security Foundations Workshop (CSFW 2003).

A. Bossi, R. Focardi, Carla Piazza, S. Rossi (2003). Refinement Operators and Information Flow Security. Proc. of Software Engineering and Formal Methods (SEFM03).

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan (2003). Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax. Proceedings of MERLIN 2003.

M. Antoniotti, B. Mishra, Carla Piazza, Alberto Policriti, M. Simeoni (2003). Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS.

M. Antoniotti, Alberto Policriti, N. Ugel, B. Mishra (2003). Model building and model checking for biochemical processes. CELL BIOCHEMISTRY AND BIOPHYSICS.

F Honsell, Marino Miculan, A. Momigliano (2003). MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences). ACM.

Agostino Dovier, E Pontelli, G. Rossi (2003). Intensional Sets in CLP. 19th International Conference on Logic Programming.

A DAL PALU', Agostino Dovier, E Pontelli, G. Rossi (2003). Integrating Finite Domain Constraints and CLP with Sets. Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.

A. Bossi, D. Macedonio, Carla Piazza, S. Rossi (2003). Information Flow Security and Recursive Systems. Proc. of Theoretical Computer Science, 8th Italian Conference.

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan (2003). Imperative Object-based Calculi in (Co)Inductive Type Theories. Proc. International Conference on Logic for Programming, Artificial Intelligence and Reasoning.

R. Gentilini, Carla Piazza, Alberto Policriti (2003). From Bisimulation to Simulation: Coarsest Partition Problems. JOURNAL OF AUTOMATED REASONING.

M. Antoniotti, B. Mishra, F. Park, Alberto Policriti, N. Ugel (2003). Foundations of a query and simulation system for the modeling of biochemical and biological processes. Proceedings of the Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

R Gentilini, Carla Piazza, Alberto Policriti (2003). Computing strongly connected components in a linear number of symbolic steps. ACM-SIAM Symposium on Discrete Algoriethkms.

C. Braghin, A. Cortesi, R. Focardi, F. L. Luccio, Carla Piazza (2003). Complexity of Nesting Analysis in Mobile Ambients. Proc. of Verification, Model Checking, and Abstract Interpretation (VMCAI'03).

Agostino Dovier (2003). Book review: Set Theory for Computing. by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001.. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

A. Bossi, R. Focardi, Carla Piazza, S. Rossi (2003). Bisimulation and Unwinding for Verifying Possibilistic Security Properties. Proc. of Verification, Model Checking, and Abstract Interpretation (VMCAI03).

C. Braghin, A. Cortesi, S. Filippone, R. Focardi, F. L. Luccio, Carla Piazza (2003). BANANA - A Tool for Boundary Ambients Nesting ANAlysis. Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 03).

Pietro Di Gianantonio, Marino Miculan (2003). A Unifying Approach to Recursive and Co-recursive Definitions. Proceedings of TYPES 2002.

Bud Mishra, Raoul Sam Daruwala, Yi Zhou, Nadia Ugel, Alberto Policriti, Marco Antoniotti, Salvatore Paxia, Marc Rejali, Archisman Rudra, Vera Cherepinsky, Naomi Silver, William Casey, Carla Piazza, Marta Simeoni, Paolo Barbano, Marina Spivak, Jiawu Feng, Ofer Gill, Mysore Venkatesh, Fang Cheng, Bing Sun, Iuliana Ioniata, Thomas Anantharaman, E. Jane Albert Hubbard, Amir Pnueli, David Harel, Vijay Chandru, Ramesh Hariharan, Michael Wigler, Frank Park, Shih Chieh Lin, Yuri Lazebnik, Franz Winkler, Charles R Cantor, Alessandra Carbone, Mikhael Gromov (2003). A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes. OMICS.

A. Bossi, R. Focardi, Carla Piazza, S. Rossi (2003). A Proof System for Information Flow Security. Post Proc. of Logic Based Program Synthesis and Tranformation (LOPSTR02).

Marino Miculan, Ivan Scagnetto (2003). A Framework for Typed HOAS and Semantics. Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming.

M. Antoniotti, B. Mishra, Alberto Policriti, N. Ugel (2002). Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior. Proceedings of HiPC 2002.

Agostino Dovier, M. Burato, Federico Fogolari (2002). Using Secondary Structure Information for Protein Folding in CLP(FD). 11th International Workshop on Functional and (constraint) Logic Programming.

A. Bossi, R. Focardi, Carla Piazza, S. Rossi (2002). Transforming Processes to Check and Ensure Information Flow Security. Proc. of Algebraic Methodology and Software Technology (AMAST'02).

Marina Lenisa, Marino Miculan (2002). TOSCA 2001. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

F Fabris, Angelo Montanari, Alberto Policriti, J Reid, C. Schneider (2002). The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks. AIIA NOTIZIE.

R Gentilini, Carla Piazza, Alberto Policriti (2002). Simulation Reduction as Constraint. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

R. Gentilini, Carla Piazza, Alberto Policriti (2002). Simulation as Coarsest Partition Problem. Proceedings of teh 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,.

Agostino Dovier, R Gentilini, Carla Piazza, Alberto Policriti (2002). Rank-Based Symbolic Bisimulation (and Model Checking). ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

R. Focardi, Carla Piazza, S. Rossi (2002). Proofs Methods for Bisimulation Based Information Flow Security. Proc. of Verification, Model Checking, and Abstract Interpretation (VMCAI 2002).

A. Cortesi, Agostino Dovier, E. Quintarelli, L. Tanca (2002). Operational and abstract semantics of the query language G-Log. THEORETICAL COMPUTER SCIENCE.

Alessandra Burelli, Marino Miculan (2002). Frecuencis lessicâls dal furlan scrit. GJORNÂL FURLAN DES SIENCIS.

Angelo Montanari, A. Peron, Alberto Policriti (2002). Extending Kamp's Theorem to Model Time Granularity. JOURNAL OF LOGIC AND COMPUTATION.

Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna (2002). Decidability of Interval Temporal Logics over Split-Frames via Granularity. Logics in Artificial Intelligence, European Conference, JELIA 2002.

A. Montanari, G. Sciavicco, Nicola Vitacolonna (2002). Decidability of interval temporal logics over split-frames via granularity. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Carla Piazza (2002). Computing in Non Standard Set Theories. Forum Editrice Universitaria Udinese.

R Bruni, F Honsell, Marina Lenisa, Marino Miculan (2002). Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. TOSCA 2001.

Michele Morgante, Alberto Policriti, Nicola Vitacolonna, Andrea Zuccolo (2002). Automated Search for LTR Retrotransposons. AIIA Notizie*.

Ivan Scagnetto, Marino Miculan (2002). Ambient Calculus and its Logic in the Calculus of Inductive Constructions. Proceedings of LFM 2002.

Angelo Montanari, Alberto Policriti, M. Slanina (2002). Alternative Translation Techniques for Propositional and First-Order Modal Logics. JOURNAL OF AUTOMATED REASONING.

Furio Honsell, Marino Miculan, Ivan Scagnetto (2001). The Theory of Contexts for First Order and Higher Order Abstract Syntax. TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types.

D. Cantone, E. G. Omodeo, Alberto Policriti (2001). Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets. Springer-Verlag.

F Honsell, Marino Miculan (2001). Proceedings of FOSSACS 2001. LECTURE NOTES IN COMPUTER SCIENCE.

F Honsell, Marino Miculan, Ivan Scagnetto (2001). pi-calculus in (Co)Inductive Type Theories. THEORETICAL COMPUTER SCIENCE.

Marino Miculan (2001). On the formalization of the modal mu-calculus in the calculus of inductive constructions. INFORMATION AND COMPUTATION.

Agostino Dovier, Carla Piazza, G. Rossi (2001). Multiset rewriting by multiset constraint solving. ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY.

Agostino Dovier, Carla Piazza, G. Rossi (2001). Multiset Constraints and P Systems. Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View.

M Falaschi, Alberto Policriti, A. Villanueva (2001). Modelling concurrent systems specified in a temporal concurrent constraint language -I. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Agostino Dovier, E. Quintarelli (2001). Model Checking Based Data Retrieval. Database Programming Languages, 8th International Workshop, DBPL 2001,.

Marino Miculan (2001). Developing (Meta)Theory of lambda-calculus in the Theory of Contexts. Proceedings of the Workshop on MEchanized Reasoning about Languages with variable bINding.

M. Bicego, Agostino Dovier, V. Murino (2001). Designing the minimal structure of hidden Markov model by bisimulation. ENERGY MINIMIZATION METHODS IN COMPUTER VISION AND PATTERN RECOGNITION.

Agostino Dovier, E. Pontelli, G. Rossi (2001). Constructive negation and constraint logic programming with sets. NEW GENERATION COMPUTING.

Furio Honsell, Marino Miculan, Ivan Scagnetto (2001). An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. Automata, Languages and Programming.

Carla Piazza, Alberto Policriti (2001). Ackermann Encoding, Bisimulations, and OBDD's. Proceedings of the The Second International Workshop on Verification and Computational Logic.

Angelo Montanari, Alberto Policriti (2001). A logical approach to time granularity.

Agostino Dovier, Carla Piazza, Alberto Policriti (2001). A Fast Bisimulation Algorithm. COMPUTER AIDED VERIFICATION, PROCEEDINGS.

Carla Piazza, Alberto Policriti (2000). Towards tableau-based decision procedures for non-well-founded fragments of set theory. Proceedings of Tableaux 2000.

Angelo Montanari, Adriano Peron, Alberto Policriti (2000). The taming (timing) of the states. LOGIC JOURNAL OF THE IGPL.

Angelo Montanari, Alberto Policriti, M. Slanina (2000). Supporting automated deduction in first-order modal logics. KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference.

Agostino Dovier, Carla Piazza, E. Pontelli, G. Rossi (2000). Sets and Constraint Logic Programming. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS.

M. Falaschi, Alberto Policriti, A. Villanueva (2000). Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language. Proceedings of AGP 2000.

Agostino Dovier, Carla Piazza, Alberto Policriti (2000). Comparing Expressiveness of Set Constructor Symbols. Proc. of Frontiers of Combining Systems, Third International Workshop (FroCoS 2000).

Agostino Dovier, E. Pontelli, G. Rossi (2000). A Necessary Condition for Constructive Negation in Constraint Logic Programming. INFORMATION PROCESSING LETTERS.

Angelo Montanari, A Peron, Alberto Policriti (1999). Theories of omega-layered metric temporal structures. LOGIC JOURNAL OF THE IGPL.

A. Formisano, Alberto Policriti (1999). T-resolution: refinements and model elimination. JOURNAL OF AUTOMATED REASONING.

Agostino Dovier, E. Omodeo, Alberto Policriti (1999). Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING.

Giovanna D'Agostino, Angelo Montanari, Alberto Policriti (1999). Modal Logic and Set Theory: a Set-Theoretic Interpretation of Modal Logic Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem. Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem.

D. Aliffi, Agostino Dovier, G. Rossi (1999). From Set to Hyperset Unification. JOURNAL OF FUNCTIONAL AND LOGIC PROGRAMMING.

Marino Miculan (1999). Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions. Automata, Languages and Programming.

Alberto Giulio Marcone, Franco Parlamento, Alberto Policriti (1999). Finite families with few symmetric differences. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY.

Angelo Montanari, Alberto Policriti, Y. Venema (1999). Editorial. LOGIC JOURNAL OF THE IGPL.

Agostino Dovier, Carla Piazza, E. Pontelli, G. Rossi (1999). ACI1 Constraints. Proc. of 16th International Conference on Logic Programming (ICLP'99).

Agostino Dovier, Carla Piazza, E. Pontelli, G. Rossi (1998). On the Representation and Management of Finite Sets in CLP-languages. Proceedings of 1998 Joint International Conference and Symposium on Logic Programming.

J. VAN BENTHEM, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti (1998). Modal deduction in second-order logic and set theory. II. STUDIA LOGICA.

Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano (1998). Encoding Modal Logics in Logical Frameworks. STUDIA LOGICA.

Agostino Dovier, Alberto Policriti, G. Rossi (1998). A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm. FUNDAMENTA INFORMATICAE.

Sanchez Puri Arenas, Agostino Dovier (1998). A Minimality Study for Set Unification. JOURNAL OF FUNCTIONAL PROGRAMMING.

Franco Parlamento, Alberto Policriti, Kpsb Rao (1997). Witnessing differences without redundancies. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY.

Angelo Montanari, Alberto Policriti (1997). Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review). THE JOURNAL OF SYMBOLIC LOGIC.

Agostino Dovier, A. Formisano, Alberto Policriti (1997). On T Logic Programming. Proceedings of 1997 International Logic Programming Symposium.

J. VAN BENTHEM, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti (1997). Modal deduction in second-order logic and set theory. I. JOURNAL OF LOGIC AND COMPUTATION.

Marino Miculan (1997). Encoding logical theories of programs. Università degli Studi di Pisa.

Angelo Montanari, Alberto Policriti (1997). Book review: Temporal logic. From ancient ideas to artificial intelligence. THE JOURNAL OF SYMBOLIC LOGIC.

Angelo Montanari, Alberto Policriti (1997). A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. Proceedings of IJCAI'97: 15th International Conference on Artificial Intelligence.

Giovanna D'Agostino, Angelo Montanari, Alberto Policriti (1996). Set-theoretic decidability results for modal theorem proving. Theoretical computer science (Ravello, 1995).

Dovier Agostino, E. G. Omodeo, G. Rossi (1996). log: A Language for Programming in Logic with Finite Sets. JOURNAL OF LOGIC PROGRAMMING.

Agostino Dovier, Alberto Policriti, G. Rossi (1996). Integrating lists, multisets, and sets in a logic programming framework.. Frontier of Combining Systems 1996.

Angelo Montanari, Alberto Policriti (1996). Decidability results for metric and layered temporal logics. NOTRE DAME JOURNAL OF FORMAL LOGIC.

E. Omodeo, Franco Parlamento, Alberto Policriti (1996). Decidability of E*A-sentences in Membership Theories. MATHEMATICAL LOGIC QUARTERLY.

Dikran Dikranjan, Alberto Policriti (1996). Complementation in the lattice of equivalence relations. DISCRETE MATHEMATICS.

Furio Honsell, Marino Miculan (1996). A natural deduction approach to dynamic logic. International Workshop on Types for Proofs and Programs (TYPES 95).

Alberto Policriti, J. T. Schwartz (1995). T-theorem proving. I. JOURNAL OF SYMBOLIC COMPUTATION.

Marino Miculan, F. Gadducci (1995). Modal μ-types for processes. 10th Annual IEEE Symposium on Logic in Computer Science: proceedings.

P Arenas Sanchez, Agostino Dovier (1995). Minimal set unification. 7th International Symposium on Programming Languages - Implementations, Logics and Programs.

Giovanna D'Agostino, Angelo Montanari, Alberto Policriti (1995). A set-theoretic translation method for polymodal logics. JOURNAL OF AUTOMATED REASONING.

Giovanna D'Agostino, Angelo Montanari, Alberto Policriti (1995). A set-theoretic translation method for (poly)modal logics. 12th Symposium on Theoretical Aspects of Computer Science (STACS).

Marino Miculan (1994). The expressive power of structural operational semantics with explicit assumptions. Types for Proofs and Programs (TYPES 1993).

P. Bruscoli, Agostino Dovier, E. Pontelli, G. Rossi (1994). Compiling Intensional Sets in CLP. Logic Programming: Proceedings of the Eleventh International Conference.

Franco Parlamento, Alberto Policriti (1993). Undecidability Results for Restricted Universally Quantified Formulae of Set Theory. COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS.

Agostino Dovier, G. Rossi (1993). Embedding extensional finite sets in CLP. Proc. of 1993 International Logic Programming Symposium.

Agostino Dovier, E. Pontelli (1993). A WAM based Implementation of a Logic Language with Sets. Fifth International Symposioum on Programming Language Implementation and Logic Programming.

Agostino Dovier (1993). A language with Finite Sets embedded in the CLP-scheme. Extension of Logic Programming.

E Omodeo, Franco Parlamento, Alberto Policriti (1993). A derived algorithm for evaluating epsilon-expressions over abstract sets. JOURNAL OF SYMBOLIC COMPUTATION.

Agostino Dovier, E. G. Omodeo, E. Pontelli, G. Rossi (1992). Embedding Finite Sets in a Logic Programming Language. Extensions of Logic Programming.

Agostino Dovier, E. G. Omodeo, E. Pontelli, G. Rossi (1991). log: A Logic Programming Language with Finite Sets. Logic Programming: Proceedings of the Eighth International Conference.

Franco Parlamento, Alberto Policriti (1991). Expressing Infinity without Foundation. THE JOURNAL OF SYMBOLIC LOGIC.

Franco Parlamento, Alberto Policriti (1991). Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability.. JOURNAL OF AUTOMATED REASONING.

E Omodeo, Franco Parlamento, Alberto Policriti (1990). Truth Table for a Combinatorial Kernel of Set Theories. Proceeding of the European Conference on Artificial Intelligence ECAI 90.

D Cantone, E Omodeo, Alberto Policriti (1990). The Automation of Syllogistic II. Optimization and Complexity Issues. JOURNAL OF AUTOMATED REASONING.

Franco Parlamento, Alberto Policriti (1990). Note on: The Logically Simplest Form of the Infinity Axiom. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY.

E Omodeo, Franco Parlamento, Alberto Policriti (1990). A contribution to the Automated Treatment of Membership Theories. Atti del V Convegno sulla programmazione Logica- Padova 6-8.6.1990.

Franco Parlamento, Alberto Policriti (1988). The Logically Simplest Form of the Infinity Axiom. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY.

Franco Parlamento, Alberto Policriti (1988). Secision Procedures for Elementary Sublanguages of Set Theory XI. Unsolvability of the Decision Problem for a Restricted Subclass of the Delta_0-Formulas in Set Theory. COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS.

F Parlamento, Alberto Policriti (1988). Decision Procedures for Elementary Sublanguages of Set Theory. IX. Unsolvability of the decision problem for a restricted subclass of delta-0 formulas of set theory.. COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS.

D Cantone, V Cutello, Alberto Policriti (1988). Decidability results for classes of purely universal formulae and quantifiers elimination in Set Theory. LE MATEMATICHE.

Alberto Policriti (1987). Completeness and Decidability of the Deducibility Problem for Some Classes of Formulas of Set Theory. LE MATEMATICHE.