Maurizio Gabbrielli

According to our database1, Maurizio Gabbrielli authored at least 117 papers between 1990 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Constraint Programming for Flexible Service Function Chaining Deployment.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Federated Platooning: Insider Threats and Mitigations.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

No More, No Less - A Formal Model for Serverless Computing.
Proceedings of the Coordination Models and Languages, 2019

2018
SUNNY-CP and the MiniZinc challenge.
TPLP, 2018

A Language-based Approach for Interoperability of IoT Platforms.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

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

2017
Dynamic Choreographies: Theory And Implementation.
Logical Methods in Computer Science, 2017

Smart mobility for all: A global federated market for mobility-as-a-service operators.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems.
IJIMAI, 2016

Slicing Concurrent Constraint Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Parallelizing Constraint Solvers for Hard RCPSP Instances.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Self-Reconfiguring Microservices.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Unfolding for CHR programs.
TPLP, 2015

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

Developing correct, distributed, adaptive software.
Sci. Comput. Program., 2015

SUNNY-CP: a sequential CP portfolio solver.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

A Multicore Tool for Constraint Solving.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Feature Selection for SUNNY: A Study on the Algorithm Selection Library.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.
Proceedings of the Coordination Models and Languages, 2015

SUNNY for algorithm selection: a preliminary study.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014
SUNNY: a Lazy Portfolio Approach for Constraint Solving.
TPLP, 2014

Probabilistic Recursion Theory and Implicit Computational Complexity.
Sci. Ann. Comp. Sci., 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

An enhanced features extractor for a portfolio of constraint solvers.
Proceedings of the Symposium on Applied Computing, 2014

Portfolio Approaches for Constraint Optimization Problems.
Proceedings of the Learning and Intelligent Optimization, 2014

Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns.
Proceedings of the Distributed Computing and Artificial Intelligence, 2014

Towards a Composition-based APIaaS Layer.
Proceedings of the CLOSER 2014, 2014

Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs.
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.
IJIMAI, 2013

The expressive power of CHR with priorities.
Inf. Comput., 2013

Fast Post-Disaster Emergency Vehicle Scheduling.
Proceedings of the Distributed Computing and Artificial Intelligence, 2013

An Empirical Evaluation of Portfolios Approaches for Solving CSPs.
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.
ACM Trans. Comput. Log., 2012

Service integration via target-transparent mediation.
Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Interface-Based Service Composition with Aggregation.
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.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011
Graceful Interruption of Request-Response Service Interactions.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

An Efficient Management of Correlation Sets with Broadcast.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Solving XCSP problems by using Gecode.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010
Programming Languages: Principles and Paradigms.
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84882-914-5, 2010

Decidability properties for fragments of CHR.
TPLP, 2010

Concurrent and Reactive Constraint Programming.
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.
ACM Trans. Comput. Log., 2009

Foreword.
Theor. Comput. Sci., 2009

On the expressive power of recursion, replication and iteration in process calculi.
Mathematical Structures in Computer Science, 2009

Expressiveness of Multiple Heads in CHR.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

On the expressive power of priorities in CHR.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008
A Compositional Semantics for CHR with Propagation Rules.
Proceedings of the Constraint Handling Rules, 2008

Full Abstraction for Linda.
Proceedings of the Programming Languages and Systems, 2008

Timed Soft Concurrent Constraint Programs.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Unfolding in CHR.
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.
TPLP, 2006

2005
A compositional semantics for CHR.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Compositional Verification of Asynchronous Processes via Constraint Solving.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004
A Timed Linda Language and its Denotational Semantics.
Fundam. Inform., 2004

Comparing Recursion, Replication, and Iteration in Process Calculi.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003
Compositional Verification of Infinite State Systems.
Proceedings of the Logic Programming, 19th International Conference, 2003

Replication vs. Recursive Definitions in Channel Based Calculi.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002
Proving Correctness of Timed Concurrent Constraint Programs.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Transformations of CCP programs.
ACM Trans. Program. Lang. Syst., 2001

Comparative analysis of the expressiveness of shared dataspace coordination.
Electr. Notes Theor. Comput. Sci., 2001

A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Denotational Semantics for Timed Linda.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Proving correctness of timed concurrent constraint programs.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
A Timed Concurrent Constraint Language.
Inf. Comput., 2000

A Timed Linda Language.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1998
Preface.
Electr. Notes Theor. Comput. Sci., 1998

Partial Evaluation of Concurrent Constraint Languages.
ACM Comput. Surv., 1998

Dynamic web sites.
Proceedings of the Query Languages Workshop, Boston, 1998

Unfold/Fold Transformations of CCP Programs.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.
Inf. Comput., 1997

Infinite computations in concurrent constraint programming.
Electr. Notes Theor. Comput. Sci., 1997

A Transformation System for CLP with Dynamic Scheduling and CCP.
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.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Semantics and Expressive Power of a Timed Concurrent Constraint Language.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Transformations of CLP Modules.
Theor. Comput. Sci., 1996

Differential Logic Programs: Programming Methodologies and Semantics.
Sci. Comput. Program., 1996

Resultants Semantics for Prolog.
J. Log. Comput., 1996

A Closer Look at Declarative Interpretations.
J. Log. Program., 1996

On the Correctness of the Replacement Operation for CLP Modules.
Journal of Functional and Logic Programming, 1996

Proving Correctness of Constraint Logic Programs with Dynamic Scheduling.
Proceedings of the Static Analysis, Third International Symposium, 1996

Layered Modes.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Observable Behaviors and Equivalences of Logic Programs
Inf. Comput., October, 1995

Observable Semantics for Constraint Logic Programs.
J. Log. Comput., 1995

Modelling Real-Time in Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1995

The Replacement Operation for CLP Modules.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

A Transformation System for Modular CLP Programs.
Proceedings of the Logic Programming, 1995

Confluence in Concurrent Constraint Programming.
Proceedings of the Algebraic Methodology and Software Technology, 1995

Modeling Real-Time in Concurrent Constraint Programming.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
A Compositional Semantics for Logic Programs.
Theor. Comput. Sci., 1994

The s-Semantics Approach: Theory and Applications.
J. Log. Program., 1994

Modular Transformations of CLP Programs.
Proceedings of the ILPS 1994, 1994

Goal independency and call patterns in the analysis of logic programs.
Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Proving Concurrent Constraint Programs Correct.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Denotational semantics for Concurrent Constraint Programs analyses.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Proving correctness of Concurrent Constraint Programs.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Declarative Interpretations Reconsidered.
Proceedings of the Logic Programming, 1994

Confluence and Concurrent Constraint Programming.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Modular Transformations of CLP Programs.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Differential Logic Programming.
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
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Modular Logic Programs on Finite Domains.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
New Semantic Tools for Logic Programming.
Proceedings of the Sematics: Foundations and Applications, 1992

A Two Steps Semantics for Logic Programs with Negation.
Proceedings of the Logic Programming and Automated Reasoning, 1992

Observational Equivalences for Logic Programs.
Proceedings of the Logic Programming, 1992

Contributions to the Semantics of Open Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.
Proceedings of the Algebraic and Logic Programming, 1992

1991
A Solved Form Algorithm for Ask and Tell Herbrand Constraints.
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.
Proceedings of the Programming Language Implementation and Logic Programming, 1991

Modeling Answer Constraints in Constraint Logic Programs.
Proceedings of the Logic Programming, 1991

An OR-Compositional Semantics for Logic Programs.
Proceedings of the Constructing Logic Programs, 1991

On the Semantics of Logic Programs.
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990
Nested Guarded Horn Clauses.
Int. J. Found. Comput. Sci., 1990

Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.
Proceedings of the Algebraic and Logic Programming, 1990


  Loading...