Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • verified-software/publications
1 result
Show changes
Commits on Source (1)
Hide whitespace changes
Inline Side-by-side
Showing
with 25 additions and 31 deletions
publications.bib
View file @ 360e3a12
......@@ -140,7 +140,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
@Article{Cardelli2012Processes,
author = {Luca Cardelli and Philippa Gardner},
title = {Processes in space},
title = {Processes in Space},
journal = {Theor. Comput. Sci.},
year = {2012},
volume = {431},
......@@ -184,8 +184,9 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
}
@Proceedings{Gardner2009Database,
title = {Database Programming Languages - {DBPL} 2009, 12\textsuperscript{th} International Symposium, Lyon, France, August 24, 2009. Proceedings},
title = {Database Programming Languages},
year = {2009},
booktitle = {Database Programming Languages - {DBPL} 2009, 12\textsuperscript{th} International Symposium, Lyon, France, August 24, 2009. Proceedings},
editor = {Philippa Gardner and Floris Geerts},
volume = {5708},
series = {Lecture Notes in Computer Science},
......@@ -207,7 +208,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
@Article{Gardner2007Linear,
author = {Philippa Gardner and Cosimo Laneve and Lucian Wischik},
title = {Linear forwarders},
title = {Linear Forwarders},
journal = {Inf. Comput.},
year = {2007},
volume = {205},
......@@ -246,7 +247,7 @@ We show that the full input capability can be simply encoded using linear forwar
@Article{Wischik2005Explicit,
author = {Lucian Wischik and Philippa Gardner},
title = {Explicit fusions},
title = {Explicit Fusions},
journal = {Theor. Comput. Sci.},
year = {2005},
volume = {340},
......@@ -257,14 +258,18 @@ We show that the full input capability can be simply encoded using linear forwar
file = {Wischik2005Explicit.pdf:Wischik2005Explicit.pdf:PDF},
}
@Proceedings{Koenig2005Graph,
title = {Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004},
year = {2005},
editor = {Barbara K{\"{o}}nig and Ugo Montanari and Philippa Gardner},
volume = {04241},
series = {Dagstuhl Seminar Proceedings},
publisher = {IBFI, Schloss Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/portals/04241/},
@inProceedings{Koenig2005Graph,
author = {Barbara K{\"o}nig and Ugo Montanari and Philippa Gardner},
title = {Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems},
booktitle = {04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems},
year = {2005},
editor = {Barbara K{\"o}nig and Ugo Montanari and Philippa Gardner},
number = {04241},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher ={Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2005/27},
}
@InProceedings{Wischik2004Strong,
......@@ -282,18 +287,6 @@ We show that the full input capability can be simply encoded using linear forwar
file = {Wischik2004Strong.pdf:Wischik2004Strong.pdf:PDF},
}
@InProceedings{Koenig200404241,
author = {Barbara K{\"{o}}nig and Ugo Montanari and Philippa Gardner},
title = {04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems},
booktitle = {Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004},
year = {2004},
editor = {Barbara K{\"{o}}nig and Ugo Montanari and Philippa Gardner},
volume = {04241},
series = {Dagstuhl Seminar Proceedings},
publisher = {IBFI, Schloss Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/27},
}
@InProceedings{Gardner2003Linear,
author = {Philippa Gardner and Cosimo Laneve and Lucian Wischik},
title = {Linear Forwarders},
......@@ -443,7 +436,7 @@ We show that the full input capability can be simply encoded using linear forwar
@PhdThesis{Gardner1992Representing,
author = {Philippa Gardner},
title = {Representing logics in type theory},
title = {Representing Logics in Type Theory},
school = {University of Edinburgh, {UK}},
year = {1992},
phdthesis = {Y},
......@@ -1018,8 +1011,9 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
}
@Proceedings{Gardner2004CONCUR,
title = {{CONCUR} 2004 - Concurrency Theory, 15\textsuperscript{th} International Conference, London, UK, August 31 - September 3, 2004, Proceedings},
title = {Preface {CONCUR} 2004, Proceedings},
year = {2004},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15\textsuperscript{th} International Conference, London, UK, August 31 - September 3, 2004, Proceedings},
editor = {Philippa Gardner and Nobuko Yoshida},
volume = {3170},
series = {Lecture Notes in Computer Science},
......@@ -1085,7 +1079,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
@Article{Gardner2017Verified,
author = {Gardner, Philippa},
title = {Verified trustworthy software systems},
title = {Verified Trustworthy Software Systems},
journal = {Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences},
year = {2017},
volume = {375},
......@@ -1099,7 +1093,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
@InProceedings{Gardner1993New,
author = {Gardner, Philippa},
title = {A new type theory for representing logics},
title = {A New Type Theory for Representing Logics},
booktitle = {Logic Programming and Automated Reasoning, 4\textsuperscript{th} International Conference, LPAR'93, St. Petersburg, Russia, July 13--20, 1993 Proceedings},
year = {1993},
editor = {Voronkov, Andrei},
......@@ -1162,7 +1156,7 @@ We have previously introduced Xdπ, a calculus for reasoning about dynamic Web d
@PhdThesis{Zarfaty2007Context,
author = {Zarfaty, Uri D},
title = {Context logic and tree update},
title = {Context logic and Tree Update},
school = {Imperial College London},
year = {2007},
type = {phdthesis},
......@@ -1440,7 +1434,7 @@ the JavaScript variable store.},
}
@article{FragosoSantos2018JaVerT,
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Daiva Naud\v{z}i\={u}nien\.{e} and Thomas Wood and Philippa Gardner},
title = {JaVerT: JavaScript verification toolchain},
title = {JaVerT: JavaScript Verification Toolchain},
journal = {{PACMPL}},
volume = {2},
number = {{POPL}},
......@@ -1575,7 +1569,7 @@ exhibit the desired behaviour.},
@Article{Dinsdale-Young2018perspective,
author = {Thomas Dinsdale-Young and Pedro da Rocha Pinto and Philippa Gardner},
title = {A perspective on specifying and verifying concurrent modules},
title = {A Perspective on Specifying and Verifying Concurrent Modules},
journal = {Journal of Logical and Algebraic Methods in Programming},
year = {2018},
volume = {98},
......