


Остановите войну!
for scientists:


default search action
Maurizio Gabbrielli
Person information

- affiliation: University of Bologna, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j42]Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
:
On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res. 76: 705-719 (2023) - [c93]Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli:
Low-achievement risk assessment with machine learning. Ital-IA 2023: 461-465 - [i24]Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli:
Multimodal Side-Tuning for Document Classification. CoRR abs/2301.07502 (2023) - 2022
- [j41]Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna:
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. 5(3): 32-37 (2022) - [c92]Andrea Zanellati
, Stefano Pio Zingaro
, Maurizio Gabbrielli
:
Student Low Achievement Prediction. AIED (1) 2022: 737-742 - [c91]Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco De Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna, Corrado Iorizzo, Andrea Livaldi, Luca Magnotta, Mirko Orsini:
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT 2022: 90-91 - [c90]Andrea Zanellati, Maurizio Gabbrielli, Olivia Levrini:
Tracking learners' knowledge and skills development. EC-TEL (Doctoral Consortium) 2022: 87-93 - [c89]Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro:
Proactive-Reactive Global Scaling, with Analytics. ICSOC 2022: 237-254 - [c88]Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
:
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). IJCAI 2022: 5752-5756 - [i23]Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro:
On the evaluation of (meta-)solver approaches. CoRR abs/2202.08613 (2022) - 2021
- [j40]Tong Liu, Roberto Amadini, Maurizio Gabbrielli
, Jacopo Mauro
:
sunny-as2: Enhancing SUNNY for Algorithm Selection. J. Artif. Intell. Res. 72: 329-376 (2021) - [j39]Francesca Del Bonifro, Maurizio Gabbrielli
, Antonio Lategano, Stefano Zacchiroli:
Image-based many-language programming language identification. PeerJ Comput. Sci. 7: e631 (2021) - [c87]Francesca Del Bonifro, Maurizio Gabbrielli
, Stefano Zacchiroli:
Content-Based Textual File Type Detection at Scale. ICMLC 2021: 485-492 - [i22]Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli:
Content-Based Textual File Type Detection at Scale. CoRR abs/2101.08508 (2021) - 2020
- [j38]Moreno Falaschi
, Maurizio Gabbrielli
, Carlos Olarte
, Catuscia Palamidessi
:
Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae 177(3-4): 331-357 (2020) - [c86]Francesca Del Bonifro, Maurizio Gabbrielli
, Giuseppe Lisanti
, Stefano Pio Zingaro
:
Student Dropout Prediction. AIED (1) 2020: 129-140 - [c85]Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli
:
Multimodal Side- Tuning for Document Classification. ICPR 2020: 5206-5213 - [e5]Maurizio Gabbrielli
:
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12042, Springer 2020, ISBN 978-3-030-45259-9 [contents] - [i21]Tong Liu, Roberto Amadini, Jacopo Mauro, Maurizio Gabbrielli:
sunny-as2: Enhancing SUNNY for Algorithm Selection. CoRR abs/2009.03107 (2020)
2010 – 2019
- 2019
- [c84]Maurizio Gabbrielli
, Saverio Giallorenzo
, Ivan Lanese, Jacopo Mauro
:
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems 2019: 118-138 - [c83]Maurizio Gabbrielli
, Saverio Giallorenzo
, Ivan Lanese, Fabrizio Montesi
, Marco Peressotti
, Stefano Pio Zingaro
:
No More, No Less - A Formal Model for Serverless Computing. COORDINATION 2019: 148-157 - [c82]Franco Callegati, Saverio Giallorenzo, Maurizio Gabbrielli, Andrea Melis, Marco Prandini:
Federated Platooning: Insider Threats and Mitigations. HICSS 2019: 1-10 - [c81]Tong Liu
, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo:
Constraint Programming for Flexible Service Function Chaining Deployment. HICSS 2019: 1-10 - [i20]Maurizio Gabbrielli, Saverio Giallorenzo
, Ivan Lanese, Fabrizio Montesi
, Marco Peressotti
, Stefano Pio Zingaro
:
No more, no less - A formal model for serverless computing. CoRR abs/1903.07962 (2019) - 2018
- [j37]Roberto Amadini, Maurizio Gabbrielli
, Jacopo Mauro
:
SUNNY-CP and the MiniZinc challenge. Theory Pract. Log. Program. 18(1): 81-96 (2018) - [c80]Saverio Giallorenzo
, Fabrizio Montesi
, Maurizio Gabbrielli
:
Applied Choreographies. FORTE 2018: 21-40 - [c79]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro:
A Language-based Approach for Interoperability of IoT Platforms. HICSS 2018: 1-10 - [i19]Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo:
Constraint programming for flexible Service Function Chaining deployment. CoRR abs/1812.05534 (2018) - 2017
- [j36]Mila Dalla Preda, Maurizio Gabbrielli
, Saverio Giallorenzo
, Ivan Lanese, Jacopo Mauro
:
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13(2) (2017) - [c78]Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli
, Jacopo Mauro
:
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. CP 2017: 370-386 - [c77]Franco Callegati
, Maurizio Gabbrielli
, Saverio Giallorenzo
, Andrea Melis
, Marco Prandini
:
Smart mobility for all: A global federated market for mobility-as-a-service operators. ITSC 2017: 1-8 - [i18]Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
SUNNY-CP and the MiniZinc Challenge. CoRR abs/1706.08627 (2017) - 2016
- [j35]Roberto Amadini
, Maurizio Gabbrielli
, Jacopo Mauro
:
Portfolio approaches for constraint optimization problems. Ann. Math. Artif. Intell. 76(1-2): 229-246 (2016) - [j34]Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. Int. J. Interact. Multim. Artif. Intell. 3(7): 81-86 (2016) - [c76]Maurizio Gabbrielli
, Saverio Giallorenzo
, Claudio Guidi, Jacopo Mauro
, Fabrizio Montesi
:
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods 2016: 194-210 - [c75]Roberto Amadini, Maurizio Gabbrielli
, Jacopo Mauro
:
Parallelizing Constraint Solvers for Hard RCPSP Instances. LION 2016: 227-233 - [c74]Moreno Falaschi
, Maurizio Gabbrielli
, Carlos Olarte
, Catuscia Palamidessi
:
Slicing Concurrent Constraint Programs. LOPSTR 2016: 76-93 - [i17]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte
, Catuscia Palamidessi:
Slicing Concurrent Constraint Programs. CoRR abs/1608.05252 (2016) - 2015
- [j33]Mila Dalla Preda, Maurizio Gabbrielli
, Saverio Giallorenzo
, Ivan Lanese, Jacopo Mauro
:
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97: 41-46 (2015) - [j32]Maurizio Gabbrielli
, Maria Chiara Meo
, Paolo Tacchella, Herbert Wiklicky:
Unfolding for CHR programs. Theory Pract. Log. Program. 15(3): 264-311 (2015) - [j31]Stefano Bistarelli
, Maurizio Gabbrielli
, Maria Chiara Meo
, Francesco Santini
:
Timed soft concurrent constraint programs: An interleaved and a parallel approach. Theory Pract. Log. Program. 15(6): 743-782 (2015) - [c73]Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu
, Jacopo Mauro:
SUNNY for algorithm selection: a preliminary study. CILC 2015: 202-206 - [c72]Mila Dalla Preda, Maurizio Gabbrielli
, Saverio Giallorenzo
, Ivan Lanese, Jacopo Mauro
:
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION 2015: 67-82 - [c71]Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli
, Tong Liu
, Jacopo Mauro
:
Feature Selection for SUNNY: A Study on the Algorithm Selection Library. ICTAI 2015: 25-32 - [c70]Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
A Multicore Tool for Constraint Solving. IJCAI 2015: 232-238 - [c69]Roberto Amadini, Maurizio Gabbrielli
, Jacopo Mauro
:
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. LOPSTR 2015: 349-364 - [c68]Roberto Amadini
, Maurizio Gabbrielli
, Jacopo Mauro
:
SUNNY-CP: a sequential CP portfolio solver. SAC 2015: 1861-1867 - [i16]Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
SUNNY-CP 2: a Parallel CP Portfolio Solver. CoRR abs/1502.03986 (2015) - [i15]Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi:
Applied Choreographies. CoRR abs/1510.03637 (2015) - 2014
- [j30]Ugo Dal Lago
, Sara Zuppiroli, Maurizio Gabbrielli
:
Probabilistic Recursion Theory and Implicit Computational Complexity. Sci. Ann. Comput. Sci. 24(2): 177-216 (2014) - [j29]Roberto Amadini
, Maurizio Gabbrielli
, Jacopo Mauro
:
SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory Pract. Log. Program. 14(4-5): 509-524 (2014) - [c67]Frank S. de Boer, Maurizio Gabbrielli
:
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. Horizons of the Mind 2014: 168-179 - [c66]Claudio Guidi, Saverio Giallorenzo
, Maurizio Gabbrielli
:
Towards a Composition-based APIaaS Layer. CLOSER 2014: 425-432 - [c65]Maurizio Gabbrielli
, Saverio Giallorenzo
, Fabrizio Montesi
:
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI 2014: 131-139 - [c64]Roberto Amadini
, Maurizio Gabbrielli
, Jacopo Mauro
:
Portfolio Approaches for Constraint Optimization Problems. LION 2014: 21-35 - [c63]Roberto Amadini
, Maurizio Gabbrielli
, Jacopo Mauro
:
An enhanced features extractor for a portfolio of constraint solvers. SAC 2014: 1357-1359 - [c62]Mila Dalla Preda, Saverio Giallorenzo
, Ivan Lanese, Jacopo Mauro
, Maurizio Gabbrielli:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE 2014: 161-170 - [i14]Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini:
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach. CoRR abs/1403.0461 (2014) - [i13]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR abs/1407.0970 (2014) - [i12]Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR abs/1407.0975 (2014) - 2013
- [j28]Maurizio Gabbrielli
, Jacopo Mauro
, Maria Chiara Meo
:
The expressive power of CHR with priorities. Inf. Comput. 228: 62-82 (2013) - [j27]Roberto Amadini
, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli:
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. Int. J. Interact. Multim. Artif. Intell. 2(4): 67-75 (2013) - [c61]Roberto Amadini
, Maurizio Gabbrielli
, Jacopo Mauro
:
An Empirical Evaluation of Portfolios Approaches for Solving CSPs. CPAIOR 2013: 316-324 - [c60]Roberto Amadini
, Imane Sefrioui, Jacopo Mauro
, Maurizio Gabbrielli
:
Fast Post-Disaster Emergency Vehicle Scheduling. DCAI 2013: 219-226 - [i11]Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky:
Unfolding for CHR programs. CoRR abs/1307.0679 (2013) - [i10]Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
Features for Building CSP Portfolio Solvers. CoRR abs/1308.0227 (2013) - [i9]Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. CoRR abs/1311.3353 (2013) - 2012
- [j26]Cinzia Di Giusto, Maurizio Gabbrielli
, Maria Chiara Meo
:
On the Expressive Power of Multiple Heads in CHR. ACM Trans. Comput. Log. 13(1): 6:1-6:19 (2012) - [c59]Sara Zuppiroli, Paolo Ciancarini
, Maurizio Gabbrielli
:
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line. CSEE&T 2012: 13-22 - [c58]Mila Dalla Preda, Maurizio Gabbrielli
, Claudio Guidi, Jacopo Mauro
, Fabrizio Montesi
:
Interface-Based Service Composition with Aggregation. ESOCC 2012: 48-63 - [c57]Mila Dalla Preda, Maurizio Gabbrielli
, Claudio Guidi, Jacopo Mauro
, Fabrizio Montesi
:
Service integration via target-transparent mediation. SOCA 2012: 1-5 - [i8]Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
An Empirical Evaluation of Portfolios Approaches for solving CSPs. CoRR abs/1212.0692 (2012) - 2011
- [c56]Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli:
Solving XCSP problems by using Gecode. CILC 2011: 401-405 - [c55]Jacopo Mauro
, Maurizio Gabbrielli
, Claudio Guidi, Fabrizio Montesi
:
An Efficient Management of Correlation Sets with Broadcast. COORDINATION 2011: 80-94 - [c54]Mila Dalla Preda, Maurizio Gabbrielli
, Ivan Lanese
, Jacopo Mauro
, Gianluigi Zavattaro:
Graceful Interruption of Request-Response Service Interactions. ICSOC 2011: 590-600 - [i7]Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli:
Solving XCSP problems by using Gecode. CoRR abs/1112.6096 (2011) - 2010
- [b1]Maurizio Gabbrielli
, Simone Martini
:
Programming Languages: Principles and Paradigms. Undergraduate Topics in Computer Science, Springer 2010, ISBN 978-1-84882-913-8, pp. I-XIX, 1-440 - [j25]Maurizio Gabbrielli
, Jacopo Mauro
, Maria Chiara Meo
, Jon Sneyers:
Decidability properties for fragments of CHR. Theory Pract. Log. Program. 10(4-6): 611-626 (2010) - [p2]Maurizio Gabbrielli
, Catuscia Palamidessi
, Frank D. Valencia:
Concurrent and Reactive Constraint Programming. 25 Years GULP 2010: 231-253 - [i6]Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers:
Decidability properties for fragments of CHR. CoRR abs/1007.4476 (2010)
2000 – 2009
- 2009
- [j24]Nadia Busi, Maurizio Gabbrielli
, Gianluigi Zavattaro:
On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19(6): 1191-1222 (2009) - [j23]Moreno Falaschi
, Maurizio Gabbrielli
, Catuscia Palamidessi
:
Foreword. Theor. Comput. Sci. 410(46): 4601-4602 (2009) - [j22]Maurizio Gabbrielli
, Maria Chiara Meo
:
A compositional semantics for CHR. ACM Trans. Comput. Log. 10(2): 11:1-11:36 (2009) - [c53]Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli
, Cosimo Laneve
, Gianluigi Zavattaro:
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172 - [c52]Maurizio Gabbrielli
, Jacopo Mauro
, Maria Chiara Meo
:
On the expressive power of priorities in CHR. PPDP 2009: 267-276 - [c51]Cinzia Di Giusto, Maurizio Gabbrielli
, Maria Chiara Meo
:
Expressiveness of Multiple Heads in CHR. SOFSEM 2009: 205-216 - 2008
- [c50]Stefano Bistarelli
, Maurizio Gabbrielli
, Maria Chiara Meo
, Francesco Santini
:
Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66 - [c49]Cinzia Di Giusto, Maurizio Gabbrielli
:
Full Abstraction for Linda. ESOP 2008: 78-92 - [p1]Maurizio Gabbrielli
, Maria Chiara Meo
, Paolo Tacchella:
A Compositional Semantics for CHR with Propagation Rules. Constraint Handling Rules 2008: 119-160 - [i5]Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo:
Expressiveness of multiple heads in CHR. CoRR abs/0804.3351 (2008) - [i4]Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella:
Unfolding in CHR. CoRR abs/0807.3979 (2008) - 2007
- [c48]Paolo Tacchella, Maurizio Gabbrielli
, Maria Chiara Meo
:
Unfolding in CHR. PPDP 2007: 179-186 - 2006
- [j21]Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
:
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory Pract. Log. Program. 6(3): 225-226 (2006) - [i3]Maurizio Gabbrielli, Maria Chiara Meo:
A compositional Semantics for CHR. CoRR abs/cs/0603079 (2006) - 2005
- [c47]Giorgio Delzanno, Maurizio Gabbrielli
:
Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP 2005: 1239-1250 - [c46]Giorgio Delzanno, Maurizio Gabbrielli
, Maria Chiara Meo
:
A compositional semantics for CHR. PPDP 2005: 209-217 - [e4]Maurizio Gabbrielli, Gopal Gupta:
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3668, Springer 2005, ISBN 3-540-29208-X [contents] - 2004
- [j20]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Timed Linda Language and its Denotational Semantics. Fundam. Informaticae 63(4): 309-330 (2004) - [j19]Frank S. de Boer, Maurizio Gabbrielli
, Maria Chiara Meo
:
Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5(4): 706-731 (2004) - [c45]Nadia Busi, Maurizio Gabbrielli
, Gianluigi Zavattaro:
Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319 - 2003
- [c44]Nadia Busi, Maurizio Gabbrielli
, Gianluigi Zavattaro:
Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144 - [c43]Giorgio Delzanno, Maurizio Gabbrielli
, Maria Chiara Meo
:
Compositional Verification of Infinite State Systems. ICLP 2003: 47-48 - 2002
- [c42]Frank S. de Boer, Maurizio Gabbrielli
, Maria Chiara Meo
:
Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51 - [i2]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Proving correctness of Timed Concurrent Constraint Programs. CoRR cs.LO/0208042 (2002) - 2001
- [j18]Sandro Etalle, Maurizio Gabbrielli
, Maria Chiara Meo
:
Transformations of CCP programs. ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001) - [c41]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Proving correctness of timed concurrent constraint programs. APPIA-GULP-PRODE 2001: 213-228 - [c40]Frank S. de Boer, Maurizio Gabbrielli
, Maria Chiara Meo
:
A Denotational Semantics for Timed Linda. PPDP 2001: 28-36 - [c39]Frank S. de Boer, Maurizio Gabbrielli
, Maria Chiara Meo
:
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233 - [c38]Antonio Brogi, Nadia Busi, Maurizio Gabbrielli
, Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination. TOSCA 2001: 102-115 - [i1]Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo:
Transformations of CCP programs. CoRR cs.PL/0107014 (2001) - 2000
- [j17]Frank S. de Boer, Maurizio Gabbrielli
, Maria Chiara Meo
:
A Timed Concurrent Constraint Language. Inf. Comput. 161(1): 45-83 (2000) - [c37]Frank S. de Boer, Maurizio Gabbrielli
, Maria Chiara Meo
:
A Timed Linda Language. COORDINATION 2000: 299-304 - [e3]Maurizio Gabbrielli, Frank Pfenning:
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000. ACM 2000, ISBN 1-58113-265-4 [contents]
1990 – 1999
- 1999
- [j16]Sandro Etalle, Maurizio Gabbrielli
:
Layered Modes. J. Log. Program. 39(1-3): 225-244 (1999) - 1998
- [j15]Sandro Etalle, Maurizio Gabbrielli
:
Partial Evaluation of Concurrent Constraint Languages. ACM Comput. Surv. 30(3es): 11 (1998) - [c36]Sandro Etalle, Maurizio Gabbrielli
, Maria Chiara Meo
:
Unfold/Fold Transformations of CCP Programs. CONCUR 1998: 348-365 - [c35]Maurizio Gabbrielli, Massimo Marchiori:
Dynamic web sites. QL 1998 - [c34]Frank S. de Boer, Maurizio Gabbrielli
:
Preface. COTIC 1998: 60 - [e2]Frank S. de Boer, Maurizio Gabbrielli:
Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, COTIC 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(1), Elsevier 1998 [contents] - 1997
- [j14]Moreno Falaschi
, Maurizio Gabbrielli
, Kim Marriott, Catuscia Palamidessi
:
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Inf. Comput. 137(1): 41-67 (1997) - [j13]Moreno Falaschi
, Maurizio Gabbrielli
, Kim Marriott, Catuscia Palamidessi
:
Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. 183(2): 281-315 (1997) - [j12]Frank S. de Boer, Maurizio Gabbrielli
, Elena Marchiori, Catuscia Palamidessi
:
Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997) - [c33]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE 1997: 235-246 - [c32]Frank S. de Boer, Maurizio Gabbrielli
, Maria Chiara Meo
:
Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997: 47-61 - [c31]