11573/1748867 - 2025 -
High-level quantum algorithm programming using Silq Bezganovic, Viktorija; Lewis, Marco; Soudjani, Sadegh; Zuliani, Paolo - 04b Atto di convegno in volume
conference: QUASAR 2025: 2nd Workshop on Quantum Algorithms, Software and Applied Research (Notre Dame, IN; USA)
book: HPDC '25: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing - ()
11573/1748860 - 2025 -
Verification of Quantum Circuits Through Barrier Certificates Using a Scenario Approach Hu, Siwei; Lopata, Victor; Soudjani, Sadegh; Zuliani, Paolo - 04b Atto di convegno in volume
conference: 2025 IEEE International Conference on Quantum Software, QSW 2025 (Helsinki; Finland)
book: Proceedings - 2025 IEEE International Conference on Quantum Software, QSW 2025 - ()
11573/1722434 - 2024 -
Safe Reach Set Computation via Neural Barrier Certificates Abate, Alessandro; Bogomolov, Sergiy; Edwards, Alec; Potomkin, Kostiantyn; Soudjani, Sadegh; Zuliani, Paolo - 04b Atto di convegno in volume
conference: 8th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2024 (Boulder, Colorado, USA)
book: Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2024 - ()
11573/1716877 - 2024 -
Automated Verification of Silq Quantum Programs using SMT Solvers Lewis, Marco; Zuliani, Paolo; Soudjani, Sadegh - 04b Atto di convegno in volume
conference: QSW 2024: 3rd IEEE International Conference on Quantum Software. (Shenzhen; China)
book: Proceedings of QSW 2024: 3rd IEEE International Conference on Quantum Software - (979-8-3503-6847-5)
11573/1716879 - 2024 -
T-Count Optimizing Genetic Algorithm for Quantum State Preparation Wright, Andrew; Lewis, Marco; Zuliani, Paolo; Soudjani, Sadegh - 04b Atto di convegno in volume
conference: QSW 2024: 3rd IEEE International Conference on Quantum Software (Shenzhen; China)
book: Proceedings of QSW 2024: 3rd IEEE International Conference on Quantum Software - (979-8-3503-6847-5)
11573/1704654 - 2024 -
Cooperation between autotrophic and heterotrophic denitrifiers under low C/N ratios revealed by individual-based modelling Xing, Wei; Gao, Daoqing; Wang, Yan; Li, Bowen; Zhang, Zexi; Zuliani, Paolo; Yao, Hong; Curtis, Thomas P. - 01a Articolo in rivista
paper: SCIENCE OF THE TOTAL ENVIRONMENT (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598
Tokyo ; Oxford ; Lausanne ; New York ; Shannon ; Amsterdam : Elsevier) pp. - - issn: 0048-9697 - wos: WOS:001205858400001 (3) - scopus: 2-s2.0-85185553744 (5)
11573/1704652 - 2023 -
Barrier Certificates for a Computational Model of Epileptic Seizures Ingham, John F.; Wang, Yujiang; Zuliani, Paolo; Soudjani, Sadegh - 04b Atto di convegno in volume
conference: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (Honolulu, Oahu, HI, USA)
book: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - (979-8-3503-3702-0)
11573/1693981 - 2023 -
Formal Verification of Quantum Programs: Theory, Tools and Challenges Lewis, Marco; Soudjani, Sadegh; Zuliani, Paolo - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON QUANTUM COMPUTING (New York NY: Association for Computing Machinery Inc.) pp. - - issn: 2643-6809 - wos: WOS:001207680200001 (14) - scopus: (0)
11573/1693759 - 2023 -
Verification of Quantum Systems Using Barrier Certificates Lewis, Marco; Zuliani, Paolo; Soudjani, Sadegh - 04b Atto di convegno in volume
conference: QEST 2023: 20th International Conference on Quantitative Evaluation of SysTems (Antwerp, Belgium)
book: Quantitative Evaluation of Systems - (978-3-031-43834-9; 978-3-031-43835-6)
11573/1681104 - 2023 -
Predicting partner fitness based on spatial structuring in a light-driven microbial community Sakkos, Jonathan K; Santos-Merino, María; Kokarakis, Emmanuel J; Li, Bowen; Fuentes-Cabrera, Miguel; Zuliani, Paolo; Ducat, Daniel C - 01a Articolo in rivista
paper: PLOS COMPUTATIONAL BIOLOGY (San Francisco, CA : Public Library of Science, [2005]-) pp. - - issn: 1553-734X - wos: WOS:000981447600001 (1) - scopus: 2-s2.0-85159733174 (2)
11573/1681063 - 2022 -
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations Li, Bowen; Gedara Jayathilake, Pahala; Xia, Yuqing; Curtis Thomas, P.; Zuliani, P - 04b Atto di convegno in volume
conference: 10th International Symposium FROM DATA TO MODELS AND BACK (DATAMOD 2021) (online)
book: Proceedings of From Data to Models and Back (DataMod) - (978-3-031-16011-0)
11573/1681092 - 2022 -
Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking Li, Bowen; Mackenzie, Neil; Shirt-Ediss, Ben; Krasnogor, Natalio; Zuliani, P - 04b Atto di convegno in volume
conference: 28th International Conference on DNA Computing and Molecular Programming (DNA 28) [Core B] (Albuquerque, New Mexico, USA)
book: Proceedings of the 28th International Conference on DNA Computing and Molecular Programming (DNA 28) - (978-3-95977-253-2)
11573/1681038 - 2022 -
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis Shmarov, Fedor; Smith Graham, R; Weatherhead Sophie, C; Reynolds Nick, J; Zuliani, P - 01a Articolo in rivista
paper: PLOS COMPUTATIONAL BIOLOGY (San Francisco, CA : Public Library of Science, [2005]-) pp. 2551-2563 - issn: 1553-7358 - wos: WOS:000933367000001 (1) - scopus: 2-s2.0-85139535649 (1)
11573/1681045 - 2022 -
Coupled CFD‐DEM modeling to predict how EPS affects bacterial biofilm deformation, recovery and detachment under flow conditions Xia, Yuqing; Jayathilake Pahala, G; Li, Bowen; Zuliani, P; Deehan, David; Longyear, Jennifer; Stoodley, Paul; Chen, Jinju - 01a Articolo in rivista
paper: BIOTECHNOLOGY AND BIOENGINEERING ([New York, NY] : John Wiley & Sons, Inc., c1962-) pp. 2551-2563 - issn: 1097-0290 - wos: WOS:000804657600001 (15) - scopus: 2-s2.0-85131075715 (17)
11573/1681068 - 2021 -
ARCH-COMP21 Category Report: Stochastic Models Alessandro, Abate; Henk 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, Thorpe; Vlad, Turcuman; Zuliani, P - 04b Atto di convegno in volume
book: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) - ()
11573/1681043 - 2021 -
Modeling and simulating the noisy behavior of near-term quantum computers Georgopoulos, Konstantinos; Emary, Clive; Zuliani, P - 01a Articolo in rivista
paper: PHYSICAL REVIEW A (College Park, MD : American Physical Society, 2016-) pp. - - issn: 2469-9926 - wos: WOS:000753730900002 (77) - scopus: 2-s2.0-85122215440 (87)
11573/1681056 - 2021 -
Comparison of quantum-walk implementations on noisy intermediate-scale quantum computers Georgopoulos, Konstantinos; Emary, Clive; Zuliani, P - 01a Articolo in rivista
paper: PHYSICAL REVIEW A (College Park, MD : American Physical Society, 2016-) pp. - - issn: 2469-9926 - wos: WOS:000616271000002 (11) - scopus: 2-s2.0-85100670207 (13)
11573/1681052 - 2021 -
The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy Watson, N.; Wilson, N.; Shmarov, F.; Zuliani, P; Reynolds, N. J.; Weatherhead, S. C. - 01a Articolo in rivista
paper: JOURNAL OF THE EUROPEAN ACADEMY OF DERMATOLOGY AND VENEREOLOGY (Oxford : Blackwell Publishing) pp. 2551-2563 - issn: 1468-3083 - wos: WOS:000680516400001 (9) - scopus: 2-s2.0-85111831891 (11)
11573/1681055 - 2021 -
CFD–DEM modelling of biofilm streamer oscillations and their cohesive failure in fluid flow Xia, Yuqing; Jayathilake Pahala, G.; Li, Bowen; Zuliani, P; Chen, Jinju - 01a Articolo in rivista
paper: BIOTECHNOLOGY AND BIOENGINEERING ([New York, NY] : John Wiley & Sons, Inc., c1962-) pp. 2551-2563 - issn: 1097-0290 - wos: WOS:000591491600001 (5) - scopus: 2-s2.0-85097023846 (5)
11573/1681069 - 2020 -
ARCH-COMP20 Category Report: Stochastic Models Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Delicaris, Joanna; Hartmanns, Arnd; Khaled, Mahmoud; Lavaei, Abolfazl; Pilch, Carina; Remke, Anne; Schupp, Stefan; Shmarov, Fedor; Soudjani, Sadegh; Vinod, Abraham; Wooding, Ben; Zamani, Majid; Zuliani, P - 04b Atto di convegno in volume
conference: ARCH-COMP20 Category Report: Stochastic Models (Berlin; Germany)
book: ARCH-COMP20 Category Report: Stochastic Models - ()
11573/1681044 - 2020 -
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems Shmarov, Fedor; Soudjani, Sadegh; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka Scott, A.; Zuliani, P - 01a Articolo in rivista
paper: IEEE ACCESS (Piscataway NJ: Institute of Electrical and Electronics Engineers) pp. 2551-2563 - issn: 2169-3536 - wos: WOS:000578793800001 (4) - scopus: 2-s2.0-85096105190 (4)
11573/1681086 - 2020 -
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes Vasileva, Mariia; Shmarov, Fedor; Zuliani, P - 04b Atto di convegno in volume
conference: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (Jaipur, India)
book: Proceedings of the 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2020) - (978-1-7281-9148-5)
11573/1681074 - 2020 -
An Evaluation of Estimation Techniques for Probabilistic Verification Vasileva, Mariia; Zuliani, P - 04b Atto di convegno in volume
conference: Verification and Evaluation of Computer and Communication Systems (VECoS) (Xi'an, China)
book: Verification and Evaluation of Computer and Communication Systems (VECoS 2020) - (978-3-030-65955-4)
11573/1681040 - 2019 -
Individual Based Model Links Thermodynamics, Chemical Speciation and Environmental Conditions to Microbial Growth Gogulancea, Valentina; González-Cabaleiro, Rebeca; Li, Bowen; Taniguchi, Denis; Jayathilake Pahala, Gedara; Chen, Jinju; Wilkinson, Darren; Swailes, David; Mcgough Andrew, Stephen; Zuliani, P; Ofiteru Irina, Dana; Curtis Thomas, P. - 01a Articolo in rivista
paper: FRONTIERS IN MICROBIOLOGY (Lausanne : Frontiers Research Foundation, 2010-) pp. 2551-2563 - issn: 1664-302X - wos: WOS:000480538100003 (19) - scopus: 2-s2.0-85071965678 (20)
11573/1681048 - 2019 -
Pathways to cellular supremacy in biocomputing Grozinger, Lewis; Amos, Martyn; Gorochowski Thomas, E.; Carbonell, Pablo; Oyarzún Diego, A.; Stoof, Ruud; Fellermann, Harold; Zuliani, P; Tas, Huseyin; Goñi-Moreno, Angel - 01a Articolo in rivista
paper: NATURE COMMUNICATIONS (London: Nature Publishing Group-Springer Nature) pp. 2551-2563 - issn: 2041-1723 - wos: WOS:000497694100018 (107) - scopus: 2-s2.0-85075386386 (118)
11573/1681047 - 2019 -
Modelling bacterial twitching in fluid flows: a CFD-DEM approach Jayathilake Pahala, Gedara; Li, Bowen; Zuliani, P; Curtis, Tom; Chen, Jinju - 01a Articolo in rivista
paper: SCIENTIFIC REPORTS (London: Springer Nature
London: Nature Publishing Group) pp. 2551-2563 - issn: 2045-2322 - wos: WOS:000489555200052 (11) - scopus: 2-s2.0-85073101432 (12)
11573/1681061 - 2019 -
NUFEB: A massively parallel simulator for individual-based modelling of microbial communities Li, Bowen; Taniguchi, Denis; Gedara Jayathilake, Pahala; Gogulancea, Valentina; Gonzalez-Cabaleiro, Rebeca; Chen, Jinju; Mcgough Andrew, Stephen; Ofiteru Irina, Dana; Curtis Thomas, P.; Zuliani, P - 01a Articolo in rivista
paper: PLOS COMPUTATIONAL BIOLOGY (San Francisco, CA : Public Library of Science, [2005]-) pp. 2551-2563 - issn: 1553-7358 - wos: WOS:000507310800022 (42) - scopus: 2-s2.0-85077294802 (45)
11573/1681054 - 2019 -
Bayesian emulation and calibration of an individual-based model of microbial communities Oyebamiji, O. K.; Wilkinson, D. J.; Li, B.; Jayathilake, P. G.; Zuliani, P; Curtis, T. P. - 01a Articolo in rivista
paper: JOURNAL OF COMPUTATIONAL SCIENCE (Amsterdam: Elsevier) pp. 2551-2563 - issn: 1877-7511 - wos: WOS:000457951200018 (10) - scopus: 2-s2.0-85059244141 (13)
11573/1681080 - 2018 -
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, P - 04b Atto di convegno in volume
book: New Frontiers in Quantitative Methods in Informatics - ()
11573/1681049 - 2018 -
A Bayesian approach to modelling the impact of hydrodynamic shear stress on biofilm deformation Oyebamiji Oluwole, K.; Wilkinson Darren, J.; Jayathilake Pahala, Gedara; Rushton Steve, P.; Bridgens, Ben; Li, Bowen; Zuliani, P - 01a Articolo in rivista
paper: PLOS ONE (San Francisco, CA : Public Library of Science) pp. 2551-2563 - issn: 1932-6203 - wos: WOS:000429791900048 (11) - scopus: 2-s2.0-85045444608 (12)
11573/1681082 - 2018 -
Stochastic Rate Parameter Inference Using the Cross-Entropy Method Revell, Jeremy; Zuliani, P - 04b Atto di convegno in volume
book: Computational Methods in Systems Biology - ()
11573/1681053 - 2017 -
A mechanistic Individual-based Model of microbial communities Jayathilake Pahala, Gedara; Gupta, Prashant; Li, Bowen; Madsen, Curtis; Oyebamiji, Oluwole; González-Cabaleiro, Rebeca; Rushton, Steve; Bridgens, Ben; Swailes, David; Allen, Ben; Mcgough A., Stephen; Zuliani, P; Ofiteru Irina, Dana; Wilkinson, Darren; Chen, Jinju; Curtis, Tom - 01a Articolo in rivista
paper: PLOS ONE (San Francisco, CA : Public Library of Science) pp. 2551-2563 - issn: 1932-6203 - wos: WOS:000406853600050 (65) - scopus: 2-s2.0-85026759143 (66)
11573/1681087 - 2017 -
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems Shmarov, Fedor; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka Scott, A.; Zuliani, P - 04b Atto di convegno in volume
book: Hardware and Software: Verification and Testing - ()
11573/1681093 - 2016 -
Towards Quantum Programs Verification: From Quipper Circuits to QPMC Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, P - 04b Atto di convegno in volume
book: Reversible Computation - ()
11573/1681051 - 2016 -
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization Misirli, Goksel; Cavaliere, Matteo; Waites, William; Pocock, Matthew; Madsen, Curtis; Gilfellon, Owen; Honorato-Zimmer, Ricardo; Zuliani, P; Danos, Vincent; Wipat, Anil - 01a Articolo in rivista
paper: BIOINFORMATICS ([Oxford] : Oxford University Press) pp. 2551-2563 - issn: 1367-4811 - wos: WOS:000372975000015 (12) - scopus: 2-s2.0-84962163392 (17)
11573/1681070 - 2016 -
High-level modeling and verification of cellular signaling Miskov-Zivanov, Natasa; Zuliani, P; Wang, Qinsi; Clarke Edmund, M.; Faeder James, R. - 04b Atto di convegno in volume
book: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - ()
11573/1681091 - 2016 -
Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques Shmarov, Fedor; Zuliani, P - 04b Atto di convegno in volume
book: Hardware and Software: Verification and Testing - ()
11573/1681089 - 2015 -
Towards personalized prostate cancer therapy using delta-reachability analysis Liu, Bing; Kong, Soonho; Gao, Sicun; Zuliani, P; Clarke Edmund, M. - 04b Atto di convegno in volume
book: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control - ()
11573/1681062 - 2015 -
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models Madsen, Curtis; Shmarov, Fedor; Zuliani, P - 04b Atto di convegno in volume
book: Computational Methods in Systems Biology - ()
11573/1681067 - 2015 -
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems Shmarov, Fedor; Zuliani, P - 04b Atto di convegno in volume
book: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control - ()
11573/1681066 - 2015 -
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems Wang, Qinsi; Zuliani, P; Kong, Soonho; Gao, Sicun; Clarke Edmund, M. - 04b Atto di convegno in volume
book: Computational Methods in Systems Biology - ()
11573/1681037 - 2015 -
Statistical model checking for biological applications Zuliani, P - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Heidelberg; Berlin: Springer) pp. 2551-2563 - issn: 1433-2787 - wos: WOS:000357485500010 (22) - scopus: 2-s2.0-84943352506 (30)
11573/1681085 - 2014 -
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions Liu, Bing; Kong, Soonho; Gao, Sicun; Zuliani, P; Clarke Edmund, M. - 04b Atto di convegno in volume
book: Computational Methods in Systems Biology - ()
11573/1681057 - 2014 -
Probabilistic Latent Semantic Analysis Applied to Whole Bacterial Genomes Identifies Common Genomic Features Rusakovica, J; Hallinan, J; Wipat, A; Zuliani, P - 01a Articolo in rivista
paper: JOURNAL OF INTEGRATIVE BIOINFORMATICS (Bielefeld: IMBio e.V. c/o R. Hofestädt c/o Bielefeld University, Faculty of Technology, Bioinformatics Department.) pp. - - issn: 1613-4516 - wos: (0) - scopus: 2-s2.0-84925347881 (3)
11573/1681059 - 2013 -
Model Checking a Synchronous Diabetes-Cancer Logical Network Gong, Haijun; Zuliani, P; M., Clarke Edmund - 01a Articolo in rivista
paper: CURRENT BIOINFORMATICS (Netherlands, BENTHAM SCIENCE PUBLISHERS) pp. 2551-2563 - issn: 1574-8936 - wos: WOS:000327848500004 (4) - scopus: 2-s2.0-84921421101 (2)
11573/1681071 - 2013 -
Studies of biological networks with statistical model checking: application to immune system cells Miskov-Zivanov, Natasa; Zuliani, P; Clarke Edmund, M.; Faeder James, R. - 04b Atto di convegno in volume
book: Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics - ()
11573/1681060 - 2013 -
Bayesian statistical model checking with application to Stateflow/Simulink verification Zuliani, P; Platzer, André; Clarke Edmund, M. - 01a Articolo in rivista
paper: FORMAL METHODS IN SYSTEM DESIGN (Dordrecht: Kluwer) pp. 2551-2563 - issn: 1572-8102 - wos: WOS:000324114600009 (69) - scopus: 2-s2.0-84883824657 (95)
11573/1681088 - 2012 -
Model Checking and the State Explosion Problem Clarke Edmund, M.; Klieber, William; Nováček, Miloš; Zuliani, P - 04b Atto di convegno in volume
book: Tools for Practical Software Verification - ()
11573/1681072 - 2012 -
Statistical Model Checking for Markov Decision Processes Henriques, D; Martins, J G; Zuliani, P; Platzer, A; Clarke, E M - 04b Atto di convegno in volume
book: International Conference on Quantitative Evaluation of Systems, QEST 2012 - ()
11573/1681078 - 2012 -
Rare-event verification for stochastic hybrid systems Zuliani, P; Baier, Christel; Clarke Edmund, M. - 04b Atto di convegno in volume
book: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - ()
11573/1681079 - 2011 -
Statistical Model Checking for Cyber-Physical Systems Clarke Edmund, M.; Zuliani, P - 04b Atto di convegno in volume
book: Automated Technology for Verification and Analysis - ()
Gong, Haijun; Zuliani, P; Clarke Edmund, M. - 04b Atto di convegno in volume
book: CMLS 2011: 3rd International Symposium on Computational Models for Life Sciences - ()
11573/1681090 - 2011 -
Formal analysis for logical models of pancreatic cancer Gong, Haijun; Zuliani, P; Wang, Qinsi; Clarke Edmund, M. - 04b Atto di convegno in volume
book: IEEE Conference on Decision and Control and European Control Conference - ()
11573/1681065 - 2011 -
Analog circuit verification by statistical model checking Wang, Ying-Chih; Komuravelli, Anvesh; Zuliani, P; Clarke Edmund, M. - 04b Atto di convegno in volume
book: 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) - ()
11573/1681083 - 2011 -
Statistical Verification of Probabilistic Properties with Unbounded Until Younes Håkan, L. S.; Clarke Edmund, M.; Zuliani, P - 04b Atto di convegno in volume
book: Formal Methods: Foundations and Applications - ()
11573/1681075 - 2010 -
Computational Modeling and Verification of Signaling Pathways in Cancer Gong, Haijun; Zuliani, P; Komuravelli, Anvesh; Faeder James, R.; Clarke Edmund, M. - 04b Atto di convegno in volume
book: Algebraic and Numeric Biology - ()
11573/1681050 - 2010 -
Analysis and verification of the HMGB1 signaling pathway Gong, Haijun; Zuliani, P; Komuravelli, Anvesh; Faeder James, R; Clarke Edmund, M - 01a Articolo in rivista
paper: BMC BIOINFORMATICS ([London]: BioMed Central, [2000]-) pp. - - issn: 1471-2105 - wos: WOS:000287193500010 (50) - scopus: 2-s2.0-77957900134 (61)
11573/1681073 - 2010 -
Bayesian statistical model checking with application to Simulink/Stateflow verification Zuliani, P; Platzer, André; Clarke Edmund, M. - 04b Atto di convegno in volume
book: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - ()
11573/1681097 - 2009 -
A Bayesian Approach to Model Checking Biological Systems Jha Sumit, K.; Clarke Edmund, M.; Langmead Christopher, J.; Legay, Axel; Platzer, André; Zuliani, P - 04b Atto di convegno in volume
book: Computational Methods in Systems Biology - ()
Zuliani, P - 01a Articolo in rivista
paper: ACTA INFORMATICA (Heidelberg ; Berlin : Springer) pp. - - issn: 1432-0525 - wos: (0) - scopus: (0)
11573/1681064 - 2007 -
A Formal Derivation of Grover's Quantum Search Algorithm Zuliani, P - 04b Atto di convegno in volume
book: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - ()
Zuliani, P - 04b Atto di convegno in volume
book: Electronic Notes in Theoretical Computer Science - ()
11573/1681081 - 2005 -
On the Transition to an Open Source Solution for Desktop Office Automation Rossi, Bruno; Russo, Barbara; Zuliani, P; Succi, Giancarlo - 04b Atto di convegno in volume
book: E-Government: Towards Electronic Democracy - ()
11573/1681042 - 2005 -
An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite Succi, Giancarlo; Pedrycz, Witold; Djokic, Snezana; Zuliani, P; Russo, Barbara - 01a Articolo in rivista
paper: EMPIRICAL SOFTWARE ENGINEERING (Springer Netherlands) pp. 2551-2563 - issn: 1382-3256 - wos: WOS:000226855600004 (45) - scopus: 2-s2.0-22044452113 (60)
Zuliani, P - 01a Articolo in rivista
paper: ACTA INFORMATICA (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229
SPRINGER, 233 SPRING STREET, NEW YORK, USA, NY, 10013) pp. - - issn: 0001-5903 - wos: WOS:000230311400003 (13) - scopus: 2-s2.0-23244462425 (20)
Zuliani, P - 04b Atto di convegno in volume
book: Unconventional Computation - ()
Zuliani, P - 04b Atto di convegno in volume
book: Proceedings of the 2nd International Workshop on Quantum Programming Languages - (952-12-1374-4)
11573/1681076 - 2003 -
An Empirical Analysis on the Discontinuous Use of Pair Programming Janes, Andrea; Russo, Barbara; Zuliani, P; Succi, Giancarlo - 04b Atto di convegno in volume
book: Extreme Programming and Agile Processes in Software Engineering - ()
Zuliani, P - 01a Articolo in rivista
paper: IBM JOURNAL OF RESEARCH AND DEVELOPMENT (IBM Corporate Technical Publications:Thomas J. Watson Research Center, PO Box 218:Yorktown Heights, NY 10598:(914)945-3836, (914)241-4184, (914)742-5928, Fax: (914)945-2018, (914)945-2018) pp. - - issn: 0018-8646 - wos: WOS:000172291100006 (32) - scopus: 2-s2.0-0035516586 (39)
Sanders, J. W.; Zuliani, P - 04b Atto di convegno in volume
book: Mathematics of Program Construction - ()