Francesco Calimeri

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 87

Top Venues

CoRR

Theory Pract. Log. Program.

AI*IA

RuleML+RR

Publications

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. PADL (2024)
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
LLASP: Fine-tuning Large Language Models for Answer Set Programming. CoRR (2024)
Fabio Stella, Francesco Calimeri, Mauro Dragoni
Special issue on learning from multiple data sources for decision making in health care. J. Biomed. Informatics 153 (2024)
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. Artif. Intell. Law 32 (2) (2024)
Pierangela Bruno, Edoardo De Rose, Carlo Adornetto, Francesco Calimeri, Sandro Donato, Raffaele Giuseppe Agostino, Daniela Amelio, Riccardo Barberi, Maria Carmela Cerra, Maria Caterina Crocco, Mariacristina Filice, Raffaele Filosa, Gianluigi Greco, Sandra Imbrogno, Vincenzo Formoso
μ-Net: A Deep Learning-Based Architecture for μ-CT Segmentation. CoRR (2024)
Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Efficient compliance checking of RDF data. J. Log. Comput. 33 (8) (2023)
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms 16 (3) (2023)
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri
Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming. CoRR (2023)
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring. Big Data Cogn. Comput. 7 (3) (2023)
Carlo Adornetto, Pierangela Bruno, Francesco Calimeri, Edoardo De Rose, Gianluigi Greco
Artificial Intelligence in Medicine: From Imaging to Omics. Ital-IA (2023)
Tobias Roß, Pierangela Bruno, Annika Reinke, Manuel Wiesenfarth, Lisa Koeppel, Peter M. Full, Bünyamin Pekdemir, Patrick Godau, Darya Trofimova, Fabian Isensee, Tim J. Adler, Thuy Nuong Tran, Sara Moccia, Francesco Calimeri, Beat P. Müller-Stich, Annette Kopp-Schneider, Lena Maier-Hein
Beyond rankings: Learning (more) from algorithm validation. Medical Image Anal. 86 (2023)
Alessandro Quarta, Pierangela Bruno, Francesco Calimeri
Continual Learning for medical image classification. HC@AIxIA (2022)
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
Taking stock of available technologies for compliance checking on first-order knowledge. CILC (2022)
Pierangela Bruno, Maria Francesca Spadea, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Giuseppe Gargiulo, Giuseppe Giugliano, Giovanni Esposito, Francesco Calimeri, Paolo Zaffino
Assessing vascular complexity of PAOD patients by deep learning-based segmentation and fractal dimension. Neural Comput. Appl. 34 (24) (2022)
Moiz Khan Sherwani, Aldo Marzullo, Elena De Momi, Francesco Calimeri
Lesion segmentation in lung CT scans using unsupervised adversarial learning. Medical Biol. Eng. Comput. 60 (11) (2022)
Pierangela Bruno, Francesco Calimeri, Cinzia Marte
DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models. LPNMR (2022)
Francesco Calimeri, Simona Perri, Ester Zumpano
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020). J. Log. Comput. 32 (2) (2022)
Alice Segato, Francesco Calimeri, Irene Testa, Valentina Corbetta, Marco Riva, Elena De Momi
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments. Auton. Robots 46 (5) (2022)
Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL (2022)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. PPDP (2022)
Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities. RuleML+RR (2022)
Marco Scarfone, Pierangela Bruno, Francesco Calimeri
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images. HYDRA/RCRA@LPNMR (2022)
Daniele Cafolla, Francesco Calimeri, Huiping Cao, Matteo Russo, Dominique Sappey-Marinier, Paolo Zaffino
Editorial: Hot topic: Reducing operating times and complication rates through robot-assisted surgery. Frontiers Robotics AI 9 (2022)
Daniele Cafolla, Francesco Calimeri, Huiping Cao, Matteo Russo, Dominique Sappey-Marinier, Paolo Zaffino
Editorial: Hot topic: Reducing operating times and complication rates through robot-assisted surgery. Future Internet 9 (2022)
Francesco Calimeri, Marco Manna, Simona Perri
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Theory Pract. Log. Program. 21 (4) (2021)
Tobias Roß, Pierangela Bruno, Annika Reinke, Manuel Wiesenfarth, Lisa Koeppel, Peter M. Full, Bünyamin Pekdemir, Patrick Godau, Darya Trofimova, Fabian Isensee, Sara Moccia, Francesco Calimeri, Beat P. Müller-Stich, Annette Kopp-Schneider, Lena Maier-Hein
How can we learn (more) from challenges? A statistical approach to driving future algorithm development. CoRR (2021)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
I-DLV-sr: A Stream Reasoning System based on I-DLV. Theory Pract. Log. Program. 21 (5) (2021)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
I-DLV-sr: A Stream Reasoning System based on I-DLV. CoRR (2021)
Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi
Optimized 3D path planner for steerable catheters with deductive reasoning. ICRA (2021)
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Marco Manna
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images. RuleML+RR (2021)
Aldo Marzullo, Sara Moccia, Michele Catellani, Francesco Calimeri, Elena De Momi
Towards realistic laparoscopic image generation using image-domain translation. Comput. Methods Programs Biomed. 200 (2021)
Aldo Marzullo, Martina Golini, Michele Catellani, Elena De Momi, Francesco Calimeri, Giuseppe Fiameni, Iuri Frosio
Standard vs. Learning-based Codecs for Real Time Endoscopic Video Transmission. AIABI@AI*IA (2021)
Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Françoise Durand-Dubief, Dominique Sappey-Marinier
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders. Theory Pract. Log. Program. 21 (1) (2021)
Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri
A Machine Learning guided Rewriting Approach for ASP Logic Programs. ICLP Technical Communications (2020)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. Theory Pract. Log. Program. 20 (2) (2020)
Pierangela Bruno, Cinzia Marte, Francesco Calimeri
Understanding Automatic COVID-19 Classification Using Chest X-ray images. XAI.it@AI*IA (2020)
Pierangela Bruno, Francesco Calimeri, Alexandre Sébastien Kitanidis, Elena De Momi
Understanding Automatic Diagnosis and Classification Processes with Data Visualization. ICHMS (2020)
Pierangela Bruno, Francesco Calimeri, Alexandre Sébastien Kitanidis, Elena De Momi
Data reduction and data visualization for automatic diagnosis using gene expression and clinical data. Artif. Intell. Medicine 107 (2020)
Pierangela Bruno, Francesco Calimeri
Understanding Automatic Pneumonia Classification Using Chest X-Ray Images. AI*IA (2020)
Moiz Khan Sherwani, Paolo Zaffino, Pierangela Bruno, Maria Francesca Spadea, Francesco Calimeri
Evaluating the Impact of Training Loss on MR to Synthetic CT Conversion. LOD (1) (2020)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20 (2) (2020)
Jorge F. Lazo, Aldo Marzullo, Sara Moccia, Michele Catellani, Benoit Rosa, Francesco Calimeri, Michel de Mathelin, Elena De Momi
A Lumen Segmentation Method in Ureteroscopy Images based on a Deep Residual U-Net architecture. ICPR (2020)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Querying Large Expressive Horn Ontologies. SEBD (2019)
Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Françoise Durand-Dubief, Dominique Sappey-Marinier
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders. CoRR (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large Scale DLV: Preliminary Results. CILC (2019)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. CoRR (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. Theory Pract. Log. Program. 19 (5-6) (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. CoRR (2019)
Francesco Calimeri, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. Theory Pract. Log. Program. 19 (4) (2019)
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
An ASP-based Approach for Optimizing DLV Evaluation. CILC (2019)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. New Gener. Comput. 37 (1) (2019)
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
Pierangela Bruno, Francesco Calimeri
Using Heatmaps for Deep Learning based Disease Classification. CIBCB (2019)
Aldo Marzullo, Gabriel Kocevar, Claudio Stamile, Francesco Calimeri, Giorgio Terracina, Françoise Durand-Dubief, Dominique Sappey-Marinier
Prediction of Multiple Sclerosis Patient Disability from Structural Connectivity using Convolutional Neural Networks. EMBC (2019)
Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
Developing ASP Programs with ASPIDE and LoIDE. Künstliche Intell. 32 (2-3) (2018)
Pierangela Bruno, Paolo Zaffino, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Francesco Calimeri, Maria Francesca Spadea
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation. RiCeRcA@AI*IA (2018)
Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari
How Modern Deductive Database Systems Can Enhance Data Integration. SEBD (2018)
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
Efficiently Coupling the I-DLV Grounder with ASP Solvers. CoRR (2018)
Pierangela Bruno, Francesco Calimeri, Aldo Marzullo
Classification and Survival Prediction in Diffuse Large B-Cell Lymphoma by Gene Expression Profiling. LOD (2018)
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach. AI*IA (2018)
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Francesco Calimeri, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. CoRR (2018)
Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
Graph based neural networks for automatic classification of multiple sclerosis clinical courses. ESANN (2018)
Stefano Germano, Francesco Calimeri, Eliana Palermiti
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. PADL (2018)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
Optimizing Answer Set Computation via Heuristic-Based Decomposition. PADL (2018)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Reasoning over Ontologies with DLV. IC3K (2018)
Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis. RuleML+RR (2018)
Pierangela Bruno, Paolo Zaffino, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Francesco Calimeri, Maria Francesca Spadea
Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images. AI*IA (2018)
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Integrating Rule-Based AI Tools into Mainstream Game Development. RuleML+RR (2018)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
A Framework for Easing the Development of Applications Embedding Answer Set Programming. CoRR (2017)
Francesco Calimeri, Mirco Caracciolo, Aldo Marzullo, Claudio Stamile
BioHIPI: Biomedical Hadoop Image Processing Interface. MOD (2017)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
I-DLV: The new intelligent grounder of DLV. Intelligenza Artificiale 11 (1) (2017)
Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francesco Calimeri, Sabine Van Huffel
A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT). CEC (2017)
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. RCRA@AI*IA (2017)
Stefano Germano, Francesco Calimeri, Eliana Palermiti
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report. CoRR (2017)
Francesco Calimeri, Claudio Starnile, Luca Surace
S-rep model for fundus image analysis. ISSPIT (2017)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
External Computations and Interoperability in the New DLV Grounder. AI*IA (2017)
Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
Biomedical Data Augmentation Using Generative Adversarial Neural Networks. ICANN (2) (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Moiz Khan Sherwani, Petr Sojka, Francesco Calimeri
Semantic Similarities between Locations based on Ontology. RASLAN (2017)
Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
Optic Disc Detection Using Fine Tuned Convolutional Neural Networks. SITIS (2016)
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
A framework for easing the development of applications embedding answer set programming. PPDP (2016)
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. AI*IA (2016)
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
-dlv: The New Intelligent Grounder of dlv. AI*IA (2016)
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. IEEE Trans. Comput. Intell. AI Games 8 (2) (2016)
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
Design and results of the Fifth Answer Set Programming Competition. Artif. Intell. 231 (2016)
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR (2014)
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
The third open answer set programming competition. Theory Pract. Log. Program. 14 (1) (2014)
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
The Design of the Fifth Answer Set Programming Competition. CoRR (2014)
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri
Answer Set Programming and Declarative Problem Solving in Game AIs. PAI@AI*IA (2013)
Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. PAI@AI*IA (2013)
Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca
The Answer Set Programming Competition. AI Mag. 33 (4) (2012)
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
The third open Answer Set Programming competition CoRR (2012)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Finitely recursive programs: Decidability and bottom-up computation. AI Commun. 24 (4) (2011)
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR (2011)
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. 42 (2011)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. AAAI (2010)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR (2009)

Francesco Calimeri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Francesco Calimeri