default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaurizio 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
- 2025
[j49]Lorenzo Bacchiani
, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro:
Proactive-reactive microservice architecture global scaling. J. Syst. Softw. 220: 112262 (2025)- [i27]Bianca Raimondi, Saverio Giallorenzo, Maurizio Gabbrielli:
Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs. CoRR abs/2501.05891 (2025) - [i26]Andrea Gurioli, Federico Pennino, João Monteiro, Maurizio Gabbrielli:
One Model to Train them All: Hierarchical Self-Distillation for Enhanced Early Layer Embeddings. CoRR abs/2503.03008 (2025) - 2024
- [j48]Pegah Barakati, Flavio Bertini, Emanuele Corsi, Maurizio Gabbrielli, Danilo Montesi:
Luxury Car Data Analysis: A Literature Review. Data 9(4): 48 (2024) - [j47]Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli:
A model for correlation-based choreographic programming. PeerJ Comput. Sci. 10: e1907 (2024) - [j46]Stefano Balla, Maurizio Gabbrielli, Stefano Zacchiroli:
Code stylometry vs formatting and minification. PeerJ Comput. Sci. 10: e2142 (2024) - [j45]Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli:
Stylometry for real-world expert coders: a zero-shot approach. PeerJ Comput. Sci. 10: e2429 (2024) - [j44]Andrea Zanellati, Daniele Di Mitri, Maurizio Gabbrielli, Olivia Levrini:
Hybrid Models for Knowledge Tracing: A Systematic Literature Review. IEEE Trans. Learn. Technol. 17: 1021-1036 (2024) - [j43]Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli:
Balancing Performance and Explainability in Academic Dropout Prediction. IEEE Trans. Learn. Technol. 17: 2140-2153 (2024) - [c97]Federico Pennino, Davide Sette, David Attisano, Maurizio Gabbrielli:
A Machine Learning Based Tool to Estimate Coolant Engine Temperature Based on Motorcycle Riding Data. ICTAI 2024: 729-733 - [c96]Federico Pennino, Davide Sette, David Attisano, Maurizio Gabbrielli:
Driving Style Representation via Convolutional Neural Networks: A Contrastive Learning Approach. ITSC 2024: 3532-3538 - [c95]Juan Martinez Rocha, Federico Pennino, Cécile Dubois, Éric Monacelli, Maurizio Gabbrielli:
Contrastive learning for body gesture detection during Adapted Physical Activity. RO-MAN 2024: 381-386 - [i25]Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli:
Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry. CoRR abs/2412.14611 (2024) - 2023
- [b2]Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo:
Programming Languages: Principles and Paradigms, Second Edition. Undergraduate Topics in Computer Science, Springer 2023, ISBN 978-3-031-34143-4, pp. 1-549 - [j42]Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro:
On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res. 76: 705-719 (2023) - [c94]Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli:
Low-achievement risk assessment with machine learning. Ital-IA 2023: 461-465 - [c93]Francesco Balzan, Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli:
A 2-Step Methodology for XAI in Education. PKDD/ECML Workshops (2) 2023: 80-86 - [e6]Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann:
Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France. OASIcs 111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-306-5 [contents] - [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]Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori:
A Transformation System for CLP with Dynamic Scheduling and CCP. PEPM 1997: 137-150 - [c30]Frank S. de Boer, Maurizio Gabbrielli:
Infinite computations in concurrent constraint programming. MFPS 1997: 103-118 - 1996
- [j11]Sandro Etalle, Maurizio Gabbrielli:
On the Correctness of the Replacement Operation for CLP Modules. J. Funct. Log. Program. 1996(1) (1996) - [j10]Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi:
A Closer Look at Declarative Interpretations. J. Log. Program. 28(2): 147-180 (1996) - [j9]Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Resultants Semantics for Prolog. J. Log. Comput. 6(4): 491-521 (1996) - [j8]Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. 27(3): 217-262 (1996) - [j7]Sandro Etalle, Maurizio Gabbrielli:
Transformations of CLP Modules. Theor. Comput. Sci. 166(1&2): 101-146 (1996) - [c29]Sandro Etalle, Maurizio Gabbrielli:
Layered Modes. APPIA-GULP-PRODE 1996: 41-52 - [c28]Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi:
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996: 83-97 - 1995
- [j6]Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Observable Behaviors and Equivalences of Logic Programs. Inf. Comput. 122(1): 1-29 (1995) - [j5]Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi:
Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171 (1995) - [c27]Frank S. de Boer, Maurizio Gabbrielli:
Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE 1995: 101-112 - [c26]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming. AMAST 1995: 531-545 - [c25]Sandro Etalle, Maurizio Gabbrielli:
A Transformation System for Modular CLP Programs. ICLP 1995: 681-695 - [c24]Sandro Etalle, Maurizio Gabbrielli:
The Replacement Operation for CLP Modules. PEPM 1995: 168-177 - [c23]Frank S. de Boer, Maurizio Gabbrielli:
Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995: 528-542 - 1994
- [j4]Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli:
The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994) - [j3]Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122(1&2): 3-47 (1994) - [c22]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence and Concurrent Constraint Programming. GULP-PRODE (1) 1994: 140-154 - [c21]Sandro Etalle, Maurizio Gabbrielli:
Modular Transformations of CLP Programs. GULP-PRODE (1) 1994: 218-233 - [c20]Krzysztof R. Apt, Maurizio Gabbrielli:
Declarative Interpretations Reconsidered. ICLP 1994: 74-89 - [c19]Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving correctness of Concurrent Constraint Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c18]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Denotational semantics for Concurrent Constraint Programs analyses. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c17]Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct. POPL 1994: 98-108 - [c16]Maurizio Gabbrielli, Roberto Giacobazzi:
Goal independency and call patterns in the analysis of logic programs. SAC 1994: 394-399 - [c15]Sandro Etalle, Maurizio Gabbrielli:
Modular Transformations of CLP Programs. ILPS Workshop: Constraints and Databases 1994 - [e1]Frank S. de Boer, Maurizio Gabbrielli:
ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. 1994 [contents] - 1993
- [c14]Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi:
Modular Logic Programs on Finite Domains. GULP 1993: 663-678 - [c13]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Compositional Analysis for Concurrent Constraint Programming. LICS 1993: 210-221 - [c12]Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Differential Logic Programming. POPL 1993: 359-370 - 1992
- [j2]Maurizio Gabbrielli, Giorgio Levi:
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Theor. Comput. Sci. 105(1): 85-128 (1992) - [c11]Maurizio Gabbrielli, Maria Chiara Meo:
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. ALP 1992: 84-99 - [c10]Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Contributions to the Semantics of Open Logic Programs. FGCS 1992: 570-580 - [c9]Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Observational Equivalences for Logic Programs. JICSLP 1992: 131-145 - [c8]Maurizio Gabbrielli, Giorgio Levi, Daniele Turi:
A Two Steps Semantics for Logic Programs with Negation. LPAR 1992: 297-308 - [c7]Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli:
New Semantic Tools for Logic Programming. REX Workshop 1992: 204-235 - 1991
- [c6]Maurizio Gabbrielli, Giorgio Levi:
On the Semantics of Logic Programs. ICALP 1991: 1-19 - [c5]Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 215-240 - [c4]Maurizio Gabbrielli, Giorgio Levi:
Modeling Answer Constraints in Constraint Logic Programs. ICLP 1991: 238-252 - [c3]Antonio Brogi, Maurizio Gabbrielli:
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. PLILP 1991: 407-418 - [c2]Maurizio Gabbrielli, Giorgio Levi:
A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 1991: 320-337 - 1990
- [j1]Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami:
Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. 1(3): 249-264 (1990) - [c1]Maurizio Gabbrielli, Giorgio Levi:
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ALP 1990: 204-216
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-08 01:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
