-
Notifications
You must be signed in to change notification settings - Fork 0
/
papers.html
292 lines (283 loc) · 24.3 KB
/
papers.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
<html>
<head>
<title>Paolo Zuliani, Newcastle University - Papers</title>
</head>
<body>
<p>
<font size="5">
<b>Papers</b>
</font>
</p>
<p>
<p>
<font size="4">
<b>Preprints</b>
</font>
<ul>
<li><b>Quantum Computer Benchmarking via Quantum Algorithms</b> [<a href="https://arxiv.org/abs/2112.09457" target="_blank">arXiv</a>]<br>
K. Georgopoulos, C. Emary, P. Zuliani. 2021.
<li><b>Investigating the growth of an engineered strain of Cyanobacteria with an Agent-Based Model and a Recurrent Neural Network</b> [<a href="https://doi.org/10.1101/2021.10.11.463942" target="_blank">bioRxiv</a>]<br>
J. Sakkos, J. Weaver, C. Robertson, B. Li, D. Taniguchi, K. Maheshwari, D. Ducat, P. Zuliani, A. S. McGough, T. P Curtis, M. Fuentes-Cabrera. 2021
</ul>
</p>
<p>
<font size="4">
<b>Tutorials</b>
</font>
<ul>
<li><b> Model checking and the state explosion problem</b> [<a href="papers/LASER2011-Model-Checking.pdf" target="_blank">pdf</a>]<br>
E. M. Clarke, W. Klieber, M. Nováček, P. Zuliani<br>
In <i>8th LASER Summer School on Software Engineering</i>, Sept. 4-10, 2011. LNCS volume 7682, pp. 1-30, 2012.
</ul>
</p>
<font size="4">
<b>Journals</b>
</font>
<ul>
<li><b> Cooperation between autotrophic and heterotrophic denitrifiers under low C/N ratios revealed by individual-based modelling </b> [<a href="https://doi.org/10.1016/j.scitotenv.2024.171091" target="_blank">doi</a>]<br>
W. Xing, D. Gao, Y. Wang, B. Li, Z. Zhang, P. Zuliani, H. Yao, T. P. Curtis<br>
<em> Science of The Total Environment, vol 921, 171091, 2024</em>.
<li><b>Formal Verification of Quantum Programs: Theory, Tools and Challenges</b> [<a href="https://arxiv.org/abs/2110.01320" target="_blank">arXiv</a>][<a href="https://doi.org/10.1145/3624483" target="_blank">doi</a>]<br>
M. Lewis, S. Soudjani, P. Zuliani<br>
<em>ACM Transactions on Quantum Computing,</em> to appear, 2023.<br>
<li><b>Predicting partner fitness based on spatial structuring in a light-driven microbial community</b> [<a href="https://doi.org/10.1371/journal.pcbi.1011045" target="_blank">doi</a>]<br>
J. K. Sakkos, M. Santos-Merino, E. J. Kokarakis, B. Li, M. Fuentes-Cabrera, P. Zuliani, D. C. Ducat<br>
<i>PLOS Computational Biology</i>, to appear, 2023.<br>
<li><b>Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis</b> [<a href="https://doi.org/10.1371/journal.pcbi.1010267" target="_blank">doi</a>]<br>
F. Shmarov, G.R. Smith, S.C. Weatherhead, N.J. Reynolds, P. Zuliani<br>
<i>PLOS Computational Biology</i>, 18(9): e1010267, 2022.<br>
<li><b>Coupled CFD-DEM modeling to predict how EPS affects bacterial biofilm deformation, recovery and detachment under flow conditions</b>
[<a href="https://doi.org/10.1002/bit.28146" target="_blank">doi</a>]<br>
Y. Xia, P. G. Jayathilake, B. Li, P. Zuliani, D. Deehan, J. Longyear, P. Stoodley, J. Chen <br>
<i>Biotechnology and Bioengineering</i>, 119, 2551-2563, 2022.
<li><b>Modelling and Simulating the Noisy Behaviour of Near-term Quantum Computers</b> [<a href="https://arxiv.org/abs/2101.02109" target="_blank">arXiv</a>]<br>
K. Georgopoulos, C. Emary, P. Zuliani<br>
<i>Physical Review A</i> 104, 062432, 2021.
<li><b> The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy </b>
[<a href="https://doi.org/10.1111/jdv.17519" target="_blank">doi</a>] <br>
N. Watson, N. Wilson, F. Shmarov, P. Zuliani, N. J. Reynolds, S. C. Weatherhead<br>
<em>Journal of the European Academy of Dermatology & Venereology</em> 35: 2250-2258, 2021 <br>
<li><b>A Comparison of Quantum Walk Implementations on Noisy Intermediate-Scale Quantum Computers</b> [<a href="https://arxiv.org/abs/1911.00305"target="_blank">arXiv</a>] <br>
K. Georgopoulos, C. Emary, P. Zuliani <br>
<i>Physical Review A</i> 103, 022408, 2021.
<li><b>CFD-DEM modelling of biofilm streamer oscillations and their cohesive failure in fluid flow</b> [<a href="http://dx.doi.org/10.1002/bit.27619"target="_blank">doi</a>] <br>
Y. Xia, P. G. Jayathilake, B. Li, P. Zuliani, J. Chen <br>
<i>Biotechnology and Bioengineering</i> 118: 918–929, 2021.
<li><b>Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems </b>[<a href="https://doi.org/10.1109/ACCESS.2020.3028476" target="_blank">doi</a>] <br>
F. Shmarov, S. Soudjani, N. Paoletti, E. Bartocci, S. Lin, S. A. Smolka, P. Zuliani<br>
<i>IEEE Access</i> 8:180825-180843, 2020.
<li><b>Pathways to cellular supremacy in biocomputing</b> [<a href="https://doi.org/10.1038/s41467-019-13232-z" target="_blank">doi</a>] <br>
L. Grozinger, M. Amos, T. Gorochowski, P. Carbonell, D. Oyarzún, R. Stoof, H. Fellermann, P. Zuliani, H. Tas, A. Goni-Moreno <br>
<i>Nature Communications</i> 10, 5250 (2019).
<li><b> NUFEB: A Massively Parallel Simulator for Individual-based Modelling of Microbial Communities</b> [<a href="https://doi.org/10.1371/journal.pcbi.1007125" target="_blank">doi</a>]<br>
B. Li, D. Taniguchi, J. P. Gedara, V. Gogulancea, R. Gonzalez-Cabaleiro, J. Chen, A. S. McGough, I. D. Ofiteru, T. P. Curtis, P. Zuliani<br>
<i>PLOS Computational Biology</i>, 15(12): e1007125, 2019.
<li><b>Modelling bacterial twitching in fluid flows: a CFD-DEM approach</b> [<a href="https://doi.org/10.1038/s41598-019-51101-3" target="_blank">doi</a>]<br>
P. G. Jayathilake, B. Li, P. Zuliani, T. P. Curtis, J. Chen<br>
<i>Scientific Reports</i> 9, 14540 (2019).
<li><b>Individual based model links thermodynamics, chemical speciation and environmental conditions to microbial growth</b> [<a href="https://www.frontiersin.org/articles/10.3389/fmicb.2019.01871/abstract"target="_blank">doi</a>]
<br>
V. Gogulancea, R. Gonzalez-Cabaleiro, B. Li, D. Taniguchi, P. G. Jayathilake, J. Chen, D. Wilkinson, D. Swailes, A. S. McGough, P. Zuliani, I. D. Ofiteru, T. P. Curtis<br>
<i>Frontiers Microbiology</i> 10:1871, 2019.
<li><b>Bayesian emulation and calibration of an individual-based model of microbial communities</b> [<a href="https://doi.org/10.1016/j.jocs.2018.12.007" target="_blank">doi</a>]<br>
O. Oyebamiji, D. Wilkinson, B. Li, P. G. Jayathilake, P. Zuliani, T. P. Curtis<br>
<i>Journal of Computational Science</i> 30:194-208, 2019.
<li><b>A Bayesian approach to modelling the impact of hydrodynamic shear stress on biofilm deformation</b> [<a href="https://doi.org/10.1371/journal.pone.0195484" target="_blank">doi</a>]<br>
O. Oyebamiji, D. Wilkinson, P. G. Jayathilake, S. Rushton, B. Bridgens, B. Li, P. Zuliani<br>
<i>PLOS ONE</i> 13(4): e0195484, 2018.
<li><b>A Mechanistic Individual-based Model of Microbial Communities</b> [<a href="https://doi.org/10.1371/journal.pone.0181965" target="_blank">doi</a>]<br>
P. G. Jayathilake, P. Gupta, B. Li, C. Madsen, O. Oyebamiji, R. González-Cabaleiro, S. Rushton, B. Bridgens, D. Swailes, B. Allen, S. McGough, P. Zuliani, I. D. Ofiteru, D. Wilkinson, J. Chen, T. Curtis <br>
<i>PLOS ONE</i> 12(8): e0181965, 2017.
<li><b>Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualisation</b> [<a href="https://doi.org/10.1093/bioinformatics/btv660" target="_blank">doi</a>] <br>
G. Misirli, M. Cavaliere, W. Waites, M. Pocock, C. Madsen, O. Gilfellon, R. Honorato-Zimmer, P. Zuliani, V. Danos, A. Wipat <br>
<i>Bioinformatics</i> 32(6):908-917, 2016.
<li><b>Statistical Model Checking for Biological Applications</b> [<a href="papers/smc4bio.pdf" target="_blank">pdf</a>] <br>
P. Zuliani <br>
<i>Software Tools for Technology Transfer</i> 17(4):527-536, 2015.
<li><b>Probabilistic latent semantic analysis applied to whole bacterial genomes identifies common genomic features</b> [<a href="papers/Rusakovica_etal_IB2014.pdf" target="_blank">pdf</a>]<br>
J. Rusakovica, J. Hallinan, A. Wipat, P. Zuliani<br>
<i>Journal of Integrative Bioinformatics</i> 11(2):243, 2014.
<li><b>Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification</b> [<a href="papers/FMSD2013.pdf" target="_blank">pdf</a>]<br>
P. Zuliani, A. Platzer, E. M. Clarke<br>
<i>Formal Methods in System Design</i> 43(2):338-367, 2013.
<li><b>Model checking of a synchronous diabetes-cancer logical network</b> [<a href="papers/CB2013.pdf" target="_blank">pdf</a>] <br>
H. Gong, P. Zuliani, E. M. Clarke<br>
<i>Current Bioinformatics</i> 8(1):9-15, 2013.
<li><b>Analysis and Verification of the HMGB1 Signaling Pathway</b> [<a href="https://doi.org/10.1186/1471-2105-11-S7-S10" target="_blank">doi</a>]<br>
H. Gong, P. Zuliani, A. Komuravelli, J. R. Faeder, E. M. Clarke<br>
<i>BMC Bioinformatics</i> 2010, 11(Suppl 7):S10. (Best Paper Award at <a href="https://incob.apbionet.org/incob10/0index.html" target="_blank">InCoB 2010</a>.)
<li><b>Reasoning about faulty quantum programs</b> [<a href="papers/eqc.pdf" target="_blank">pdf</a>]<br>
P. Zuliani<br>
<i>Acta Informatica</i> 46(6):403-432, 2009.
<li><b>Compiling quantum programs</b> [<a href="papers/cqp.pdf" target="_blank">pdf</a>]<br>
P. Zuliani<br>
<i>Acta Informatica</i> 41(7-8):435-474, 2005.
<li><b>An empirical exploration of the distributions of the Chidamber and Kemerer object-oriented metrics suite </b> [<a href=" https://doi.org/10.1023/B:EMSE.0000048324.12188.a2" target="_blank">doi</a>] <br>
G. Succi, W. Pedrycz, S. Djokic, P. Zuliani, B. Russo<br>
<i>Empirical Software Engineering</i> 10(1):81-104, 2005.
<li><b>Logical reversibility</b> [<a href="papers/ibmjrd.pdf" target="_blank">pdf</a>]<br>
P. Zuliani<br>
<i>IBM Journal of Research and Development</i> 45(6):807-818, 2001.
</ul>
</p>
<p>
<font size="4">
<b>Conferences</b>
</font>
<ul>
<li><b>T-Count Optimizing Genetic Algorithm for Quantum State Preparation</b> <a href="https://arxiv.org/abs/2406.04004" target="_blank">[arXiv]</a> <br>
A. Wright, M. Lewis, P. Zuliani, S. Soudjani<br>
Accepted at <i>QSW 2024: 3rd IEEE International Conference on Quantum Software.</i>
</li>
<li><b>Automated Verification of Silq Quantum Programs using SMT Solvers</b> <a href="https://arxiv.org/abs/2406.03119" target="_blank">[arXiv]</a> <br>
M. Lewis, P. Zuliani, S. Soudjani<br>
Accepted at <i>QSW 2024: 3rd IEEE International Conference on Quantum Software.</i>
</li>
<li><b>Safe Reach Set Computation via Neural Barrier Certificates </b><a href="https://arxiv.org/abs/2404.18813" target="_blank">[arXiv]</a> <br>
A. Abate, S. Bogomolov, A. Edwards, K. Potomkin, S. Soudjani, P. Zuliani<br>
Accepted at <i>ADHS 2024: 8th IFAC Conference on Analysis and Design of Hybrid Systems.</i>
</li>
<li> <b>Verification of Quantum Systems using Barrier Certificates</b> <a href="https://arxiv.org/abs/2307.07307" target="_blank">[arXiv]</a> <a href="https://doi.org/10.1007/978-3-031-43835-6_24" target="_blank">[doi]</a> <br>
M. Lewis, P. Zuliani, S. Soudjani <br>
In <i>QEST 2023: 20th International Conference on Quantitative Evaluation of SysTems</i>. LNCS volume 14287. <br>
</li>
<li>
<b>Barrier Certificates for a Computational Model of Epileptic Seizures</b> <a href="https://doi.org/10.1109/SMC53992.2023.10394291" target="_blank">[doi]</a><br>
J.F. Ingham, Y. Wang, P. Zuliani, S. Soudjani. <br>
In <i>2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)</i>. IEEE, pp. 4728-4733, 2023.
</li>
<li> <b> Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking </b> [<a href="https://doi.org/10.4230/LIPIcs.DNA.28.5" target="_blank">doi</a>]
<br>
B. Li, N. Mackenzie, B. Shirt-Ediss, N. Krasnogor, P. Zuliani.
<br>
In <i> DNA28: 28th International Conference on DNA Computing and Molecular Programming.</i> LIPIcs volume 238, pp. 5:1-5:22, 2022.
</li>
<li> <b> Spatio-temporal model checking for 3D individual-based biofilm simulations </b> [<a href="papers/sstl_model_checking.pdf" target="_blank">pdf</a>] <br>
B. Li, J. P. Gedara, Y. Xia, T. P. Curtis, P. Zuliani. <br>
In <i> DataMod 2021: 10th Symposium on From Data to Models and Back. </i> LNCS volume 13268, pp. 157–174 2022.
</li>
<li> <b> Approximate Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes </b> [<a href="papers/memocode2020.pdf" target="_blank">pdf</a>] <br>
M. Vasileva, F. Shmarov, P. Zuliani <br>
In <i> MEMOCODE 2020: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design</i>. IEEE, pp. 1-11, 2020.
<li> <b> An Evaluation of Estimation Techniques for Probabilistic Verification</b> [<a href="papers/vecos2020.pdf" target="_blank">pdf</a>] <br>
M. Vasileva, P. Zuliani <br>
In <i> VECoS 2020: 14th International Conference on Verification and Evaluation of Computer and Communication Systems</i>. LNCS volume 12519, pp. 165-179, 2020.
<li> <b> ARCH-COMP20 Category Report: Stochastic Models </b> [<a href="https://doi.org/10.29007/mqzc" target="_blank">doi</a>] <br>
A. Abate, H. Blom, N. Cauchi, J. Delicaris, A. Hartmanns, M. Khaled, A. Lavaei, C. Pilch, A. Remke,
S. Schupp, F. Shmarov, S. Soudjani, A. P. Vinod, B. Wooding, M. Zamani, and P. Zuliani <br>
In <i> ARCH20: 7th International Workshop on Applied Verification of Continuous and Hybrid Systems.</i> EPiC volume 74, pp. 76-106, 2020.
<li><b>Stochastic Rate Parameter Inference using the Cross-Entropy Method</b>
[<a href="https://doi.org/10.1007/978-3-319-99429-1_9" target="_blank">doi</a>]
<!--[<a href="papers/cmsb2018.pdf" target="_blank">pdf</a>]-->
[<a href="https://github.com/pzuliani/SPICE" target="_blank">tool page</a>] <br>
J. Revell, P. Zuliani <br>
In <i>CMSB 2018: 16th International Conference on Computational Methods in Systems Biology.</i>
LNCS volume 11095, pp. 146-164, 2018.
<li><b>Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains</b> [<a href="papers/infQ2017.pdf" target="_blank">pdf</a>] <br>
L. Anticoli, C. Piazza, L. Taglialegne, P. Zuliani<br>
In <i>InfQ 2017: 7th Workshop on Quantitative Methods in Informatics</i>. Springer CCIS, volume 825, pp. 113-126, 2017.
<li><b>SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems</b> [<a href="papers/hvc2017.pdf" target="_blank">pdf</a>] <br>
F. Shmarov, N. Paoletti, E. Bartocci, S. Lin, S. A. Smolka, P. Zuliani<br>
In <i>HVC 2017: 13th Haifa Verification Conference</i>. LNCS volume 10629, pp. 131-146, 2017.
<li><b>Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques</b> [<a href="papers/hvc2016.pdf" target="_blank">pdf</a>] <br>
F. Shmarov, P. Zuliani<br>
In <i>HVC 2016: 12th Haifa Verification Conference</i>. LNCS volume 10028, pp. 152-168, 2016.
<li><b>High-level modeling and verification of cellular signaling</b> [<a href="https://doi.org/10.1109/HLDVT.2016.7748271" target="_blank">doi</a>] <br>
N. Miskov-Zivanov, P. Zuliani, Q. Wang, E. M. Clarke, J. R. Faeder<br>
In <i>HLDVT 2016: 18th IEEE International High Level Design Validation and Test Workshop</i>. IEEE, pp. 162-169, 2016.
<li><b>Verifying Quantum Programs: From Quipper Circuits to QPMC</b> [<a href="papers/rc2016.pdf" target="_blank">pdf</a>] <br>
L. Anticoli, C. Piazza, L. Taglialegne, P. Zuliani<br>
In <i>RC 2016: 8th Conference on Reversible Computation</i>. LNCS volume 9720, pp. 213-219, 2016.
<li><b>SMT-Based Reasoning for Uncertain Hybrid Domains</b> [<a href="https://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/download/12642/12432" target="_blank">pdf</a>] <br>
F. Shmarov, P. Zuliani<br>
In <i>AAAI-16 Workshop on Planning for Hybrid Systems, 30th AAAI Conference on Artificial Intelligence</i>, 2016.
<li><b>BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models</b> [<a href="papers/cmsb2015-biopsy.pdf" target="_blank">pdf</a>] [<a href="https://github.com/dreal/biology" target="_blank">tool page</a>] <br>
C. Madsen, F. Shmarov, P. Zuliani<br>
In <i>CMSB 2015: 13th Conference on Computational Methods in Systems Biology</i>. LNCS volume 9308, pp. 182-194, 2015.
<li><b>SReach: A Bounded Model Checker for Stochastic Hybrid Systems</b> [<a href="papers/SReach.pdf" target="_blank">pdf</a>] [<a href="https://github.com/dreal/SReach" target="_blank">tool page</a>] <br>
Q. Wang, P. Zuliani, S. Kong, S. Gao, E. M. Clarke<br>
In <i> CMSB 2015: 13th Conference on Computational Methods in Systems Biology</i>. LNCS volume 9308, pp. 15-27, 2015.
<li><b>ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems</b> [<a href="papers/ProbReach.pdf" target="_blank">pdf</a>] [<a href="https://github.com/dreal/probreach" target="_blank">tool page</a>] <br>
F. Shmarov, P. Zuliani<br>
In <i> HSCC 2015: 18th International Conference on Hybrid Systems: Computation and Control</i>. ACM, pp. 134-139, 2015.
<li><b>Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis</b> [<a href="papers/hscc2015.pdf" target="_blank">pdf</a>] <br>
B. Liu, S. Kong, S. Gao, P. Zuliani, E. M. Clarke<br>
In <i>HSCC 2015: 18th International Conference on Hybrid Systems: Computation and Control</i>. ACM, pp. 227-232, 2015.
<li><b>Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions</b> [<a href="papers/cmsb2014.pdf" target="_blank">pdf</a>] <br>
B. Liu, S. Kong, S. Gao, P. Zuliani, E. M. Clarke<br>
In <i>CMSB 2014: 12th Conference on Computational Methods in Systems Biology</i>. LNCS volume 8859, pp. 99-113, 2014.
<li><b>Studies of biological networks with statistical model checking: application to immune system cells</b> [<a href="https://doi.org/10.1145/2506583.2512390" target="_blank">doi</a>]<br>
N. Miskov-Zivanov, P. Zuliani, E. M. Clarke, J. R. Faeder<br>
In <i>ACM-BCB 2013: ACM Conference on Bioinformatics, Computational Biology and Biomedical Informatics</i>. (Poster)
<li><b>Statistical model checking for Markov decision processes</b> [<a href="papers/QESTfinal.pdf" target="_blank">pdf</a>]
[<a href="https://github.com/LS-Lab/SMC" target="_blank">tool page</a>] <br>
D. Henriques, J. Martins, P. Zuliani, A. Platzer, E. M. Clarke<br>
In <i>QEST 2012: 9th International Conference on Quantitative Evaluation of SysTems</i>. IEEE, pp. 84-93.
<li><b>Model checking for studying timing of events in T cell differentiation</b> [<a href="papers/IWBDA_2012.pdf" target="_blank">pdf</a>]<br>
P. Zuliani, N. Miskov-Zivanov, J. R. Faeder, E. M. Clarke<br>
In <i>IWBDA 2012: 4th International Workshop on Bio-Design Automation, with 49th ACM/EDAC/IEEE Design Automation Conference</i> (Abstract).
<li><b>Rare-Event Verification for Stochastic Hybrid Systems</b> [<a href="papers/hscc2012.pdf" target="_blank">pdf</a>] <br>
P. Zuliani, C. Baier, E.M. Clarke<br>
In <i>HSCC 2012: 15th ACM International Conference on Hybrid Systems: Computation and Control</i>, pp. 217-226, 2012.
<li><b>Formal Analysis for Logical Models of Pancreatic Cancer</b> [<a href="papers/CDC2011.pdf" target="_blank">pdf</a>] <br>
H. Gong, P. Zuliani, Q. Wang, E. M. Clarke<br>
In <i>CDC-ECC 2011: 50th IEEE Conference on Decision and Control and European Control Conference</i>. IEEE, pp. 4855-4860, 2011.
<li><b>Statistical Model Checking for Cyber-Physical Systems</b> [<a href="papers/atva2011.pdf" target="_blank">pdf</a>] <br>
E. M. Clarke, P. Zuliani<br>
In <i>ATVA 2011: 9th International Symposium on Automated Technology for Verification and Analysis</i>. LNCS volume 6996, pp. 1-12, 2011. (Invited paper.)
<li><b>Model Checking of a Diabetes-Cancer Model</b> [<a href="papers/CMLS11.pdf" target="_blank">pdf</a>] <br>
H. Gong, P. Zuliani, E. M. Clarke<br>
In <i>CMLS 2011: 3rd International Symposium on Computational Models for Life Sciences</i>, AIP Conf. Proc. 1371, pp. 234-243, 2011.
<li><b>Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer</b> [<a href="papers/BiCoB11.pdf" target="_blank">pdf</a>] <br>
H. Gong, Q. Wang, P. Zuliani, J. R. Faeder, M. T. Lotze, E. M. Clarke<br>
In <i>BiCoB 2011: 3rd International Conference on Bioinformatics and Computational Biology</i>, March 23-25, 2011, New Orleans, LA.
<li><b>Analog Circuit Verification by Statistical Model Checking</b> [<a href="papers/aspdac2011.pdf" target="_blank">pdf</a>] <br>
Y.-C. Wang, A. Komuravelli, P. Zuliani, E. M. Clarke<br>
In <i>ASP-DAC 2011: 16th Asia and South Pacific Design Automation Conference</i>. IEEE, pp. 1-6, 2011. (Best Paper Award nomination.)
<li><b>Statistical Verification of Probabilistic Properties with Unbounded Until</b> [<a href="papers/sbmf2010.pdf" target="_blank">pdf</a>] <br>
H. L. S. Younes, E. M. Clarke, P. Zuliani<br>
In <i>SBMF 2010: 13th Brazilian Symposium on Formal Methods</i>. LNCS volume 6527, pp. 144-160, 2011.
<li><b>Computational Modeling and Verification of Signaling Pathways in Cancer</b> [<a href="papers/ANB2010.pdf" target="_blank">pdf</a>] <br>
H. Gong, P. Zuliani, A. Komuravelli, J. R. Faeder, E. M. Clarke <br>
In <i>ANB 2010: 4th International Conference on Algebraic and Numeric Biology</i>. LNCS volume 6479, pp. 117-135, 2010.
<li><b>Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification</b> [<a href="papers/hscc2010.pdf" target="_blank">pdf</a>] <br>
P. Zuliani, A. Platzer, E. M. Clarke<br>
In <i>HSCC 2010: 13th ACM International Conference on Hybrid Systems: Computation and Control</i>, pp. 243-252, 2010.
<li><b>A Bayesian approach to model checking biological systems</b> [<a href="papers/cmsb2009.pdf" target="_blank">pdf</a>] <br>
S. K. Jha, E. M. Clarke, C. J. Langmead, A. Legay, A. Platzer, P. Zuliani<br>
In <i>CMSB 2009: 7th Conference on Computational Methods in Systems Biology</i>. LNCS volume 5688, pp. 218-234, 2009.
<li><b>A formal derivation of Grover's quantum search algorithm</b> [<a href="papers/grover.pdf" target="_blank">pdf</a>] <br>
P. Zuliani<br>
In <i>TASE 2007: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering</i>, pp. 67-74, 2007.
<li><b>Quantum programming with mixed states</b> [<a href="papers/qpwms.pdf" target="_blank">pdf</a>] <br>
P. Zuliani<br>
In <i>QPL 2005: 3rd International Workshop on Quantum Programming Languages</i>. ENTCS, volume 170, pp. 185-199, 2007.
<li><b>On counterfactual computation </b> [<a href="papers/occ.pdf" target="_blank">pdf</a>] <br>
P. Zuliani<br>
In <i>UC 2005: 4th International Conference on Unconventional Computation</i>. LNCS, volume 3699, pp. 251-266, 2005.
<li><b>On the transition to an open source solution for desktop automation</b> [<a href="https://doi.org/10.1007/978-3-540-32257-3_26" target="_blank">doi</a>]<br>
B. Rossi, B. Russo, P. Zuliani, G. Succi<br>
In <i>TCGOV 2005: ESF-TCD Conference on e-Government</i>. LNCS, volume 3416, pp. 277-285, 2005.
<li><b>Non-deterministic quantum programming</b> [<a href="papers/qpl2004.pdf" target="_blank">pdf</a>] <br>
P. Zuliani<br>
In <i>QPL 2004: 2nd International Workshop on Quantum Programming Languages</i>, pp. 179-195. TUCS Publication 33, Turku, Finland, 2004.
<li> <b>An empirical analysis on the discontinuous use of pair programming </b> [<a href="https://doi.org/10.1007/3-540-44870-5_26" target="_blank">doi</a>]<br>
A. Janes, B. Russo, P. Zuliani, G. Succi<br>
In <i>XP 2003: 4th International Conference on eXtreme Programming and Agile Processes in Software Engineering</i>. LNCS, volume 2675, pp. 205-214, 2003.
<li><b>Quantum programming </b> [<a href="papers/qp.pdf" target="_blank">pdf</a>] <br>
J. W. Sanders, P. Zuliani<br>
In <i>MPC 2000: Mathematics of Program Construction</i>. LNCS, volume 1837, pp. 80-99, 2000.
</ul>
</p>
<p>
<font size="4">
<b>Edited Volumes</b>
</font>
<ul>
<li><b>Automated Reasoning for Systems Biology and Medicine</b> [<a href="https://doi.org/10.1007/978-3-030-17297-8" target="_blank">doi</a>]<br>
P. Liò and P. Zuliani (Editors). Springer, 2019.
</ul>
</p>
<a href="https://pzuliani.github.io/">Home</a>
</body>
</html>