BORTOLUSSI, LUCA

BORTOLUSSI, LUCA  

Dipartimento di Matematica e Geoscienze  

Settore INF/01 - Informatica  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 173 (tempo di esecuzione: 0.055 secondi).
Titolo Data di pubblicazione Autori File
A Criterion for the Stochasticity of Matrices with Specified Order Relations 1-gen-2008 BORTOLUSSI, LUCASGARRO, ANDREA
A Distributed and Probabilistic Concurrent Constraint Programming Language 1-gen-2005 BORTOLUSSI, LUCA +
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical SystemsQuantitative Evaluation of Systems 1-gen-2014 BORTOLUSSI, LUCA +
A statistical empirical energy function for proteins 1-gen-2006 BORTOLUSSI, LUCA +
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits 1-gen-2013 BORTOLUSSI, LUCALaura Nenzi +
A temporal logic approach to modular design of synthetic biological circuits 1-gen-2013 BORTOLUSSI, LUCAL. Nenzi +
Abstraction of Markov Population Dynamics via Generative Adversarial Nets 1-gen-2021 Cairoli F.Carbone G.Bortolussi L.
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models 1-gen-2021 Bortolussi L. +
An active learning approach to the falsification of black box cyber-physical systems 1-gen-2017 Bortolussi, Luca +
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems 1-gen-2021 Luca BortolussiFrancesca CairoliGinevra CarboneEnrico Regolin +
Agent-based Protein Folding Simulation 1-gen-2005 BORTOLUSSI, LUCA +
Analysis of Markov Jump Processes under Terminal Constraints 1-gen-2021 Bortolussi, Luca +
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation 1-gen-2016 BORTOLUSSI, LUCA +
At the boundaries of syntactic prehistory 1-gen-2021 Ceolin, AndreaGuardiano, CristinaLongobardi, GiuseppeBortolussi, LucaSgarro, Andrea +
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents 1-gen-2019 Bortolussi, LucaMedvet, Eric +
Bayesian Abstraction of Markov Population Models 1-gen-2019 Luca BortolussiFrancesca Cairoli
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models 1-gen-2018 Bortolussi, LucaSilvetti, Simone
Bayesian statistical parametric verification and synthesis by machine learning 1-gen-2019 Bortolussi, LucaSilvetti, Simone +
Bounding First Passage Times in Chemical Reaction Networks 1-gen-2019 Bortolussi, Luca +
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains 1-gen-2020 Bortolussi L. +