The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Maurizio Gabbrielli" ( http://dblp.L3S.de/Authors/Maurizio_Gabbrielli )

URL (Homepage):  http://www.cs.unibo.it/~gabbri/  Author page on DBLP  Author page in RDF  Community of Maurizio Gabbrielli in ASPL-2

Publication years (Num. hits)
1990-1993 (16) 1994-1995 (18) 1996-1998 (18) 1999-2004 (17) 2005-2009 (17) 2010-2013 (20) 2014-2015 (22) 2016-2019 (18)
Publication types (Num. hits)
article(60) book(1) incollection(2) inproceedings(80) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 24 keywords

Results
Found 147 publication records. Showing 146 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro No more, no less - A formal model for serverless computing. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo Constraint Programming for Flexible Service Function Chaining Deployment. Search on Bibsonomy HICSS The full citation details ... 2019 DBLP  BibTeX  RDF
1Franco Callegati, Saverio Giallorenzo, Maurizio Gabbrielli, Andrea Melis, Marco Prandini Federated Platooning: Insider Threats and Mitigations. Search on Bibsonomy HICSS The full citation details ... 2019 DBLP  BibTeX  RDF
1Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro No More, No Less - A Formal Model for Serverless Computing. Search on Bibsonomy COORDINATION The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo Constraint programming for flexible Service Function Chaining deployment. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP and the MiniZinc challenge. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro A Language-based Approach for Interoperability of IoT Platforms. Search on Bibsonomy HICSS The full citation details ... 2018 DBLP  BibTeX  RDF
1Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli Applied Choreographies. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP and the MiniZinc Challenge. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro Dynamic Choreographies: Theory And Implementation. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, Marco Prandini Smart mobility for all: A global federated market for mobility-as-a-service operators. Search on Bibsonomy ITSC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Portfolio approaches for constraint optimization problems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi Slicing Concurrent Constraint Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. Search on Bibsonomy IJIMAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi Self-Reconfiguring Microservices. Search on Bibsonomy Theory and Practice of Formal Methods The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Parallelizing Constraint Solvers for Hard RCPSP Instances. Search on Bibsonomy LION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi Slicing Concurrent Constraint Programs. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi Applied Choreographies. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP 2: a Parallel CP Portfolio Solver. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro Developing correct, distributed, adaptive software. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky Unfolding for CHR programs. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini 0001 Timed soft concurrent constraint programs: An interleaved and a parallel approach. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP: a sequential CP portfolio solver. Search on Bibsonomy SAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro SUNNY for algorithm selection: a preliminary study. Search on Bibsonomy CILC The full citation details ... 2015 DBLP  BibTeX  RDF
1Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro Feature Selection for SUNNY: A Study on the Algorithm Selection Library. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro A Multicore Tool for Constraint Solving. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini 0001 Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro Deadlock Freedom by Construction for Distributed Adaptive Applications. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli Probabilistic Recursion Theory and Implicit Computational Complexity. Search on Bibsonomy Sci. Ann. Comp. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY: a Lazy Portfolio Approach for Constraint Solving. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. Search on Bibsonomy SLE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro An enhanced features extractor for a portfolio of constraint solvers. Search on Bibsonomy SAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. Search on Bibsonomy Horizons of the Mind The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli Towards a Composition-based APIaaS Layer. Search on Bibsonomy CLOSER The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Portfolio Approaches for Constraint Optimization Problems. Search on Bibsonomy LION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. Search on Bibsonomy DCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky Unfolding for CHR programs. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Features for Building CSP Portfolio Solvers. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. Search on Bibsonomy IJIMAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo The expressive power of CHR with priorities. Search on Bibsonomy Inf. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro An Empirical Evaluation of Portfolios Approaches for Solving CSPs. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli Fast Post-Disaster Emergency Vehicle Scheduling. Search on Bibsonomy DCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo On the Expressive Power of Multiple Heads in CHR. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro An Empirical Evaluation of Portfolios Approaches for solving CSPs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Sara Zuppiroli, Paolo Ciancarini, Maurizio Gabbrielli A Role-Playing Game for a Software Engineering Lab: Developing a Product Line. Search on Bibsonomy CSEE&T The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi Service integration via target-transparent mediation. Search on Bibsonomy SOCA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi Interface-Based Service Composition with Aggregation. Search on Bibsonomy ESOCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli Solving XCSP problems by using Gecode Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro Graceful Interruption of Request-Response Service Interactions. Search on Bibsonomy ICSOC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli Solving XCSP problems by using Gecode. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi An Efficient Management of Correlation Sets with Broadcast. Search on Bibsonomy COORDINATION The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers Decidability properties for fragments of CHR Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers Decidability properties for fragments of CHR. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Simone Martini 0001 Programming Languages: Principles and Paradigms. Search on Bibsonomy 2010   DOI  RDF
1Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia Concurrent and Reactive Constraint Programming. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Maria Chiara Meo A compositional semantics for CHR. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Semantics
1Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro On the expressive power of recursion, replication and iteration in process calculi. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi Foreword. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo On the expressive power of priorities in CHR. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constraint, expressive power
1Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. Search on Bibsonomy CMSB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo Expressiveness of Multiple Heads in CHR. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella Unfolding in CHR Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo Expressiveness of multiple heads in CHR Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella A Compositional Semantics for CHR with Propagation Rules. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cinzia Di Giusto, Maurizio Gabbrielli Full Abstraction for Linda. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini 0001 Timed Soft Concurrent Constraint Programs. Search on Bibsonomy COORDINATION The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo Unfolding in CHR. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program transformation, unfolding, constraint handling rules
1Maurizio Gabbrielli, Maria Chiara Meo A compositional Semantics for CHR Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Giorgio Delzanno, Maurizio Gabbrielli Compositional Verification of Asynchronous Processes via Constraint Solving. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Gopal Gupta (eds.) Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo A compositional semantics for CHR. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo A Timed Linda Language and its Denotational Semantics. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Proving correctness of timed concurrent constraint programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Concurrency, constraints, temporal logic, reactive systems
1Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro Comparing Recursion, Replication, and Iteration in Process Calculi. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro Replication vs. Recursive Definitions in Channel Based Calculi. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo Compositional Verification of Infinite State Systems. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Proving correctness of Timed Concurrent Constraint Programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Proving Correctness of Timed Concurrent Constraint Programs. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Concurrency, constraints, temporal logic, real-time programming
1Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro Comparative analysis of the expressiveness of shared dataspace coordination. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo Transformations of CCP programs Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo Transformations of CCP programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF optimization, Concurrent constraint programming, deadlock-freeness
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Proving correctness of timed concurrent constraint programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo A Denotational Semantics for Timed Linda. Search on Bibsonomy PPDP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo A Timed Concurrent Constraint Language. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Frank Pfenning (eds.) Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000 Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo A Timed Linda Language. Search on Bibsonomy COORDINATION The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sandro Etalle, Maurizio Gabbrielli Layered Modes. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sandro Etalle, Maurizio Gabbrielli Partial Evaluation of Concurrent Constraint Languages. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Massimo Marchiori Dynamic web sites. Search on Bibsonomy QL The full citation details ... 1998 DBLP  BibTeX  RDF
1Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo Unfold/Fold Transformations of CCP Programs. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli Infinite computations in concurrent constraint programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi Confluence in Concurrent Constraint Programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 146 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license