Jacopo Mauro - RankMe

120 papers A* 3A 8B 10C 6Misc 4Journal 49Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	GitOps for Capture the Flag Platforms. CoRR Mikkel Bengtson Albrechtsen, Jacopo Mauro, Torben Worm
2026	—	`conf`	Towards Implementing Distributed Custom Serverless Function Scheduling in FunLess. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2026	J	`jnl`	tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies. Sci. Comput. Program. Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2025	A	`conf`	Affinity-aware Serverless Function Scheduling. ICSA Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2025	—	`conf`	Mocking Classes in Kotlin with Mockative. SEAA (2) Kristian Degn Abrahamsen, Jacopo Mauro
2025	J	`jnl`	Priority Matters: Optimising Kubernetes Clusters Usage with Constraint-Based Pod Packing. CoRR Henrik Daniel Christensen, Saverio Giallorenzo, Jacopo Mauro
2025	B	`conf`	Reachability Analysis of Function-as-a-Service Scheduling Policies. iFM Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2025	—	`conf`	Towards a Framework for Transitioning from Monolith to Serverless. The Combined Power of Research, Education, and Dissemination Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gejsi Vjerdha
2025	J	`jnl`	When Words Change the Model: Sensitivity of LLMs for Constraint Programming Modelling. CoRR Alessio Pellegrino, Jacopo Mauro
2024	J	`jnl`	Affinity-aware Serverless Function Scheduling. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	C	`conf`	An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	—	`conf`	Choreography-Defined Networks: A Case Study on DoS Mitigation. ICSOC (2) Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
2024	A	`conf`	FunLess: Functions-as-a-Service for Private Edge Cloud Systems. ICWS Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	J	`jnl`	FunLess: Functions-as-a-Service for Private Edge Cloud Systems. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	—	`conf`	Function-as-a-Service Allocation Policies Made Formal. ISoLA (1) Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	—	`ch.`	Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
2024	J	`jnl`	Leveraging static analysis for cost-aware serverless scheduling policies. Int. J. Softw. Tools Technol. Transf. Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	J	`jnl`	On the Complexity of Reachability Properties in Serverless Function Scheduling. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	J	`jnl`	Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	J	`jnl`	WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems. IEEE Internet Comput. Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2023	J	`jnl`	Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2023	J	`jnl`	On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res. Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2023	—	`ed.`	Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023 VaMoS Myra B. Cohen, Thomas Thüm, Jacopo Mauro
2023	—	`conf`	Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022	A	`conf`	A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022	—	`conf`	Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022	J	`jnl`	Microservice security: a systematic literature review. PeerJ Comput. Sci. Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini
2022	J	`jnl`	On the evaluation of (meta-)solver approaches. CoRR Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
2022	J	`jnl`	Topology-aware Serverless Function-Execution Scheduling. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022	A*	`conf`	sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). IJCAI Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2021	J	`jnl`	A Mixed-method Study on Security and Privacy Practices in Danish Companies. CoRR Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk, Jacopo Mauro, Elda Paja
2021	—	`conf`	Anomaly detection in Context-aware Feature Models. VaMoS Jacopo Mauro
2021	A	`conf`	Boreas - A Service Scheduler for Optimal Kubernetes Deployment. ICSOC Torgeir Lebesbye, Jacopo Mauro, Gianluca Turin, Ingrid Chieh Yu
2021	J	`jnl`	Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2021	C	`conf`	Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2021	J	`jnl`	Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal. SN Comput. Sci. Saverio Giallorenzo, Jacopo Mauro, Martin Gyde Poulsen, Filip Siroky
2021	—	`conf`	Wandering and getting lost: the architecture of an app activating local communities on dementia issues. SEH@ICSE Nicklas Sindlev Andersen, Marco Chiarandini, Jacopo Mauro
2021	J	`jnl`	Wandering and getting lost: the architecture of an app activating local communities on dementia issues. CoRR Nicklas Sindlev Andersen, Marco Chiarandini, Jacopo Mauro
2021	J	`jnl`	sunny-as2: Enhancing SUNNY for Algorithm Selection. J. Artif. Intell. Res. Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2020	—	`ch.`	A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020	A	`conf`	Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
2020	J	`jnl`	Anomaly detection in Context-aware Feature Models. CoRR Jacopo Mauro
2020	J	`jnl`	Lazy Product Discovery in Huge Configuration Spaces. CoRR Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
2020	A*	`conf`	Lazy product discovery in huge configuration spaces. ICSE Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
2020	J	`jnl`	Microservice Interface Based Deployment Orchestration. CoRR Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020	—	`ed.`	Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, Italy, November 27, 2020 Gabbrielli's Festschrift Frank S. de Boer, Jacopo Mauro
2020	—	`conf`	SMT-based variability analyses in FeatureIDE. VaMoS Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
2020	J	`jnl`	sunny-as2: Enhancing SUNNY for Algorithm Selection. CoRR Tong Liu, Roberto Amadini, Jacopo Mauro, Maurizio Gabbrielli
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	J	`jnl`	On the modeling of optimal and automatized cloud application deployment. J. Log. Algebraic Methods Program. Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro
2019	B	`conf`	Optimal and Automated Deployment for Microservices. FASE Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2019	J	`jnl`	Optimal and Automated Deployment for Microservices. CoRR Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2018	B	`conf`	Anomaly analyses for feature-model evolution. GPCE Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke
2018	—	`conf`	Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2018	J	`jnl`	Context-aware reconfiguration in evolving software product lines. Sci. Comput. Program. Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
2018	—	`conf`	Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2018	J	`jnl`	SUNNY-CP and the MiniZinc challenge. Theory Pract. Log. Program. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2017	—	`conf`	A Model-Based Scalability Optimization Methodology for Cloud Applications. SC² Jia-Chun Lin, Jacopo Mauro, Thomas Brox Røst, Ingrid Chieh Yu
2017	—	`conf`	Anomaly Detection and Explanation in Context-Aware Software Product Lines. SPLC (B) Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
2017	—	`conf`	CaSPL-gen: a Context-aware Software Product Line benchmark generator. NIK Magnus Hestvik, Jacopo Mauro, Ingrid Chieh Yu
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	—	`conf`	SUNNY with Algorithm Configuration. OASC Tong Liu, Roberto Amadini, Jacopo Mauro
2017	J	`jnl`	SUNNY-CP and the MiniZinc Challenge. CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
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`	Context Aware Reconfiguration in Software Product Lines. VaMoS Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
2016	—	`conf`	Declarative Elasticity in ABS. ESOCC Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
2016	—	`conf`	On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods Jacopo Mauro, Gianluigi Zavattaro
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	—	`conf`	User Profiles for Context-Aware Reconfiguration in Software Product Lines. ISoLA (2) Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu
2016	Misc	`conf`	Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. SETTA Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
2015	A*	`conf`	A Multicore Tool for Constraint Solving. IJCAI Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2015	B	`conf`	Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). CONCUR Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2015	A	`conf`	Automatic Deployment of Services in the Cloud with Aeolus Blender. ICSOC Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2015	J	`jnl`	Automatic deployment of component-based applications. Sci. Comput. Program. Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
2015	J	`jnl`	Constraints meet concurrency. Constraints An Int. J. Jacopo Mauro
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`	On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS (1) Jacopo Mauro, Gianluigi Zavattaro
2015	—	`conf`	On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
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	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	J	`jnl`	Aeolus: A component model for the cloud. Inf. Comput. Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
2014	Misc	`conf`	An enhanced features extractor for a portfolio of constraint solvers. SAC Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	—	`book`	Constraints Meet Concurrency. 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`	Portfolio Approaches for Constraint Optimization Problems. LION Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2014	J	`jnl`	SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory Pract. Log. Program. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
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`	A Planning Tool Supporting the Deployment of Cloud Applications. ICTAI Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
2013	—	`conf`	Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2013	B	`conf`	An Empirical Evaluation of Portfolios Approaches for Solving CSPs. CPAIOR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2013	—	`conf`	Automatic Component Deployment in the Presence of Circular Dependencies. FACS Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
2013	—	`conf`	Component Reconfiguration in the Presence of Conflicts. ICALP (2) Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
2013	J	`jnl`	Expressive power of Constraint Handling Rules extensions and fragments. Bull. EATCS 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	—	`conf`	Towards Global and Local Types for Adaptation. SEFM Workshops Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
2012	J	`jnl`	An Empirical Evaluation of Portfolios Approaches for solving CSPs CoRR Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
2012	—	`—`	Constraints meet concurrency. Jacopo Mauro
2012	—	`conf`	Interface-Based Service Composition with Aggregation. ESOCC Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
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	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	B	`conf`	Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios. CPAIOR Zeynep Kiziltan, Jacopo Mauro
2009	C	`conf`	On the expressive power of priorities in CHR. PPDP Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
2008	B	`conf`	Compiling and Executing Declarative Modeling Languages to Gecode. ICLP Raffaele Cipriano, Agostino Dovier, Jacopo Mauro