Maurizio Gabbrielli

Proceedings of the Artificial Intelligence in Education - 23rd International Conference, 2022

2021

Image-based many-language programming language identification.

[BibT_eX]

[DOI]

Francesca Del Bonifro

Antonio Lategano

Stefano Zacchiroli

PeerJ Comput. Sci., 2021

sunny-as2: Enhancing SUNNY for Algorithm Selection.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

Content-Based Textual File Type Detection at Scale.

[BibT_eX]

[DOI]

Francesca Del Bonifro

Stefano Zacchiroli

Proceedings of the ICMLC 2021: 13th International Conference on Machine Learning and Computing, 2021

2020

Dynamic Slicing for Concurrent Constraint Languages.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Multimodal Side- Tuning for Document Classification.

[BibT_eX]

[DOI]

Stefano Pio Zingaro

Giuseppe Lisanti

Proceedings of the 25th International Conference on Pattern Recognition, 2020

Student Dropout Prediction.

[BibT_eX]

[DOI]

Francesca Del Bonifro

Giuseppe Lisanti

Stefano Pio Zingaro

Proceedings of the Artificial Intelligence in Education - 21st International Conference, 2020

2019

Constraint Programming for Flexible Service Function Chaining Deployment.

[BibT_eX]

[DOI]

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Federated Platooning: Insider Threats and Mitigations.

[BibT_eX]

[DOI]

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

No More, No Less - A Formal Model for Serverless Computing.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2019

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

SUNNY-CP and the MiniZinc challenge.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

A Language-based Approach for Interoperability of IoT Platforms.

[BibT_eX]

[DOI]

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Applied Choreographies.

[BibT_eX]

[DOI]

Saverio Giallorenzo

Fabrizio Montesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Dynamic Choreographies: Theory And Implementation.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Smart mobility for all: A global federated market for mobility-as-a-service operators.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Int. J. Interact. Multim. Artif. Intell., 2016

Portfolio approaches for constraint optimization problems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2016

Slicing Concurrent Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Parallelizing Constraint Solvers for Hard RCPSP Instances.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Self-Reconfiguring Microservices.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Unfolding for CHR programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Timed soft concurrent constraint programs: An interleaved and a parallel approach.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Developing correct, distributed, adaptive software.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

SUNNY-CP 2: a Parallel CP Portfolio Solver.

[BibT_eX]

[DOI]

CoRR, 2015

SUNNY-CP: a sequential CP portfolio solver.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

A Multicore Tool for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Feature Selection for SUNNY: A Study on the Algorithm Selection Library.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2015

SUNNY for algorithm selection: a preliminary study.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014

SUNNY: a Lazy Portfolio Approach for Constraint Solving.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Probabilistic Recursion Theory and Implicit Computational Complexity.

[BibT_eX]

[DOI]

Ugo Dal Lago

Sara Zuppiroli

Sci. Ann. Comput. Sci., 2014

Deadlock Freedom by Construction for Distributed Adaptive Applications.

[BibT_eX]

[DOI]

CoRR, 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 7th International Conference, 2014

An enhanced features extractor for a portfolio of constraint solvers.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns.

[BibT_eX]

[DOI]

Saverio Giallorenzo

Fabrizio Montesi

Proceedings of the Distributed Computing and Artificial Intelligence, 2014

Towards a Composition-based APIaaS Layer.

[BibT_eX]

[DOI]

Claudio Guidi

Saverio Giallorenzo

Proceedings of the CLOSER 2014, 2014

Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing.

[BibT_eX]

[DOI]

Int. J. Interact. Multim. Artif. Intell., 2013

The expressive power of CHR with priorities.

[BibT_eX]

[DOI]

Inf. Comput., 2013

SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs.

[BibT_eX]

[DOI]

CoRR, 2013

Features for Building CSP Portfolio Solvers.

[BibT_eX]

[DOI]

CoRR, 2013

Fast Post-Disaster Emergency Vehicle Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2013

An Empirical Evaluation of Portfolios Approaches for Solving CSPs.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2012

On the Expressive Power of Multiple Heads in CHR.

[BibT_eX]

[DOI]

Cinzia Di Giusto

ACM Trans. Comput. Log., 2012

Service integration via target-transparent mediation.

[BibT_eX]

[DOI]

Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Interface-Based Service Composition with Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

A Role-Playing Game for a Software Engineering Lab: Developing a Product Line.

[BibT_eX]

[DOI]

Sara Zuppiroli

Paolo Ciancarini

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011

Graceful Interruption of Request-Response Service Interactions.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

An Efficient Management of Correlation Sets with Broadcast.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Solving XCSP problems by using Gecode.

[BibT_eX]

[DOI]

Massimo Morara

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Programming Languages: Principles and Paradigms.

[BibT_eX]

[DOI]

Simone Martini

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84882-914-5, 2010

Decidability properties for fragments of CHR.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Concurrent and Reactive Constraint Programming.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Frank D. Valencia

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

A compositional semantics for CHR.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Foreword.

[BibT_eX]

[DOI]

Moreno Falaschi

Catuscia Palamidessi

Theor. Comput. Sci., 2009

On the expressive power of recursion, replication and iteration in process calculi.

[BibT_eX]

[DOI]

Nadia Busi

Gianluigi Zavattaro

Math. Struct. Comput. Sci., 2009

Expressiveness of Multiple Heads in CHR.

[BibT_eX]

[DOI]

Cinzia Di Giusto

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

On the expressive power of priorities in CHR.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

The <i>kappa</i>-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

A Compositional Semantics for CHR with Propagation Rules.

[BibT_eX]

[DOI]

Paolo Tacchella

Proceedings of the Constraint Handling Rules, 2008

Full Abstraction for Linda.

[BibT_eX]

[DOI]

Cinzia Di Giusto

Proceedings of the Programming Languages and Systems, 2008

Timed Soft Concurrent Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

Unfolding in CHR.

[BibT_eX]

[DOI]

Paolo Tacchella

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2006

2005

A compositional semantics for CHR.

[BibT_eX]

[DOI]

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Compositional Verification of Asynchronous Processes via Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

Proving correctness of timed concurrent constraint programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2004

A Timed Linda Language and its Denotational Semantics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Comparing Recursion, Replication, and Iteration in Process Calculi.

[BibT_eX]

[DOI]

Nadia Busi

Gianluigi Zavattaro

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

Compositional Verification of Infinite State Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Replication vs. Recursive Definitions in Channel Based Calculi.

[BibT_eX]

[DOI]

Nadia Busi

Gianluigi Zavattaro

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2001

Transformations of CCP programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2001

Comparative analysis of the expressiveness of shared dataspace coordination.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Denotational Semantics for Timed Linda.

[BibT_eX]

[DOI]

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

2000

A Timed Concurrent Constraint Language.

[BibT_eX]

[DOI]

Inf. Comput., 2000

A Timed Linda Language.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Layered Modes.

[BibT_eX]

[DOI]

J. Log. Program., 1999

1998

Preface.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, 1998

Partial Evaluation of Concurrent Constraint Languages.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1998

Dynamic web sites.

[BibT_eX]

[DOI]

Massimo Marchiori

Proceedings of the Query Languages Workshop, Boston, 1998

Unfold/Fold Transformations of CCP Programs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Proving Concurrent Constraint Programs Correct.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1997

Confluence in Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.

[BibT_eX]

[DOI]

Inf. Comput., 1997

Infinite computations in concurrent constraint programming.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

A Transformation System for CLP with Dynamic Scheduling and CCP.

[BibT_eX]

[DOI]

Elena Marchiori

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Semantics and Expressive Power of a Timed Concurrent Constraint Language.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Transformations of CLP Modules.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Differential Logic Programs: Programming Methodologies and Semantics.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1996

Resultants Semantics for Prolog.

[BibT_eX]

[DOI]

J. Log. Comput., 1996

A Closer Look at Declarative Interpretations.

[BibT_eX]

[DOI]

Krzysztof R. Apt

Dino Pedreschi

J. Log. Program., 1996

On the Correctness of the Replacement Operation for CLP Modules.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 1996

Proving Correctness of Constraint Logic Programs with Dynamic Scheduling.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Proceedings of the Static Analysis, Third International Symposium, 1996

1995

Observable Behaviors and Equivalences of Logic Programs

[BibT_eX]

[DOI]

Inf. Comput., October, 1995

Observable Semantics for Constraint Logic Programs.

[BibT_eX]

[DOI]

Giovanna M. Dore

J. Log. Comput., 1995

Modelling Real-Time in Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

The Replacement Operation for CLP Modules.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

A Transformation System for Modular CLP Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1995

Modeling Real-Time in Concurrent Constraint Programming.

[BibT_eX]

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

A Compositional Semantics for Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

The s-Semantics Approach: Theory and Applications.

[BibT_eX]

[DOI]

J. Log. Program., 1994

Goal independency and call patterns in the analysis of logic programs.

[BibT_eX]

[DOI]

Roberto Giacobazzi

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Denotational semantics for Concurrent Constraint Programs analyses.

[BibT_eX]

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Proving correctness of Concurrent Constraint Programs.

[BibT_eX]

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Declarative Interpretations Reconsidered.

[BibT_eX]

Krzysztof R. Apt

Proceedings of the Logic Programming, 1994

Confluence and Concurrent Constraint Programming.

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Modular Transformations of CLP Programs.

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Differential Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Compositional Analysis for Concurrent Constraint Programming

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Modular Logic Programs on Finite Domains.

[BibT_eX]

Roberto Giacobazzi

Danilo Montesi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

New Semantic Tools for Logic Programming.

[BibT_eX]

[DOI]

Maurizio Martelli

Proceedings of the Sematics: Foundations and Applications, 1992

A Two Steps Semantics for Logic Programs with Negation.

[BibT_eX]

[DOI]

Daniele Turi

Proceedings of the Logic Programming and Automated Reasoning, 1992

Observational Equivalences for Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1992

Contributions to the Semantics of Open Logic Programs.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1992

1991

A Solved Form Algorithm for Ask and Tell Herbrand Constraints.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes.

[BibT_eX]

[DOI]

Antonio Brogi

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Modeling Answer Constraints in Constraint Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1991

An OR-Compositional Semantics for Logic Programs.

[BibT_eX]

Proceedings of the Constructing Logic Programs, 1991

On the Semantics of Logic Programs.

[BibT_eX]

[DOI]