Luca Bortolussi

259 papers A* 6A 4B 21C 4Misc 1Journal 119Unranked 94

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Sobering Look at Tabular Data Generation via Probabilistic Circuits. CoRR Davide Scassola, Dylan Ponsford, Adrián Javaloy, Sebastiano Saccani, Luca Bortolussi, Henry Gouk, Antonio Vergari
2026	—	`conf`	DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling. TACAS (1) Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
2026	J	`jnl`	DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling. CoRR Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
2026	J	`jnl`	Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic. CoRR Sara Candussio, Gabriele Sarti, Gaia Saveri, Luca Bortolussi
2026	A*	`conf`	Graph-Conditional Flow Matching for Relational Data Generation. AAAI Davide Scassola, Sebastiano Saccani, Luca Bortolussi
2026	J	`jnl`	Scalable and reliable stochastic parametric verification with stochastic variational smoothed model checking. Int. J. Syst. Sci. Francesca Cairoli, Luca Bortolussi
2025	J	`jnl`	Advancing Routing-Awareness in Analog ICs Floorplanning. CoRR Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal
2025	—	`conf`	Assessing Reliability of Explanations in Unbalanced Datasets: a Use-case on the Occurrence of Frost Events. xAI (Late-breaking Work, Demos, Doctoral Consortium) Ilaria Vascotto, Valentina Blasone, Alex Rodriguez, Alessandro Bonaita, Luca Bortolussi
2025	J	`jnl`	Assessing reliability of explanations in unbalanced datasets: a use-case on the occurrence of frost events. CoRR Ilaria Vascotto, Valentina Blasone, Alex Rodriguez, Alessandro Bonaita, Luca Bortolussi
2025	J	`jnl`	Beyond single-model XAI: aggregating multi-model explanations for enhanced trustworthiness. CoRR Ilaria Vascotto, Alex Rodriguez, Alessandro Bonaita, Luca Bortolussi
2025	J	`jnl`	Blending adversarial training and representation-conditional purification via aggregation improves adversarial robustness. Trans. Mach. Learn. Res. Emanuele Ballarin, Alessio Ansuini, Luca Bortolussi
2025	—	`conf`	Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers. ECML/PKDD (5) Sara Candussio, Gaia Saveri, Gabriele Sarti, Luca Bortolussi
2025	J	`jnl`	Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers. CoRR Sara Candussio, Gaia Saveri, Gabriele Sarti, Luca Bortolussi
2025	B	`conf`	CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-Series. RV Nicholas A. Pearson, Francesca Zanello, Davide Russo, Luca Bortolussi, Francesca Cairoli
2025	J	`jnl`	CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series. CoRR Nicholas A. Pearson, Francesca Zanello, Davide Russo, Luca Bortolussi, Francesca Cairoli
2025	J	`jnl`	Conformal Predictive Monitoring for Multi-Modal Scenarios. CoRR Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti
2025	B	`conf`	Conformal Predictive Monitoring for Multi-modal Scenarios. RV Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti
2025	J	`jnl`	Contrastive Learning-Based privacy metrics in Tabular Synthetic Datasets. CoRR Milton Nicolás Plasencia Palacios, Sebastiano Saccani, Gabriele Sgroi, Alexander T. P. Boudewijn, Luca Bortolussi
2025	J	`jnl`	Diffusion-based Time Series Forecasting for Sewerage Systems. CoRR Nicholas A. Pearson, Francesca Cairoli, Luca Bortolussi, Davide Russo, Francesca Zanello
2025	A	`conf`	Effective Analog ICs Floorplanning with Relational Graph Neural Networks and Reinforcement Learning. DATE Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal
2025	J	`jnl`	Empirical Evaluation of Structured Synthetic Data Privacy Metrics: Novel experimental framework. CoRR Milton Nicolás Plasencia Palacios, Alexander T. P. Boudewijn, Sebastiano Saccani, Andrea Filippo Ferraris, Diana Sofronieva, Giuseppe D'Acquisto, Filiberto Brozzetti, Daniele Panfilo, Luca Bortolussi
2025	—	`conf`	Enhancing Reinforcement Learning for the Floorplanning of Analog ICs with Beam Search. SMACD Sandro Junior Della Rovere, Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal
2025	J	`jnl`	Enhancing Reinforcement Learning for the Floorplanning of Analog ICs with Beam Search. CoRR Sandro Junior Della Rovere, Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal
2025	A	`conf`	Evolutionary Synthesis of Probabilistic Programs. GECCO Romina Doz, Francesca Randone, Eric Medvet, Luca Bortolussi
2025	B	`conf`	Frequency maps reveal the correlation between Adversarial Attacks and Implicit Bias. IJCNN Lorenzo Basile, Nikos Karantzas, Alberto d'Onofrio, Luca Manzoni, Luca Bortolussi, Alex Rodriguez, Fabio Anselmi
2025	J	`jnl`	Graph Conditional Flow Matching for Relational Data Generation. CoRR Davide Scassola, Sebastiano Saccani, Luca Bortolussi
2025	J	`jnl`	Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics. CoRR Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2025	A*	`conf`	Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations. ICLR Lorenzo Basile, Santiago Acevedo, Luca Bortolussi, Fabio Anselmi, Alex Rodriguez
2025	—	`ed.`	Joint Proceedings of the Thematic Workshops at Ital-IA 2025 colocated with the 5th National Conference on Artificial Intelligence, organized by CINI (Ital-IA 2025), Trieste, Italy, June 23-24, 2025. Ital-IA Luca Manzoni, Luca Bortolussi, Giulia Cisotto, Fabio Anselmi
2025	—	`conf`	Neuro-Symbolic Discovery of Markov Population Processes. NeuS Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
2025	J	`jnl`	On the Robustness of Bayesian Neural Networks to Adversarial Attacks. IEEE Trans. Neural Networks Learn. Syst. Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
2025	J	`jnl`	ResiDual Transformer Alignment with Spectral Decomposition. Trans. Mach. Learn. Res. Lorenzo Basile, Valentino Maiorca, Luca Bortolussi, Emanuele Rodolà, Francesco Locatello
2025	A*	`conf`	Scaling Combinatorial Optimization Neural Improvement Heuristics with Online Search and Adaptation. AAAI Federico Julian Camerota Verdù, Lorenzo Castelli, Luca Bortolussi
2025	J	`jnl`	Timeseria: An object-oriented time series processing library. SoftwareX Stefano Alberto Russo, Giuliano Taffoni, Luca Bortolussi
2025	J	`jnl`	Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics. CoRR Irene Ferfoglia, Simone Silvetti, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2025	—	`conf`	When Can You Trust Your Explanations? A Robustness Analysis on Feature Importances. xAI (3) Ilaria Vascotto, Alex Rodriguez, Alessandro Bonaita, Luca Bortolussi
2025	A*	`conf`	Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints. AAAI Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi
2024	J	`jnl`	Can you trust your explanations? A robustness test for feature attribution methods. CoRR Ilaria Vascotto, Alex Rodriguez, Alessandro Bonaita, Luca Bortolussi
2024	J	`jnl`	Deep Learning-Informed Bayesian Model-Based Analysis to Estimate Superspreading Events in Epidemic Outbreaks. IEEE Access Arianna Tasciotti, Federico Urban, Federica De Dea, Luca Bortolussi, Giulio Caravagna, Alberto d'Onofrio
2024	—	`conf`	ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series. NeSy (2) Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024	J	`jnl`	ECATS: Explainable-by-design concept-based anomaly detection for time series. CoRR Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi
2024	J	`jnl`	Effective Analog ICs Floorplanning with Relational Graph Neural Networks and Reinforcement Learning. CoRR Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal
2024	—	`conf`	Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees. SMACD Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal
2024	J	`jnl`	Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees. CoRR Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal
2024	J	`jnl`	Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proc. ACM Program. Lang. Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
2024	J	`jnl`	Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations. CoRR Lorenzo Basile, Santiago Acevedo, Luca Bortolussi, Fabio Anselmi, Alex Rodriguez
2024	—	`conf`	Is Machine Learning Model Checking Privacy Preserving? ISoLA (2) Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti
2024	J	`jnl`	ResiDual Transformer Alignment with Spectral Decomposition. CoRR Lorenzo Basile, Valentino Maiorca, Luca Bortolussi, Emanuele Rodolà, Francesco Locatello
2024	—	`conf`	Retrieval-Augmented Mining of Temporal Logic Specifications from Data. ECML/PKDD (7) Gaia Saveri, Luca Bortolussi
2024	J	`jnl`	Retrieval-Augmented Mining of Temporal Logic Specifications from Data. CoRR Gaia Saveri, Luca Bortolussi
2024	J	`jnl`	Scaling Combinatorial Optimization Neural Improvement Heuristics with Online Search and Adaptation. CoRR Federico Julian Camerota Verdù, Lorenzo Castelli, Luca Bortolussi
2024	J	`jnl`	Timeseria: an object-oriented time series processing library. CoRR Stefano Alberto Russo, Giuliano Taffoni, Luca Bortolussi
2024	—	`conf`	Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. ISoLA (1) Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi
2024	A	`conf`	stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. ECAI Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
2024	J	`jnl`	stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. CoRR Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský
2023	J	`jnl`	CARSO: Counter-Adversarial Recall of Synthetic Observations. CoRR Emanuele Ballarin, Alessio Ansuini, Luca Bortolussi
2023	J	`jnl`	Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints. CoRR Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi
2023	—	`conf`	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2023	—	`conf`	Data Science and Artificial Intelligence for Life Sciences at the University of Trieste. Ital-IA Giulia Barbati, Luca Bortolussi, Giulio Caravagna
2023	J	`jnl`	Data Symmetries and Learning in Fully Connected Neural Networks. IEEE Access Fabio Anselmi, Luca Manzoni, Alberto d'Onofrio, Alex Rodriguez, Giulio Caravagna, Luca Bortolussi, Francesca Cairoli
2023	—	`conf`	Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
2023	—	`conf`	Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data. EPIA (2) Giovanni Baj, Arjuna Scagnetto, Luca Bortolussi, Giulia Barbati
2023	J	`jnl`	Generative abstraction of Markov population processes. Theor. Comput. Sci. Francesca Cairoli, Fabio Anselmi, Alberto d'Onofrio, Luca Bortolussi
2023	J	`jnl`	Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. CoRR Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
2023	B	`conf`	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2023	J	`jnl`	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2023	—	`conf`	Machine Learning methods for the Atmosphere, the Ocean, and the Seabed. Ital-IA Valentina Blasone, Umberto Di Laudo, Gloria Pietropolli, Luca Bortolussi, Silvia Ceramicola, Gianpiero Cossarini, Luca Manzoni
2023	—	`conf`	Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. QEST Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola
2023	J	`jnl`	MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
2023	J	`jnl`	Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension. CoRR Lorenzo Basile, Nikos Karantzas, Alberto d'Onofrio, Luca Bortolussi, Alex Rodriguez, Fabio Anselmi
2023	—	`conf`	Reliable and Explainable AI in Trieste. Ital-IA Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri
2023	B	`conf`	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
2023	C	`conf`	Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. NeSy Gaia Saveri, Luca Bortolussi
2023	J	`jnl`	Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. CoRR Gaia Saveri, Luca Bortolussi
2022	J	`jnl`	A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
2022	J	`jnl`	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2022	J	`jnl`	Deep artificial neural network for prediction of atrial fibrillation through the analysis of 12-leads standard ECG. CoRR Arjuna Scagnetto, Giulia Barbati, Ilaria Gandin, C. Cappelletto, Giovanni Baj, Alberto Cazzaniga, Francesca Cuturello, Alessio Ansuini, Luca Bortolussi, A. Di Lenarda
2022	J	`jnl`	Efficient extraction of seismic reflection with Deep Learning. Comput. Geosci. Giacomo Roncoroni, Emanuele Forte, Luca Bortolussi, Michele Pipan
2022	J	`jnl`	Graph Neural Networks for Propositional Model Counting. CoRR Gaia Saveri, Luca Bortolussi
2022	—	`conf`	Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. QEST Francesca Randone, Luca Bortolussi, Mirco Tribastone
2022	—	`conf`	Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
2022	J	`jnl`	Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
2022	—	`conf`	Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2022	J	`jnl`	On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
2022	B	`conf`	Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. IJCNN Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti
2022	J	`jnl`	Stochastic Variational Smoothed Model Checking. CoRR Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
2022	—	`conf`	Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design Michael Backenköhler, Luca Bortolussi, Verena Wolf
2021	J	`jnl`	A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
2021	—	`conf`	Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
2021	J	`jnl`	Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
2021	—	`conf`	Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. QEST Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
2021	J	`jnl`	Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. CoRR Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
2021	—	`conf`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin
2021	—	`conf`	Analysis of Markov Jump Processes under Terminal Constraints. TACAS (1) Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
2021	J	`jnl`	MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
2021	B	`conf`	Neural Predictive Monitoring Under Partial Observability. RV Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2021	J	`jnl`	Neural Predictive Monitoring under Partial Observability. CoRR Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2021	J	`jnl`	Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2021	B	`conf`	Random Projections for Improved Adversarial Robustness. IJCNN Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
2021	J	`jnl`	Random Projections for Improved Adversarial Robustness. CoRR Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
2021	—	`conf`	Refining Mean-field Approximations by Dynamic State Truncation. SIGMETRICS (Abstracts) Francesca Randone, Luca Bortolussi, Mirco Tribastone
2021	J	`jnl`	Refining Mean-field Approximations by Dynamic State Truncation. Proc. ACM Meas. Anal. Comput. Syst. Francesca Randone, Luca Bortolussi, Mirco Tribastone
2021	J	`jnl`	Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. CoRR Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
2021	J	`jnl`	Variance Reduction in Stochastic Reaction Networks using Control Variates. CoRR Michael Backenköhler, Luca Bortolussi, Verena Wolf
2020	—	`conf`	A kernel function for Signal Temporal Logic formulae. OVERLAY Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
2020	J	`jnl`	A kernel function for Signal Temporal Logic formulae. CoRR Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
2020	—	`conf`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
2020	J	`jnl`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
2020	J	`jnl`	Analysis of Markov Jump Processes under Terminal Constraints. CoRR Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
2020	—	`conf`	Bayesian Neural Predictive Monitoring. OVERLAY Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	—	`conf`	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. QEST Michael Backenköhler, Luca Bortolussi, Verena Wolf
2020	J	`jnl`	Density-embedding layers: a general framework for adaptive receptive fields. CoRR Francesco Cicala, Luca Bortolussi
2020	J	`jnl`	Fluid approximation of broadcasting systems. Theor. Comput. Sci. Luca Bortolussi, Jane Hillston, Michele Loreti
2020	J	`jnl`	Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone
2020	B	`conf`	Monitoring Spatio-Temporal Properties (Invited Tutorial). RV Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
2020	B	`conf`	MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
2020	A*	`conf`	Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti
2020	J	`jnl`	Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti
2019	—	`conf`	Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents. M4IoT@Middleware Luca Bortolussi, Vincenzo Gulisano, Eric Medvet, Dimitrios Palyvos-Giannas
2019	—	`conf`	Bayesian Abstraction of Markov Population Models. QEST Luca Bortolussi, Francesca Cairoli
2019	—	`conf`	Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. CMSB Michael Backenköhler, Luca Bortolussi, Verena Wolf
2019	J	`jnl`	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. CoRR Michael Backenköhler, Luca Bortolussi, Verena Wolf
2019	J	`jnl`	Central Limit Model Checking. ACM Trans. Comput. Log. Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2019	—	`ed.`	Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings CMSB Luca Bortolussi, Guido Sanguinetti
2019	—	`conf`	Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
2019	—	`conf`	Control Variates for Stochastic Simulation of Chemical Reaction Networks. CMSB Michael Backenköhler, Luca Bortolussi, Verena Wolf
2019	J	`jnl`	Introduction to the Special Issue on Qest 2017. ACM Trans. Model. Comput. Simul. Luca Bortolussi, Nathalie Bertrand
2019	J	`jnl`	Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2019	B	`conf`	Neural Predictive Monitoring. RV Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2019	—	`conf`	Reducing Spreading Processes on Networks to Markov Population Models. QEST Gerrit Großmann, Luca Bortolussi
2019	J	`jnl`	Reducing Spreading Processes on Networks to Markov Population Models. CoRR Gerrit Großmann, Luca Bortolussi
2019	—	`conf`	Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. COMPLEX NETWORKS (1) Gerrit Großmann, Luca Bortolussi, Verena Wolf
2019	J	`jnl`	Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. CoRR Gerrit Großmann, Luca Bortolussi, Verena Wolf
2019	J	`jnl`	Size expansions of mean field approximation: Transient and steady-state analysis. Perform. Evaluation Nicolas Gast, Luca Bortolussi, Mirco Tribastone
2018	—	`conf`	A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
2018	—	`conf`	Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. TACAS (2) Luca Bortolussi, Simone Silvetti
2018	Misc	`conf`	Bayesian Statistical parametric Verification and synthesis by Machine Learning. WSC Luca Bortolussi, Guido Sanguinetti, Simone Silvetti
2018	J	`jnl`	Central Limit Model Checking. CoRR Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2018	—	`conf`	Deep Abstractions of Chemical Reaction Networks. CMSB Luca Bortolussi, Luca Palmieri
2018	J	`jnl`	Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence. CoRR Luca Bortolussi, Guido Sanguinetti
2018	—	`conf`	Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. QEST Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
2018	J	`jnl`	Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. CoRR Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
2018	J	`jnl`	Model checking Markov population models by stochastic approximations. Inf. Comput. Luca Bortolussi, Roberta Lanciani, Laura Nenzi
2018	J	`jnl`	Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium. IEEE ACM Trans. Comput. Biol. Bioinform. Michael Backenköhler, Luca Bortolussi, Verena Wolf
2018	J	`jnl`	Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2018	B	`conf`	Signal Convolution Logic. ATVA Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2018	J	`jnl`	Signal Convolution Logic. CoRR Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
2018	J	`jnl`	Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis. SIGMETRICS Perform. Evaluation Rev. Nicolas Gast, Luca Bortolussi, Mirco Tribastone
2017	J	`jnl`	A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci
2017	B	`conf`	An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. IFM Simone Silvetti, Alberto Policriti, Luca Bortolussi
2017	J	`jnl`	An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. CoRR Simone Silvetti, Alberto Policriti, Luca Bortolussi
2017	J	`jnl`	Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes. CoRR Charalampos Kyriakopoulos, Gerrit Grossmann, Verena Wolf, Luca Bortolussi
2017	J	`jnl`	Model Checking Markov Population Models by Stochastic Approximations. CoRR Luca Bortolussi, Roberta Lanciani, Laura Nenzi
2017	C	`conf`	Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2017	J	`jnl`	Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2017	J	`jnl`	Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2017	—	`ed.`	Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings QEST Nathalie Bertrand, Luca Bortolussi
2017	—	`conf`	Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
2016	—	`conf`	Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	J	`jnl`	Editorial: Quantitative Aspects of Programming Languages and Systems. Theor. Comput. Sci. Nathalie Bertrand, Luca Bortolussi, Herbert Wiklicky
2016	—	`conf`	Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. ASMTA Luca Bortolussi, Max Tschaikowski
2016	—	`conf`	Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. CMSB Michael Backenköhler, Luca Bortolussi, Verena Wolf
2016	J	`jnl`	Hybrid behaviour of Markov population models. Inf. Comput. Luca Bortolussi
2016	—	`conf`	Location Aggregation of Spatial Population CTMC Models. QAPL Luca Bortolussi, Cheng Feng
2016	—	`conf`	Logic-Based Multi-objective Design of Chemical Reaction Networks. HSB Luca Bortolussi, Alberto Policriti, Simone Silvetti
2016	—	`conf`	Matching Models Across Abstraction Levels with Gaussian Processes. CMSB Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti
2016	A	`conf`	Mean Field Approximation of Uncertain Stochastic Models. DSN Luca Bortolussi, Nicolas Gast
2016	—	`conf`	Mean-Field Limits Beyond Ordinary Differential Equations. SFM Luca Bortolussi, Nicolas Gast
2016	—	`conf`	Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2016	J	`jnl`	Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
2016	J	`jnl`	Smoothed model checking for uncertain Continuous-Time Markov Chains. Inf. Comput. Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
2016	—	`conf`	jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS Laura Nenzi, Luca Bortolussi, Michele Loreti
2015	—	`conf`	CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
2015	J	`jnl`	Coding Theory: A General Framework and Two Inverse Problems. Fundam. Informaticae Luca Bortolussi, Liviu P. Dinu, Laura Franzoi, Andrea Sgarro
2015	—	`conf`	Efficient Checking of Individual Rewards Properties in Markov Population Models. QAPL Luca Bortolussi, Jane Hillston
2015	—	`conf`	Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. CMSB Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
2015	—	`conf`	Fluid Model Checking of Timed Properties. FORMATS Luca Bortolussi, Roberta Lanciani
2015	J	`jnl`	Fluid Model Checking of Timed Properties. CoRR Luca Bortolussi, Roberta Lanciani
2015	J	`jnl`	Learning and Designing Stochastic Processes from Logical Constraints. Log. Methods Comput. Sci. Luca Bortolussi, Guido Sanguinetti
2015	B	`conf`	Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. RV Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
2015	J	`jnl`	Model checking single agent behaviours by fluid approximation. Inf. Comput. Luca Bortolussi, Jane Hillston
2015	—	`conf`	Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. HSB Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf
2015	J	`jnl`	On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Comput. Biol. Chem. Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel
2015	B	`conf`	Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2015	—	`conf`	Rule-based modelling and simulation of drug-administration policies. SpringSim (MSM) Luca Bortolussi, Thilo Krüger, Thorsten Lehr, Verena Wolf
2015	—	`conf`	Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
2015	J	`jnl`	System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
2015	—	`conf`	U-Check: Model Checking and Parameter Synthesis Under Uncertainty. QEST Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
2014	J	`jnl`	A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
2014	—	`conf`	A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems. QEST Luca Bortolussi, Guido Sanguinetti
2014	—	`conf`	Data-Driven Statistical Learning of Temporal Logic Properties. FORMATS Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
2014	—	`conf`	Fluid Performability Analysis of Nested Automata Models. PASM Luca Bortolussi, Jane Hillston, Mirco Tribastone
2014	J	`jnl`	Hybrid Systems and Biology. Inf. Comput. Ezio Bartocci, Luca Bortolussi, Scott A. Smolka
2014	—	`conf`	Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models. QEST Luca Bortolussi, Rytis Paskauskas
2014	J	`jnl`	Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models. CoRR Luca Bortolussi, Rytis Paskauskas
2014	—	`ed.`	Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. QAPL Nathalie Bertrand, Luca Bortolussi
2014	J	`jnl`	Smoothed Model Checking for Uncertain Continuous Time Markov Chains. CoRR Luca Bortolussi, Guido Sanguinetti
2014	—	`conf`	Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. VALUETOOLS Laura Nenzi, Luca Bortolussi
2014	—	`conf`	Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. EPEW Luca Bortolussi, Roberta Lanciani
2014	J	`jnl`	Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. CoRR Luca Bortolussi, Vashti Galpin, Jane Hillston
2014	—	`conf`	Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. ISoLA (2) Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi
2013	J	`jnl`	(Hybrid) automata and (stochastic) programs J. Log. Comput. Luca Bortolussi, Alberto Policriti
2013	—	`conf`	A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. CMSB Ezio Bartocci, Luca Bortolussi, Laura Nenzi
2013	J	`jnl`	A temporal logic approach to modular design of synthetic biological circuits. CoRR Ezio Bartocci, Luca Bortolussi, Laura Nenzi
2013	J	`jnl`	Bounds on the deviation of discrete-time Markov chains from their mean-field model. Perform. Evaluation Luca Bortolussi, Richard A. Hayden
2013	—	`conf`	Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. SFM Luca Bortolussi, Jane Hillston
2013	J	`jnl`	Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink
2013	—	`conf`	Differential analysis of interacting automata with immediate actions. VALUETOOLS Luca Bortolussi, Mirco Tribastone
2013	J	`jnl`	HYPE: Hybrid modelling by composition of flows. Formal Aspects Comput. Vashti Galpin, Luca Bortolussi, Jane Hillston
2013	J	`jnl`	Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias. CoRR Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
2013	—	`conf`	Learning and Designing Stochastic Processes from Logical Constraints. QEST Luca Bortolussi, Guido Sanguinetti
2013	—	`conf`	Model Checking Markov Population Models by Central Limit Approximation. QEST Luca Bortolussi, Roberta Lanciani
2013	—	`conf`	On the Robustness of Temporal Properties for Stochastic Models. HSB Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
2013	—	`ed.`	Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. QAPL Luca Bortolussi, Herbert Wiklicky
2013	—	`ed.`	Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013. HAS Luca Bortolussi, Manuela-Luminita Bujorianu, Giordano Pola
2013	C	`conf`	Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION Luca Bortolussi, Diego Latella, Mieke Massink
2012	—	`conf`	Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. EPEW/UKPEW Alireza Pourranjbar, Jane Hillston, Luca Bortolussi
2012	—	`conf`	Fluid Approximation of CTMC with Deterministic Delays. QEST Luca Bortolussi, Jane Hillston
2012	J	`jnl`	Fluid Model Checking CoRR Luca Bortolussi, Jane Hillston
2012	B	`conf`	Fluid Model Checking. CONCUR Luca Bortolussi, Jane Hillston
2012	A*	`conf`	Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion. SIGMETRICS Benny Van Houdt, Luca Bortolussi
2012	B	`conf`	Fluid limits of queueing networks with batches. ICPE Luca Bortolussi, Mirco Tribastone
2012	J	`jnl`	Hybrid Behaviour of Markov Population Models CoRR Luca Bortolussi
2012	—	`conf`	Hybrid performance modelling of opportunistic networks QAPL Luca Bortolussi, Vashti Galpin, Jane Hillston
2012	—	`ed.`	Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. HSB Ezio Bartocci, Luca Bortolussi
2012	J	`jnl`	Spearman Permutation Distances and Shannon's Distinguishability. Fundam. Informaticae Luca Bortolussi, Liviu Petrisor Dinu, Andrea Sgarro
2012	J	`jnl`	Studying cancer-cell populations by programmable models of networks. Netw. Model. Anal. Health Informatics Bioinform. Luca Bortolussi, Alberto Policriti
2011	—	`conf`	HYPE with stochastic events QAPL Luca Bortolussi, Vashti Galpin, Jane Hillston
2011	—	`ch.`	How many possible languages are there? Biology, Computation and Linguistics Luca Bortolussi, Andrea Sgarro, Giuseppe Longobardi, Cristina Guardiano
2011	—	`conf`	Hybrid Limits of Continuous Time Markov Chains. QEST Luca Bortolussi
2011	—	`conf`	Programmable models of growth and mutation of cancer-cell populations CompMod Luca Bortolussi, Alberto Policriti
2010	—	`conf`	Hybrid Semantics for PEPA. QEST Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone
2010	J	`jnl`	Hybrid dynamics of stochastic programs. Theor. Comput. Sci. Luca Bortolussi, Alberto Policriti
2010	—	`conf`	Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras. ASMTA Luca Bortolussi
2010	—	`conf`	Perspectives on Constraints, Process Algebras, and Hybrid Systems. WCB@ICLP Luca Bortolussi, Alberto Policriti
2010	—	`conf`	Possibilistic Coding: Error Detection vs. Error Correction. SMPS Luca Bortolussi, Andrea Sgarro
2009	—	`conf`	CoBiC: Context-dependent Bioambient Calculus. QAPL Luca Bortolussi, Maria Grazia Vigliotti
2009	J	`jnl`	Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. Trans. Comp. Sys. Biology Luca Bortolussi, Alberto Policriti
2009	B	`conf`	HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR Vashti Galpin, Luca Bortolussi, Jane Hillston
2009	J	`jnl`	Hybrid Dynamics of Stochastic pi-Calculus. Math. Comput. Sci. Luca Bortolussi, Alberto Policriti
2009	—	`conf`	Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration COMPMOD Luca Bortolussi, Alberto Policriti
2009	C	`conf`	Stochastic Programs and Hybrid Automata for (Biological) Modeling. CiE Luca Bortolussi, Alberto Policriti
2008	—	`book`	Computational Systems Biology with Constraints - Stochastic Modeling of Biological Systems with Concurrent Constraint Programming. Luca Bortolussi
2008	B	`conf`	HYPE Applied to the Modelling of Hybrid Biological Systems. MFPS Vashti Galpin, Jane Hillston, Luca Bortolussi
2008	—	`conf`	Hybrid Semantics for Stochastic pi-Calculus. AB Luca Bortolussi, Alberto Policriti
2008	—	`conf`	Hybrid Systems and Biology. SFM Luca Bortolussi, Alberto Policriti
2008	J	`jnl`	Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints An Int. J. Luca Bortolussi, Alberto Policriti
2008	—	`conf`	On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. QAPL Luca Bortolussi
2008	—	`conf`	The Importance of Being (A Little Bit) Discrete. FBTC@ICALP Luca Bortolussi, Alberto Policriti
2007	J	`jnl`	Agent-based protein structure prediction. Multiagent Grid Syst. Luca Bortolussi, Agostino Dovier, Federico Fogolari
2007	—	`conf`	Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps. BIBM Luca Bortolussi, Simone Fonda, Alberto Policriti
2007	—	`—`	Constraint-based approaches to stochastic dynamics of biological systems. Luca Bortolussi
2007	—	`conf`	Stochastic Concurrent Constraint Programming and Differential Equations. QAPL Luca Bortolussi, Alberto Policriti
2006	—	`conf`	BuST-Bundled Suffix Trees. IFIP TCS Luca Bortolussi, Francesco Fabris, Alberto Policriti
2006	—	`conf`	Possibilistic Channels for DNA Word Design. SMPS Luca Bortolussi, Andrea Sgarro
2006	—	`conf`	Stochastic Concurrent Constraint Programming. QAPL Luca Bortolussi
2005	B	`conf`	A Distributed and Probabilistic Concurrent Constraint Programming Language. ICLP Luca Bortolussi, Herbert Wiklicky
2005	B	`conf`	Concurrent Methodologies for Global Optimization. ICLP Luca Bortolussi
2004	J	`jnl`	Fuzzy Possibilities As Upper Previsions. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Paolo Vicig, Luca Bortolussi