


default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 102 matches
- 2024
- Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
Automated Verification of Silq Quantum Programs using SMT Solvers. QSW 2024: 125-134 - Andrew Wright
, Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. QSW 2024: 58-68 - Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani:
Safe Reach Set Computation via Neural Barrier Certificates. CoRR abs/2404.18813 (2024) - Marco Lewis
, Paolo Zuliani, Sadegh Soudjani:
Automated Verification of Silq Quantum Programs using SMT Solvers. CoRR abs/2406.03119 (2024) - Andrew Wright, Marco Lewis
, Paolo Zuliani, Sadegh Soudjani:
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. CoRR abs/2406.04004 (2024) - Marco Lewis, Sadegh Soudjani, Paolo Zuliani:
Verification of Quantum Circuits through Discrete-Time Barrier Certificates. CoRR abs/2408.07591 (2024) - Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani:
High-level quantum algorithm programming using Silq. CoRR abs/2409.10231 (2024) - 2023
- Jonathan K. Sakkos
, María Santos-Merino, Emmanuel J. Kokarakis, Bowen Li, Miguel Fuentes-Cabrera, Paolo Zuliani
, Daniel C. Ducat:
Predicting partner fitness based on spatial structuring in a light-driven microbial community. PLoS Comput. Biol. 19(5) (2023) - Giulia Areggi
, Giuseppe Pezzo
, John Peter Merryman Boncori
, Letizia Anderlini
, Giuliana Rossi
, Enrico Serpelloni
, David Zuliani, Lorenzo Bonini:
Present-Day Surface Deformation in North-East Italy Using InSAR and GNSS Data. Remote. Sens. 15(6): 1704 (2023) - Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani:
ARCH-COMP23 Category Report: Stochastic Models. ARCH 2023: 126-150 - Marco Lewis
, Paolo Zuliani
, Sadegh Soudjani
:
Verification of Quantum Systems Using Barrier Certificates. QEST 2023: 346-362 - John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani:
Barrier Certificates for a Computational Model of Epileptic Seizures. SMC 2023: 4728-4733 - Marco Lewis, Paolo Zuliani, Sadegh Soudjani:
Verification of Quantum Systems using Barrier Certificates. CoRR abs/2307.07307 (2023) - 2022
- Sicun Gao, Orna Grumberg, Paolo Zuliani:
Edmund Melson Clarke, Jr. (1945-2020). Formal Methods Syst. Des. 60(3): 327-328 (2022) - Fedor Shmarov
, Graham R. Smith
, Sophie C. Weatherhead
, Nick J. Reynolds
, Paolo Zuliani
:
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis. PLoS Comput. Biol. 18(9): 1010267 (2022) - David Zuliani
, Lavinia Tunini
, Marco Severin, Michele Bertoni, Cristian Ponton, Stefano Parolai
:
LZER0: A Cost-Effective Multi-Purpose GNSS Platform. Sensors 22(21): 8314 (2022) - Bowen Li, Neil Mackenzie, Ben Shirt-Ediss, Natalio Krasnogor, Paolo Zuliani:
Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking. DNA 2022: 5:1-5:22 - 2021
- Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89 - Bowen Li
, Pahala Gedara Jayathilake
, Yuqing Xia, Thomas P. Curtis
, Paolo Zuliani
:
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations. DataMod 2021: 157-174 - Fabio Zuliani
, Jamie Paik
:
Variable Stiffness Folding Joints for Haptic Feedback. IROS 2021: 8332-8338 - Marco Lewis
, Sadegh Soudjani, Paolo Zuliani:
Formal Verification of Quantum Programs: Theory, Tools and Challenges. CoRR abs/2110.01320 (2021) - 2020
- Fedor Shmarov, Sadegh Soudjani
, Nicola Paoletti
, Ezio Bartocci
, Shan Lin
, Scott A. Smolka, Paolo Zuliani
:
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8: 180825-180843 (2020) - Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding
, Majid Zamani, Paolo Zuliani:
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106 - Mariia Vasileva, Fedor Shmarov, Paolo Zuliani:
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. MEMOCODE 2020: 1-11 - Mariia Vasileva, Paolo Zuliani:
An Evaluation of Estimation Techniques for Probabilistic Verification. VECoS 2020: 165-179 - 2019
- Oluwole K. Oyebamiji
, Darren J. Wilkinson
, Bowen Li, Pahala Gedara Jayathilake
, Paolo Zuliani, Thomas P. Curtis
:
Bayesian emulation and calibration of an individual-based model of microbial communities. J. Comput. Sci. 30: 194-208 (2019) - Bowen Li
, Denis Taniguchi
, Pahala Gedara Jayathilake, Valentina Gogulancea
, Rebeca Gonzalez-Cabaleiro, Jinju Chen
, Andrew Stephen McGough, Irina Dana Ofiteru
, Thomas P. Curtis
, Paolo Zuliani
:
NUFEB: A massively parallel simulator for individual-based modelling of microbial communities. PLoS Comput. Biol. 15(12) (2019) - Marcella Carissimi, Ritesh Mukherjee, Vivek Tyagi, Fabio Disegni, Davide Manfrè, Cesare Torti, Daniele Gallinari, Sandro Rossi, Andrea Gambero, Donatella Brambilla, Paola Zuliani, Riccardo Zurla
, Alessandro Cabrini, Guido Torelli, Marco Pasotti, Chantal Auricchio, Emanuela Calvetti, Laura Capecchi, Luigi Croce, Stefano Zanchi, Vikas Rana, Preeti Mishra:
2-Mb Embedded Phase Change Memory With 16-ns Read Access Time and 5-Mb/s Write Throughput in 90-nm BCD Technology for Automotive Applications. ESSCIRC 2019: 135-138 - Fabio Disegni, Roberto Annunziata, A. Molgora, G. Campardo, Paolo Cappelletti, P. Zuliani, P. Ferreira, A. Ventre, G. Castagna, Andreia Cathelin, Anna Gandolfo, F. Goller, S. Malhi, D. Manfrè, Alfonso Maurelli, C. Torti, Franck Arnaud, M. Carfì, M. Perroni, M. Caruso, S. Pezzini, G. Piazza, Olivier Weber, M. Peri:
Embedded PCM macro for automotive-grade microcontroller in 28nm FD-SOI. VLSI Circuits 2019: 204- - Paola Zuliani, A. Conte, P. Cappelletti:
The PCM way for embedded Non Volatile Memories applications. VLSI Circuits 2019: 192-
skipping 72 more matches
loading more results
failed to load more results, please try again later

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.
retrieved on 2025-02-14 18:30 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint