Maurizio Gabbrielli

202 papers A* 10A 7B 18C 19Misc 8Journal 86Unranked 46

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Mechanistic Interpretability of Cognitive Complexity in LLMs via Linear Probing using Bloom's Taxonomy. CoRR Bianca Raimondi, Maurizio Gabbrielli
2026	A*	`conf`	MoSE: Hierarchical Self-Distillation Enhances Early Layer Embeddings. AAAI Andrea Gurioli, Federico Pennino, João Monteiro, Maurizio Gabbrielli
2026	J	`jnl`	The CompMath-MCQ Dataset: Are LLMs Ready for Higher-Level Math? CoRR Bianca Raimondi, Francesco Pivi, Davide Evangelista, Maurizio Gabbrielli
2025	J	`jnl`	A Comprehensive Approach to Residual Value Analysis in the Luxury Automotive Market. IEEE Access Alessandro Ghibellini, Andrea Scioletti, Mauro Coletto, Luciano Bononi, Maurizio Gabbrielli
2025	J	`jnl`	A Computational Model of Inclusive Pedagogy: From Understanding to Application. CoRR Francesco Balzan, Pedro P. Santos, Maurizio Gabbrielli, Mahault Albarracin, Manuel Lopes
2025	B	`conf`	A Dual-Encoder framework for Enhancing Driving Behavior and Mission Profiling Characterization. IJCNN Federico Pennino, Davide Sette, David Attisano, Maurizio Gabbrielli
2025	Misc	`conf`	Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs. SAC Bianca Raimondi, Saverio Giallorenzo, Maurizio Gabbrielli
2025	J	`jnl`	Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs. CoRR Bianca Raimondi, Saverio Giallorenzo, Maurizio Gabbrielli
2025	J	`jnl`	Analysing Moral Bias in Finetuned LLMs through Mechanistic Interpretability. CoRR Bianca Raimondi, Daniela Dalbagno, Maurizio Gabbrielli
2025	—	`conf`	Contextual Contrastive Learning for Rider Behavior Modeling Using Motorcycle Sensor Data. ITSC Federico Pennino, David Attisano, Davide Sette, Maurizio Gabbrielli
2025	J	`jnl`	Exploiting Primacy Effect To Improve Large Language Models. CoRR Bianca Raimondi, Maurizio Gabbrielli
2025	Misc	`conf`	Exploiting Primacy Effect to Improve Large Language Models. RANLP Bianca Raimondi, Maurizio Gabbrielli
2025	C	`conf`	Fixture Layout Optimization in Wood Industry: A Case Study. PPDP Anna Vitali, Roberto Amadini, Maurizio Gabbrielli
2025	J	`jnl`	From Reasoning to Code: GRPO Optimization for Underrepresented Languages. CoRR Federico Pennino, Bianca Raimondi, Massimo Rondelli, Andrea Gurioli, Maurizio Gabbrielli
2025	A	`conf`	From Unsupervised Phenotyping to a Clinician-Ready Classifier: A Complete Pipeline for Assessing 90° Change-of-Direction Technique in Footballers. ECAI Alessandro Ghibellini, Stefano Di Paolo, Stefano Zaffagnini, Luciano Bononi, Maurizio Gabbrielli, Francesco Della Villa
2025	A	`conf`	Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry. SANER Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli
2025	J	`jnl`	Learning Factors in AI-Augmented Education: A Comparative Study of Middle and High School Students. CoRR Gaia Ebli, Bianca Raimondi, Maurizio Gabbrielli
2025	J	`jnl`	On the flow matching interpretability. CoRR Francesco Pivi, Simone Gazza, Davide Evangelista, Roberto Amadini, Maurizio Gabbrielli
2025	J	`jnl`	One Model to Train them All: Hierarchical Self-Distillation for Enhanced Early Layer Embeddings. CoRR Andrea Gurioli, Federico Pennino, João Monteiro, Maurizio Gabbrielli
2025	J	`jnl`	Optimizing the Training Diet: Data Mixture Search for Robust Time Series Forecasting. CoRR Federico Pennino, Maurizio Gabbrielli
2025	J	`jnl`	Proactive-reactive microservice architecture global scaling. J. Syst. Softw. Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro
2024	B	`conf`	A Machine Learning Based Tool to Estimate Coolant Engine Temperature Based on Motorcycle Riding Data. ICTAI Federico Pennino, Davide Sette, David Attisano, Maurizio Gabbrielli
2024	J	`jnl`	A model for correlation-based choreographic programming. PeerJ Comput. Sci. Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
2024	J	`jnl`	Balancing Performance and Explainability in Academic Dropout Prediction. IEEE Trans. Learn. Technol. Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli
2024	J	`jnl`	Code stylometry vs formatting and minification. PeerJ Comput. Sci. Stefano Balla, Maurizio Gabbrielli, Stefano Zacchiroli
2024	B	`conf`	Contrastive learning for body gesture detection during Adapted Physical Activity. RO-MAN Juan Martinez Rocha, Federico Pennino, Cécile Dubois, Éric Monacelli, Maurizio Gabbrielli
2024	—	`conf`	Driving Style Representation via Convolutional Neural Networks: A Contrastive Learning Approach. ITSC Federico Pennino, Davide Sette, David Attisano, Maurizio Gabbrielli
2024	J	`jnl`	Hybrid Models for Knowledge Tracing: A Systematic Literature Review. IEEE Trans. Learn. Technol. Andrea Zanellati, Daniele Di Mitri, Maurizio Gabbrielli, Olivia Levrini
2024	J	`jnl`	Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry. CoRR Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli
2024	J	`jnl`	Luxury Car Data Analysis: A Literature Review. Data Pegah Barakati, Flavio Bertini, Emanuele Corsi, Maurizio Gabbrielli, Danilo Montesi
2024	J	`jnl`	Stylometry for real-world expert coders: a zero-shot approach. PeerJ Comput. Sci. Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli
2023	—	`conf`	A 2-Step Methodology for XAI in Education. PKDD/ECML Workshops (2) Francesco Balzan, Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli
2023	—	`ed.`	Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, Bologna, Italy (Virtual Conference), September 2020 / Paris, France, May 10-12, 2022 Microservices Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann
2023	—	`conf`	Low-achievement risk assessment with machine learning. Ital-IA Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli
2023	J	`jnl`	Multimodal Side-Tuning for Document Classification. CoRR Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli
2023	J	`jnl`	On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res. Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2023	—	`book`	Programming Languages: Principles and Paradigms, Second Edition Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo
2023	—	`ch.`	Regular Matching with Constraint Programming. Challenges of Software Verification Roberto Amadini, Maurizio Gabbrielli
2022	J	`jnl`	Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna
2022	J	`jnl`	On the evaluation of (meta-)solver approaches. CoRR Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2022	A	`conf`	Proactive-Reactive Global Scaling, with Analytics. ICSOC Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
2022	—	`conf`	SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT 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
2022	—	`conf`	Student Low Achievement Prediction. AIED (1) Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli
2022	—	`conf`	Tracking learners' knowledge and skills development. EC-TEL (Doctoral Consortium) Andrea Zanellati, Maurizio Gabbrielli, Olivia Levrini
2022	A*	`conf`	sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). IJCAI Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2021	Misc	`conf`	Content-Based Textual File Type Detection at Scale. ICMLC Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli
2021	J	`jnl`	Content-Based Textual File Type Detection at Scale. CoRR Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli
2021	J	`jnl`	Image-based many-language programming language identification. PeerJ Comput. Sci. Francesca Del Bonifro, Maurizio Gabbrielli, Antonio Lategano, Stefano Zacchiroli
2021	J	`jnl`	sunny-as2: Enhancing SUNNY for Algorithm Selection. J. Artif. Intell. Res. Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2020	J	`jnl`	Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2020	C	`ed.`	Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers LOPSTR Maurizio Gabbrielli
2020	B	`conf`	Multimodal Side- Tuning for Document Classification. ICPR Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli
2020	—	`conf`	Student Dropout Prediction. AIED (1) Francesca Del Bonifro, Maurizio Gabbrielli, Giuseppe Lisanti, Stefano Pio Zingaro
2020	J	`jnl`	sunny-as2: Enhancing SUNNY for Algorithm Selection. CoRR Tong Liu, Roberto Amadini, Jacopo Mauro, Maurizio Gabbrielli
2019	—	`conf`	Constraint Programming for Flexible Service Function Chaining Deployment. HICSS Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo
2019	—	`conf`	Federated Platooning: Insider Threats and Mitigations. HICSS Franco Callegati, Saverio Giallorenzo, Maurizio Gabbrielli, Andrea Melis, Marco Prandini
2019	—	`conf`	Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2019	C	`conf`	No More, No Less - A Formal Model for Serverless Computing. COORDINATION Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019	J	`jnl`	No more, no less - A formal model for serverless computing. CoRR Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2018	—	`conf`	A Language-based Approach for Interoperability of IoT Platforms. HICSS Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro
2018	C	`conf`	Applied Choreographies. FORTE Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
2018	J	`jnl`	Constraint programming for flexible Service Function Chaining deployment. CoRR Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo
2018	J	`jnl`	SUNNY-CP and the MiniZinc challenge. Theory Pract. Log. Program. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2017	J	`jnl`	Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2017	A	`conf`	NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. CP Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro
2017	J	`jnl`	SUNNY-CP and the MiniZinc Challenge. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2017	—	`conf`	Smart mobility for all: A global federated market for mobility-as-a-service operators. ITSC Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, Marco Prandini
2016	J	`jnl`	An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. Int. J. Interact. Multim. Artif. Intell. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2016	—	`conf`	Parallelizing Constraint Solvers for Hard RCPSP Instances. LION Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2016	J	`jnl`	Portfolio approaches for constraint optimization problems. Ann. Math. Artif. Intell. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2016	—	`conf`	Self-Reconfiguring Microservices. Theory and Practice of Formal Methods Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2016	C	`conf`	Slicing Concurrent Constraint Programs. LOPSTR Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2016	J	`jnl`	Slicing Concurrent Constraint Programs. CoRR Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2015	A*	`conf`	A Multicore Tool for Constraint Solving. IJCAI Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2015	J	`jnl`	Applied Choreographies. CoRR Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
2015	J	`jnl`	Developing correct, distributed, adaptive software. Sci. Comput. Program. Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015	C	`conf`	Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015	B	`conf`	Feature Selection for SUNNY: A Study on the Algorithm Selection Library. ICTAI Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2015	—	`conf`	SUNNY for algorithm selection: a preliminary study. CILC Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2015	J	`jnl`	SUNNY-CP 2: a Parallel CP Portfolio Solver. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2015	Misc	`conf`	SUNNY-CP: a sequential CP portfolio solver. SAC Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2015	J	`jnl`	Timed soft concurrent constraint programs: An interleaved and a parallel approach. Theory Pract. Log. Program. Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2015	J	`jnl`	Unfolding for CHR programs. Theory Pract. Log. Program. Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
2015	C	`conf`	Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. LOPSTR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	B	`conf`	AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
2014	J	`jnl`	AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
2014	Misc	`conf`	An enhanced features extractor for a portfolio of constraint solvers. SAC Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	J	`jnl`	Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2014	—	`conf`	Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. Horizons of the Mind Frank S. de Boer, Maurizio Gabbrielli
2014	—	`conf`	Portfolio Approaches for Constraint Optimization Problems. LION Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	J	`jnl`	Probabilistic Recursion Theory and Implicit Computational Complexity. Sci. Ann. Comput. Sci. Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli
2014	J	`jnl`	SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory Pract. Log. Program. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	Misc	`conf`	Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
2014	J	`jnl`	Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach. CoRR Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2014	C	`conf`	Towards a Composition-based APIaaS Layer. CLOSER Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli
2013	J	`jnl`	A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. Int. J. Interact. Multim. Artif. Intell. Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
2013	B	`conf`	An Empirical Evaluation of Portfolios Approaches for Solving CSPs. CPAIOR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2013	Misc	`conf`	Fast Post-Disaster Emergency Vehicle Scheduling. DCAI Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
2013	J	`jnl`	Features for Building CSP Portfolio Solvers. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2013	J	`jnl`	SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2013	J	`jnl`	The expressive power of CHR with priorities. Inf. Comput. Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
2013	J	`jnl`	Unfolding for CHR programs. CoRR Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
2012	—	`conf`	A Role-Playing Game for a Software Engineering Lab: Developing a Product Line. CSEE&T Sara Zuppiroli, Paolo Ciancarini, Maurizio Gabbrielli
2012	J	`jnl`	An Empirical Evaluation of Portfolios Approaches for solving CSPs CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2012	—	`conf`	Interface-Based Service Composition with Aggregation. ESOCC Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2012	J	`jnl`	On the Expressive Power of Multiple Heads in CHR. ACM Trans. Comput. Log. Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2012	—	`conf`	Service integration via target-transparent mediation. SOCA Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2011	C	`conf`	An Efficient Management of Correlation Sets with Broadcast. COORDINATION Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi
2011	A	`conf`	Graceful Interruption of Request-Response Service Interactions. ICSOC Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
2011	J	`jnl`	Solving XCSP problems by using Gecode CoRR Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli
2011	—	`conf`	Solving XCSP problems by using Gecode. CILC Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli
2010	—	`ch.`	Concurrent and Reactive Constraint Programming. 25 Years GULP Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia
2010	J	`jnl`	Decidability properties for fragments of CHR CoRR Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
2010	J	`jnl`	Decidability properties for fragments of CHR. Theory Pract. Log. Program. Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
2010	—	`book`	Programming Languages: Principles and Paradigms. Maurizio Gabbrielli, Simone Martini
2009	J	`jnl`	A compositional semantics for CHR. ACM Trans. Comput. Log. Maurizio Gabbrielli, Maria Chiara Meo
2009	B	`conf`	Expressiveness of Multiple Heads in CHR. SOFSEM Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2009	J	`jnl`	Foreword. Theor. Comput. Sci. Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi
2009	C	`conf`	On the expressive power of priorities in CHR. PPDP Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
2009	J	`jnl`	On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2009	—	`conf`	The CMSB Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
2008	—	`ch.`	A Compositional Semantics for CHR with Propagation Rules. Constraint Handling Rules Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
2008	J	`jnl`	Expressiveness of multiple heads in CHR CoRR Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
2008	A	`conf`	Full Abstraction for Linda. ESOP Cinzia Di Giusto, Maurizio Gabbrielli
2008	C	`conf`	Timed Soft Concurrent Constraint Programs. COORDINATION Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2008	J	`jnl`	Unfolding in CHR CoRR Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
2007	C	`conf`	Unfolding in CHR. PPDP Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
2006	J	`jnl`	A compositional Semantics for CHR CoRR Maurizio Gabbrielli, Maria Chiara Meo
2006	J	`jnl`	Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory Pract. Log. Program. Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
2005	C	`conf`	A compositional semantics for CHR. PPDP Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
2005	A*	`conf`	Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP Giorgio Delzanno, Maurizio Gabbrielli
2005	B	`ed.`	Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings ICLP Maurizio Gabbrielli, Gopal Gupta
2004	J	`jnl`	A Timed Linda Language and its Denotational Semantics. Fundam. Informaticae Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2004	A*	`conf`	Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2004	J	`jnl`	Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2003	B	`conf`	Compositional Verification of Infinite State Systems. ICLP Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
2003	A*	`conf`	Replication vs. Recursive Definitions in Channel Based Calculi. ICALP Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2002	B	`conf`	Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2002	J	`jnl`	Proving correctness of Timed Concurrent Constraint Programs CoRR Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001	C	`conf`	A Denotational Semantics for Timed Linda. PPDP Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001	C	`conf`	A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001	—	`conf`	Comparative analysis of the expressiveness of shared dataspace coordination. TOSCA Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2001	—	`conf`	Proving correctness of timed concurrent constraint programs. APPIA-GULP-PRODE Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001	J	`jnl`	Transformations of CCP programs CoRR Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
2001	J	`jnl`	Transformations of CCP programs. ACM Trans. Program. Lang. Syst. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
2000	J	`jnl`	A Timed Concurrent Constraint Language. Inf. Comput. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2000	C	`conf`	A Timed Linda Language. COORDINATION Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2000	C	`ed.`	Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000 PPDP Maurizio Gabbrielli, Frank Pfenning
1999	J	`jnl`	Layered Modes. J. Log. Program. Sandro Etalle, Maurizio Gabbrielli
1998	—	`conf`	Dynamic web sites. QL Maurizio Gabbrielli, Massimo Marchiori
1998	J	`jnl`	Partial Evaluation of Concurrent Constraint Languages. ACM Comput. Surv. Sandro Etalle, Maurizio Gabbrielli
1998	—	`conf`	Preface. COTIC Frank S. de Boer, Maurizio Gabbrielli
1998	—	`ed.`	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 COTIC Frank S. de Boer, Maurizio Gabbrielli
1998	B	`conf`	Unfold/Fold Transformations of CCP Programs. CONCUR Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
1997	C	`conf`	A Transformation System for CLP with Dynamic Scheduling and CCP. PEPM Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori
1997	J	`jnl`	Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1997	J	`jnl`	Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Inf. Comput. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1997	B	`conf`	Infinite computations in concurrent constraint programming. MFPS Frank S. de Boer, Maurizio Gabbrielli
1997	J	`jnl`	Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1997	—	`conf`	Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
1997	A	`conf`	Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
1996	J	`jnl`	A Closer Look at Declarative Interpretations. J. Log. Program. Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi
1996	J	`jnl`	Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1996	—	`conf`	Layered Modes. APPIA-GULP-PRODE Sandro Etalle, Maurizio Gabbrielli
1996	J	`jnl`	On the Correctness of the Replacement Operation for CLP Modules. J. Funct. Log. Program. Sandro Etalle, Maurizio Gabbrielli
1996	B	`conf`	Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi
1996	J	`jnl`	Resultants Semantics for Prolog. J. Log. Comput. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1996	J	`jnl`	Transformations of CLP Modules. Theor. Comput. Sci. Sandro Etalle, Maurizio Gabbrielli
1995	B	`conf`	A Transformation System for Modular CLP Programs. ICLP Sandro Etalle, Maurizio Gabbrielli
1995	—	`conf`	Confluence in Concurrent Constraint Programming. AMAST Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1995	—	`conf`	Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE Frank S. de Boer, Maurizio Gabbrielli
1995	—	`conf`	Modelling Real-Time in Concurrent Constraint Programming. ILPS Frank S. de Boer, Maurizio Gabbrielli
1995	J	`jnl`	Observable Behaviors and Equivalences of Logic Programs Inf. Comput. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1995	J	`jnl`	Observable Semantics for Constraint Logic Programs. J. Log. Comput. Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi
1995	C	`conf`	The Replacement Operation for CLP Modules. PEPM Sandro Etalle, Maurizio Gabbrielli
1994	J	`jnl`	A Compositional Semantics for Logic Programs. Theor. Comput. Sci. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1994	—	`conf`	Confluence and Concurrent Constraint Programming. GULP-PRODE (1) Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1994	B	`conf`	Declarative Interpretations Reconsidered. ICLP Krzysztof R. Apt, Maurizio Gabbrielli
1994	—	`conf`	Denotational semantics for Concurrent Constraint Programs analyses. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1994	Misc	`conf`	Goal independency and call patterns in the analysis of logic programs. SAC Maurizio Gabbrielli, Roberto Giacobazzi
1994	—	`ed.`	ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994 ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Frank S. de Boer, Maurizio Gabbrielli
1994	—	`conf`	Modular Transformations of CLP Programs. GULP-PRODE (1) Sandro Etalle, Maurizio Gabbrielli
1994	—	`conf`	Modular Transformations of CLP Programs. ILPS Workshop: Constraints and Databases Sandro Etalle, Maurizio Gabbrielli
1994	A*	`conf`	Proving Concurrent Constraint Programs Correct. POPL Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1994	—	`conf`	Proving correctness of Concurrent Constraint Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1994	J	`jnl`	The s-Semantics Approach: Theory and Applications. J. Log. Program. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
1993	A*	`conf`	Compositional Analysis for Concurrent Constraint Programming LICS Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1993	A*	`conf`	Differential Logic Programming. POPL Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1993	—	`conf`	Modular Logic Programs on Finite Domains. GULP Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi
1992	B	`conf`	A Two Steps Semantics for Logic Programs with Negation. LPAR Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
1992	—	`conf`	Contributions to the Semantics of Open Logic Programs. FGCS Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1992	—	`conf`	Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. ALP Maurizio Gabbrielli, Maria Chiara Meo
1992	—	`conf`	New Semantic Tools for Logic Programming. REX Workshop Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
1992	—	`conf`	Observational Equivalences for Logic Programs. JICSLP Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1992	J	`jnl`	Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Theor. Comput. Sci. Maurizio Gabbrielli, Giorgio Levi
1991	—	`conf`	A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 Maurizio Gabbrielli, Giorgio Levi
1991	—	`conf`	An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1991	—	`conf`	Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. PLILP Antonio Brogi, Maurizio Gabbrielli
1991	B	`conf`	Modeling Answer Constraints in Constraint Logic Programs. ICLP Maurizio Gabbrielli, Giorgio Levi
1991	A*	`conf`	On the Semantics of Logic Programs. ICALP Maurizio Gabbrielli, Giorgio Levi
1990	J	`jnl`	Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
1990	—	`conf`	Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ALP Maurizio Gabbrielli, Giorgio Levi