Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Herbert Wiklicky
@inproceedings{DBLP:journals/corr/abs-2205-01514,
author = {Viet Pham Ngoc and
David Tuckey and
Herbert Wiklicky},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Tunable Quantum Neural Networks in the QPAC-Learning Framework},
booktitle = {Proceedings 19th International Conference on Quantum Physics and Logic,
{QPL} 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022},
series = {{EPTCS}},
volume = {394},
pages = {221--235},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.13},
doi = {10.4204/EPTCS.394.13},
timestamp = {Fri, 22 Dec 2023 11:34:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2001-06163,
editor = {Alessandro Aldini and
Herbert Wiklicky},
title = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
series = {{EPTCS}},
volume = {312},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.312},
doi = {10.4204/EPTCS.312},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-06163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09201,
author = {Austin P. Wright and
Herbert Wiklicky},
title = {Comparison of Syntactic and Semantic Representations of Programs in
Neural Embeddings},
journal = {CoRR},
volume = {abs/2001.09201},
year = {2020},
url = {https://arxiv.org/abs/2001.09201},
eprinttype = {arXiv},
eprint = {2001.09201},
timestamp = {Thu, 30 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/WiklickyV17,
editor = {Herbert Wiklicky and
Erik P. de Vink},
title = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
series = {{EPTCS}},
volume = {250},
year = {2017},
url = {http://arxiv.org/abs/1707.03668},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WiklickyV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/0001BW16,
author = {Nathalie Bertrand and
Luca Bortolussi and
Herbert Wiklicky},
title = {Editorial: Quantitative Aspects of Programming Languages and Systems},
journal = {Theor. Comput. Sci.},
volume = {655},
pages = {91},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.11.023},
doi = {10.1016/J.TCS.2016.11.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/0001BW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PierroW16,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's
and Linear Regression},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {111--139},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_6},
doi = {10.1007/978-3-319-27810-0\_6},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/PierroW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Wiklicky16,
author = {Herbert Wiklicky},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {On Dynamical Probabilities, or: How to Learn to Shoot Straight},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {262--277},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_16},
doi = {10.1007/978-3-319-39519-7\_16},
timestamp = {Sat, 05 Sep 2020 17:56:31 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Wiklicky16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/TribastoneW16,
editor = {Mirco Tribastone and
Herbert Wiklicky},
title = {Proceedings 14th International Workshop Quantitative Aspects of Programming
Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
2-3, 2016},
series = {{EPTCS}},
volume = {227},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.227},
doi = {10.4204/EPTCS.227},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TribastoneW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GabbrielliMTW15,
author = {Maurizio Gabbrielli and
Maria Chiara Meo and
Paolo Tacchella and
Herbert Wiklicky},
title = {Unfolding for {CHR} programs},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {3},
pages = {264--311},
year = {2015},
url = {https://doi.org/10.1017/S1471068413000288},
doi = {10.1017/S1471068413000288},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GabbrielliMTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MassinkNW14,
author = {Mieke Massink and
Gethin Norman and
Herbert Wiklicky},
title = {Quantitative Aspects of Programming Languages and Systems {(2011-12)}},
journal = {Theor. Comput. Sci.},
volume = {538},
pages = {1},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.05.011},
doi = {10.1016/J.TCS.2014.05.011},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MassinkNW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Wiklicky14,
author = {Herbert Wiklicky},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Program Synthesis and Linear Operator Semantics},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {17--33},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.6},
doi = {10.4204/EPTCS.157.6},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wiklicky14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PierroW13,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Chung{-}chieh Shan},
title = {Semantics of Probabilistic Programs: {A} Weak Limit Approach},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {241--256},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_18},
doi = {10.1007/978-3-319-03542-0\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PierroW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/PierroW13,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {Probabilistic Analysis of Programs: {A} Weak Limit Approach},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Third International
Workshop, {FOPARA} 2013, Bertinoro, Italy, August 29-31, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8552},
pages = {58--76},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_4},
doi = {10.1007/978-3-319-12466-7\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/PierroW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PierroW13,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Probabilistic data flow analysis: a linear equational approach},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {150--165},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.14},
doi = {10.4204/EPTCS.119.14},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/PierroW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2013,
editor = {Marco Bernardo and
Erik P. de Vink and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Formal Methods for Dynamical Systems - 13th International School on
Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7938},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38874-3},
doi = {10.1007/978-3-642-38874-3},
isbn = {978-3-642-38873-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BortolussiW13,
editor = {Luca Bortolussi and
Herbert Wiklicky},
title = {Proceedings 11th International Workshop on Quantitative Aspects of
Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March
23-24, 2013},
series = {{EPTCS}},
volume = {117},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.117},
doi = {10.4204/EPTCS.117},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BortolussiW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GabbrielliMTW13,
author = {Maurizio Gabbrielli and
Maria Chiara Meo and
Paolo Tacchella and
Herbert Wiklicky},
title = {Unfolding for {CHR} programs},
journal = {CoRR},
volume = {abs/1307.0679},
year = {2013},
url = {http://arxiv.org/abs/1307.0679},
eprinttype = {arXiv},
eprint = {1307.0679},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GabbrielliMTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1207-0559,
editor = {Herbert Wiklicky and
Mieke Massink},
title = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
series = {{EPTCS}},
volume = {85},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.85},
doi = {10.4204/EPTCS.85},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/PierroHW11,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Probabilistic timing covert channels: to close or not to close?},
journal = {Int. J. Inf. Sec.},
volume = {10},
number = {2},
pages = {83--106},
year = {2011},
url = {https://doi.org/10.1007/s10207-010-0107-0},
doi = {10.1007/S10207-010-0107-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/PierroHW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/PierroHW10,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Program Analysis Probably Counts},
journal = {Comput. J.},
volume = {53},
number = {6},
pages = {871--880},
year = {2010},
url = {https://doi.org/10.1093/comjnl/bxp033},
doi = {10.1093/COMJNL/BXP033},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/PierroHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/PierroHW10,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Alessandro Aldini and
Marco Bernardo and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Probabilistic Semantics and Program Analysis},
booktitle = {Formal Methods for Quantitative Aspects of Programming Languages,
10th International School on Formal Methods for the Design of Computer,
Communication and Software Systems, {SFM} 2010, Bertinoro, Italy,
June 21-26, 2010, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6154},
pages = {1--42},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13678-8\_1},
doi = {10.1007/978-3-642-13678-8\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/PierroHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2010,
editor = {Alessandro Aldini and
Marco Bernardo and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Formal Methods for Quantitative Aspects of Programming Languages,
10th International School on Formal Methods for the Design of Computer,
Communication and Software Systems, {SFM} 2010, Bertinoro, Italy,
June 21-26, 2010, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6154},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13678-8},
doi = {10.1007/978-3-642-13678-8},
isbn = {978-3-642-13677-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/PierroHW08,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Liqun Chen and
Mark Dermot Ryan and
Guilin Wang},
title = {Quantifying Timing Leaks and Cost Optimisation},
booktitle = {Information and Communications Security, 10th International Conference,
{ICICS} 2008, Birmingham, UK, October 20-22, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5308},
pages = {81--96},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88625-9\_6},
doi = {10.1007/978-3-540-88625-9\_6},
timestamp = {Sun, 22 Jan 2023 01:36:25 +0100},
biburl = {https://dblp.org/rec/conf/icics/PierroHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroSW08,
author = {Alessandra Di Pierro and
Pascal Sotin and
Herbert Wiklicky},
editor = {Alessandro Aldini and
Christel Baier},
title = {Relational Analysis and Precision via Probabilistic Abstract Interpretation},
booktitle = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {3},
pages = {23--42},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.017},
doi = {10.1016/J.ENTCS.2008.11.017},
timestamp = {Fri, 20 Jan 2023 13:44:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-3879,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Quantifying Timing Leaks and Cost Optimisation},
journal = {CoRR},
volume = {abs/0807.3879},
year = {2008},
url = {http://arxiv.org/abs/0807.3879},
eprinttype = {arXiv},
eprint = {0807.3879},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0807-3879.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PierroHSW07,
author = {Alessandra Di Pierro and
Chris Hankin and
Igor Siveroni and
Herbert Wiklicky},
title = {Tempus fugit: How to plug it},
journal = {J. Log. Algebraic Methods Program.},
volume = {72},
number = {2},
pages = {173--190},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.02.007},
doi = {10.1016/J.JLAP.2007.02.007},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/PierroHSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PierroW07,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Preface: Quantitative aspects of programming languages},
journal = {Theor. Comput. Sci.},
volume = {382},
number = {1},
pages = {1--2},
year = {2007},
timestamp = {Thu, 30 Aug 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/PierroW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PierroHW07,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Zhong Shao},
title = {A Systematic Approach to Probabilistic Pointer Analysis},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {335--350},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_23},
doi = {10.1007/978-3-540-76637-7\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PierroHW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroHW07,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Alessandro Aldini and
Franck van Breugel},
title = {On Probabilistic Techniques for Data Flow Analysis},
booktitle = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {3},
pages = {59--77},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.07.005},
doi = {10.1016/J.ENTCS.2007.07.005},
timestamp = {Fri, 20 Jan 2023 13:40:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroHW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PierroHW06,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Reversible combinatory logic},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {4},
pages = {621--637},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005391},
doi = {10.1017/S0960129506005391},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PierroHW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PierroHW06,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Abstract Interpretation for Worst and Average Case Analysis},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {160--174},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_8},
doi = {10.1007/978-3-540-71322-7\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PierroHW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroW06a,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Preface},
booktitle = {Proceedings of the 4th International Workshop on Quantitative Aspects
of Programming Languages, {QAPL} 2006, Vienna, Austria, April 1-2,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.008},
doi = {10.1016/J.ENTCS.2006.07.008},
timestamp = {Fri, 20 Jan 2023 13:06:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroW06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroW08,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Peter Selinger},
title = {Semantic Abstraction and Quantum Computation},
booktitle = {Proceedings of the 4th International Workshop on Quantum Programming
Languages, {QPL} 2006, Oxford, UK, July 17-19, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {210},
pages = {49--63},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.017},
doi = {10.1016/J.ENTCS.2008.04.017},
timestamp = {Mon, 13 Feb 2023 14:33:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2006,
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4038},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767954},
doi = {10.1007/11767954},
isbn = {3-540-34694-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qapl/2005,
editor = {Antonio Cerone and
Herbert Wiklicky},
title = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/153/issue/2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qapl/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qapl/2006,
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Proceedings of the 4th International Workshop on Quantitative Aspects
of Programming Languages, {QAPL} 2006, Vienna, Austria, April 1-2,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {3},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/164/issue/3},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qapl/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PierroHW05,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Quantitative static analysis of distributed systems},
journal = {J. Funct. Program.},
volume = {15},
number = {5},
pages = {703--749},
year = {2005},
url = {https://doi.org/10.1017/S0956796805005599},
doi = {10.1017/S0956796805005599},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/PierroHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PierroHW05,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Probabilistic /lambda-calculus and Quantitative Program Analysis},
journal = {J. Log. Comput.},
volume = {15},
number = {2},
pages = {159--179},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi008},
doi = {10.1093/LOGCOM/EXI008},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PierroHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PierroHW05,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Measuring the confinement of probabilistic systems},
journal = {Theor. Comput. Sci.},
volume = {340},
number = {1},
pages = {3--56},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.03.002},
doi = {10.1016/J.TCS.2005.03.002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/PierroHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PierroHW05,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {On a Probabilistic Chemical Abstract Machine and the Expressiveness
of Linda Languages},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {388--407},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_18},
doi = {10.1007/11804192\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/PierroHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BortolussiW05,
author = {Luca Bortolussi and
Herbert Wiklicky},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Distributed and Probabilistic Concurrent Constraint Programming
Language},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {143--158},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_13},
doi = {10.1007/11562931\_13},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BortolussiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CeroneW06,
author = {Antonio Cerone and
Herbert Wiklicky},
editor = {Antonio Cerone and
Herbert Wiklicky},
title = {Preface},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
pages = {1--3},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.057},
doi = {10.1016/J.ENTCS.2005.12.057},
timestamp = {Thu, 01 Dec 2022 16:37:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CeroneW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroHW06,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {On Reversible Combinatory Logic},
booktitle = {Proceedings of the First International Workshop on Developments in
Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {3},
pages = {25--35},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.018},
doi = {10.1016/J.ENTCS.2005.09.018},
timestamp = {Thu, 15 Dec 2022 14:14:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroHW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/PierroHW04,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Approximate Non-interference},
journal = {J. Comput. Secur.},
volume = {12},
number = {1},
pages = {37--82},
year = {2004},
url = {https://doi.org/10.3233/jcs-2004-12103},
doi = {10.3233/JCS-2004-12103},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/PierroHW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PierroHW04,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {Probabilistic {KLAIM}},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {119--134},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_11},
doi = {10.1007/978-3-540-24634-3\_11},
timestamp = {Fri, 23 Jun 2023 22:30:54 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PierroHW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PierroHW04,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Probabilistic Linda-Based Coordination Languages},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {120--140},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_6},
doi = {10.1007/11561163\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/PierroHW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HankinW05,
author = {Chris Hankin and
Herbert Wiklicky},
editor = {Antonio Cerone and
Alessandra Di Pierro},
title = {lambda-calculus and Quantitative Program Analysis: (Extended Abstract)},
booktitle = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {112},
pages = {5--18},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.016},
doi = {10.1016/J.ENTCS.2004.01.016},
timestamp = {Thu, 01 Dec 2022 16:35:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HankinW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroHW05,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Continuous-Time Probabilistic {KLAIM}},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues in
Coordination Models, Languages, and Systems, SecCo 2004, London, UK,
August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {5},
pages = {27--38},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.040},
doi = {10.1016/J.ENTCS.2004.11.040},
timestamp = {Mon, 12 Dec 2022 15:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroW06,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {Operator Algebras and the Operational Semantics of Probabilistic Languages},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {131--150},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.029},
doi = {10.1016/J.ENTCS.2006.04.029},
timestamp = {Fri, 20 Jan 2023 12:30:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PierroHW03,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Quantitative Relations and Approximate Process Equivalences},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {498--512},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_33},
doi = {10.1007/978-3-540-45187-7\_33},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/PierroHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/PierroHW02,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
title = {Approximate Non-Interference},
booktitle = {15th {IEEE} Computer Security Foundations Workshop {(CSFW-15} 2002),
24-26 June 2002, Cape Breton, Nova Scotia, Canada},
pages = {3--17},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CSFW.2002.1021803},
doi = {10.1109/CSFW.2002.1021803},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/PierroHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/AldiniBPGHW02,
author = {Alessandro Aldini and
Mario Bravetti and
Alessandra Di Pierro and
Roberto Gorrieri and
Chris Hankin and
Herbert Wiklicky},
editor = {Riccardo Focardi and
Roberto Gorrieri},
title = {Two Formal Approaches for Approximating Noninterference Properties},
booktitle = {Foundations of Security Analysis and Design II, {FOSAD} 2001/2002
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {2946},
pages = {1--43},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24631-2\_1},
doi = {10.1007/978-3-540-24631-2\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/AldiniBPGHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/PierroW02,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Holger Hermanns and
Roberto Segala},
title = {Probabilistic Abstract Interpretation and Statistical Testing},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification, Second Joint International Workshop {PAPM-PROBMIV} 2002,
Copenhagen, Denmark, July 25-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2399},
pages = {211--212},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45605-8\_15},
doi = {10.1007/3-540-45605-8\_15},
timestamp = {Sat, 30 Sep 2023 09:54:28 +0200},
biburl = {https://dblp.org/rec/conf/papm/PierroW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PierroHW02,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Analysing Approximate Confinement under Uniform Attacks},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {310--325},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_23},
doi = {10.1007/3-540-45789-5\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/PierroHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FruhwirthPW02,
author = {Thom W. Fr{\"{u}}hwirth and
Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Marco Comini and
Moreno Falaschi},
title = {Probabilistic Constraint Handling Rules},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2002, Grado, Italy, June 20-22, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {76},
pages = {115--130},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80789-8},
doi = {10.1016/S1571-0661(04)80789-8},
timestamp = {Wed, 07 Dec 2022 09:09:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FruhwirthPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qapl/2001,
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Workshop on Quantitative Aspects of Programming Laguages, {QAPL} 2001,
Satellite Event of {PLI} 2001, Firenze, Italy, September 7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {3},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/59/issue/3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qapl/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PierroW01,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Quantum constraint programming},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {113--130},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/15.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/PierroW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroHW01,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Probabilistic confinement in a declarative framework},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {108--130},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00152-5},
doi = {10.1016/S1571-0661(04)00152-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PierroHW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BrogiPW01,
author = {Antonio Brogi and
Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Linear Embedding for a Quantitative Comparison of Language Expressiveness},
booktitle = {Workshop on Quantitative Aspects of Programming Laguages, {QAPL} 2001,
Satellite Event of {PLI} 2001, Firenze, Italy, September 7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {3},
pages = {207--237},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00289-0},
doi = {10.1016/S1571-0661(04)00289-0},
timestamp = {Thu, 01 Dec 2022 16:19:41 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrogiPW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/PierroW01,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Preface},
booktitle = {Workshop on Quantitative Aspects of Programming Laguages, {QAPL} 2001,
Satellite Event of {PLI} 2001, Firenze, Italy, September 7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {3},
pages = {252--253},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80581-X},
doi = {10.1016/S1571-0661(05)80581-X},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PierroW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PierroW00,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Kung{-}Kiu Lau},
title = {On the precision of abstract interpretations},
booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based
Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
24-28, 2000},
series = {Technical Report},
volume = {{UMCS-00-6-1}},
publisher = {Department of Computer Science, University of Manchester},
year = {2000},
url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-dipierro.ps.Z},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/PierroW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PierroW00a,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Kung{-}Kiu Lau},
title = {Measuring the Precision of Abstract Interpretations},
booktitle = {Logic Based Program Synthesis and Transformation, 10th International
Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2042},
pages = {147--164},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45142-0\_9},
doi = {10.1007/3-540-45142-0\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PierroW00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PierroW00,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {Concurrent constraint programming: towards probabilistic abstract
interpretation},
booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
pages = {127--138},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268.351284},
doi = {10.1145/351268.351284},
timestamp = {Tue, 27 Nov 2018 15:37:24 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PierroW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroW00,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Ted Hurley and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Michel P. Schellekens and
Anthony Karel Seda},
title = {Linear Structures for Concurrency in Probabilistic Programming Languages},
booktitle = {First Irish Conference on the Mathematical Foundations of Computer
Science and Information Technology, {MFCSIT} 2000, Cork, Ireland,
July 20-21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {40},
pages = {100--143},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80039-8},
doi = {10.1016/S1571-0661(05)80039-8},
timestamp = {Wed, 30 Nov 2022 10:58:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/PierroW99,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Krzysztof R. Apt and
Antonis C. Kakas and
{\'{E}}ric Monfroy and
Francesca Rossi},
title = {Quantitative Observables and Averages in Probabilistic Constraint
Programming},
booktitle = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
Cyprus, October 25-27, 1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1865},
pages = {212--236},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-44654-0\_11},
doi = {10.1007/3-540-44654-0\_11},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/compulog/PierroW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PierroW98,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {A Markov Model for Probabilistic Concurrent Constraint Programming},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {15--28},
year = {1998},
timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
biburl = {https://dblp.org/rec/conf/agp/PierroW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/PierroW98,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Xuemin Lin},
title = {A Banach Space Based Semantics for Probabilistic Concurrent Constraint
Programming},
booktitle = {Proceedings of Computing: The Fourth Australasian Theory Symposium
(CATS'98), Perth, WA, Australia, February 2-3, 1998},
series = {Australian Computer Science Communications},
volume = {20},
number = {3},
pages = {245--260},
publisher = {Springer-Verlag Singapore Pte. Ltd.},
year = {1998},
timestamp = {Mon, 16 Mar 2020 17:44:09 +0100},
biburl = {https://dblp.org/rec/conf/cats/PierroW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/PierroW98,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {An Operational Semantics for Probabilistic Concurrent Constraint Programming},
booktitle = {Proceedings of the 1998 International Conference on Computer Languages,
{ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCL.1998.674168},
doi = {10.1109/ICCL.1998.674168},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/PierroW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AngelopoulosPW98,
author = {Nicos Angelopoulos and
Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Joxan Jaffar},
title = {Implementing Randomised Algorithms in Constraint Logic Programming},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {355--356},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AngelopoulosPW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PierroW98,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract
Model},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {446--455},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055794},
doi = {10.1007/BFB0055794},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PierroW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PierroW97,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {On Probabilistic {CCP}},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {225--234},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/PierroW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocolt/Wiklicky93,
author = {Herbert Wiklicky},
editor = {John Shawe{-}Taylor and
Martin Anthony},
title = {The neural network loading problem is undecidable},
booktitle = {Proceedings of the First European Conference on Computational Learning
Theory, EuroCOLT 1993, London, UK, December 20-22, 1993},
pages = {183--192},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocolt/Wiklicky93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Wiklicky93,
author = {Herbert Wiklicky},
editor = {Jack D. Cowan and
Gerald Tesauro and
Joshua Alspector},
title = {On the Non-Existence of a Universal Learning Algorithm for Recurrent
Neural Networks},
booktitle = {Advances in Neural Information Processing Systems 6, [7th {NIPS} Conference,
Denver, Colorado, USA, 1993]},
pages = {431--436},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://papers.nips.cc/paper/726-on-the-non-existence-of-a-universal-learning-algorithm-for-recurrent-neural-networks},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/Wiklicky93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/DorffnerPUW91,
author = {Georg Dorffner and
Erich Prem and
Claudia Ulbricht and
Herbert Wiklicky},
editor = {Wilfried Brauer and
Daniel Hern{\'{a}}ndez},
title = {Theory and Practice of Neural Networks},
booktitle = {Verteilte K{\"{u}}nstliche Intelligenz und kooperatives Arbeiten,
4. Internationaler GI-Kongress Wissensbasierte Systeme, M{\"{u}}nchen,
23.-24. Oktober 1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {291},
pages = {476--485},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-76980-1\_45},
doi = {10.1007/978-3-642-76980-1\_45},
timestamp = {Tue, 15 Dec 2020 16:47:35 +0100},
biburl = {https://dblp.org/rec/conf/wi/DorffnerPUW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
