Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Elsa L. Gunter
@inproceedings{DBLP:conf/ictac/LiG21,
author = {Liyi Li and
Elsa L. Gunter},
editor = {Antonio Cerone and
Peter Csaba {\"{O}}lveczky},
title = {A Complete Semantics of {\textdollar}{\textbackslash}mathbb \{K\}{\textdollar}
and Its Translation to Isabelle},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {152--171},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_10},
doi = {10.1007/978-3-030-85315-0\_10},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/LiG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiG19,
author = {Liyi Li and
Elsa L. Gunter},
editor = {Robert Hirschfeld and
Tobias Pape},
title = {{K-LLVM:} {A} Relatively Complete Semantics of {LLVM} {IR}},
booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {166},
pages = {7:1--7:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.7},
doi = {10.4230/LIPICS.ECOOP.2020.7},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LiG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/ManskyG20,
author = {Susannah Mansky and
Elsa L. Gunter},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {Safety of a Smart Classes-Used Regression Test Selection Algorithm},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {51--73},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.004},
doi = {10.1016/J.ENTCS.2020.08.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/ManskyG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LiG20,
author = {Liyi Li and
Elsa L. Gunter},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {Per-Location Simulation},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {267--287},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_16},
doi = {10.1007/978-3-030-55754-6\_16},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LiG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ManskyG19,
author = {Susannah Mansky and
Elsa L. Gunter},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Dynamic class initialization semantics: a jinja extension},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {209--221},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294104},
doi = {10.1145/3293880.3294104},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ManskyG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/LiG18,
author = {Liyi Li and
Elsa L. Gunter},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {IsaK-Static: {A} Complete Static Semantics of {\textbackslash}mathbb
{K}},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {196--215},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_10},
doi = {10.1007/978-3-030-02146-7\_10},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/LiG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/NipGHM018,
author = {Terence Nip and
Elsa L. Gunter and
Geoffrey L. Herman and
Jason W. Morphew and
Matthew West},
editor = {Tiffany Barnes and
Daniel D. Garcia and
Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
title = {Using a Computer-based Testing Facility to Improve Student Learning
in a Programming Languages and Compilers Course},
booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
pages = {568--573},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3159450.3159500},
doi = {10.1145/3159450.3159500},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/NipGHM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06493,
author = {Liyi Li and
Elsa L. Gunter},
editor = {Horatiu Cirstea and
David Sabel},
title = {A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {20--34},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.3},
doi = {10.4204/EPTCS.265.3},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ManskyGGA16,
author = {William Mansky and
Elsa L. Gunter and
Dennis Griffith and
Michael D. Adams},
title = {Specifying and executing optimizations for generalized control flow
graphs},
journal = {Sci. Comput. Program.},
volume = {130},
pages = {2--23},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.06.003},
doi = {10.1016/J.SCICO.2016.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ManskyGGA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LiGM14,
author = {Liyi Li and
Elsa L. Gunter and
William Mansky},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {Symbolic Analysis Tools for {CSP}},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {295--313},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_18},
doi = {10.1007/978-3-319-10882-7\_18},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/LiGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ManskyG14,
author = {William Mansky and
Elsa L. Gunter},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Verifying Optimizations for Concurrent Programs},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {15--26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.15},
doi = {10.4230/OASICS.WPTE.2014.15},
timestamp = {Fri, 03 Feb 2023 10:44:28 +0100},
biburl = {https://dblp.org/rec/conf/rta/ManskyG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ManskyGG14,
author = {William Mansky and
Dennis Griffith and
Elsa L. Gunter},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Specifying and Executing Optimizations for Parallel Programs},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {58--70},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.6},
doi = {10.4204/EPTCS.159.6},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/ManskyGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GriffithG13,
author = {Dennis Griffith and
Elsa L. Gunter},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {LiquidPi: Inferrable Dependent Session Types},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {185--197},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_13},
doi = {10.1007/978-3-642-38088-4\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GriffithG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atacss/YasmeenFGG12,
author = {Ayesha Yasmeen and
Karen M. Feigh and
Gabriel Gelman and
Elsa L. Gunter},
editor = {Washington Yotto Ochieng and
Francisco Javier Saez},
title = {Formal analysis of safety-critical system simulations},
booktitle = {International Conference on Application and Theory of Automation in
Command and Control Systems, {ATACCS} '12, London, United Kingdom,
May 29-31, 2012},
pages = {71--81},
publisher = {{IRIT} Press Toulouse, France / {ACM} {DL}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2325686},
timestamp = {Fri, 16 Aug 2013 09:24:04 +0200},
biburl = {https://dblp.org/rec/conf/atacss/YasmeenFGG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ManskyG12,
author = {William Mansky and
Elsa L. Gunter},
editor = {Lennart Beringer and
Amy P. Felty},
title = {Using Locales to Define a Rely-Guarantee Temporal Logic},
booktitle = {Interactive Theorem Proving - Third International Conference, {ITP}
2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7406},
pages = {299--314},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32347-8\_20},
doi = {10.1007/978-3-642-32347-8\_20},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/ManskyG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BassFGR11,
author = {Ellen J. Bass and
Karen M. Feigh and
Elsa L. Gunter and
John M. Rushby},
title = {Formal Modeling and Analysis for Interactive Hybrid Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {45},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.45.659},
doi = {10.14279/TUJ.ECEASST.45.659},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BassFGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PopescuG11,
author = {Andrei Popescu and
Elsa L. Gunter},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Recursion principles for syntax with bindings and substitution},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {346--358},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034819},
doi = {10.1145/2034773.2034819},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PopescuG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YasmeenG11,
author = {Ayesha Yasmeen and
Elsa L. Gunter},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Automated framework for formal operator task analysis},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {78--88},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001430},
doi = {10.1145/2001420.2001430},
timestamp = {Tue, 29 Dec 2020 18:31:45 +0100},
biburl = {https://dblp.org/rec/conf/issta/YasmeenG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/YasmeenG11,
author = {Ayesha Yasmeen and
Elsa L. Gunter},
title = {Robustness for protection envelopes with respect to human task variation},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
pages = {1809--1816},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICSMC.2011.6083934},
doi = {10.1109/ICSMC.2011.6083934},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/YasmeenG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BassBFGGMR11,
author = {Ellen J. Bass and
Matthew L. Bolton and
Karen M. Feigh and
Dennis Griffith and
Elsa L. Gunter and
William Mansky and
John M. Rushby},
title = {Toward a multi-method approach to formalizing human-automation interaction
and human-human communications},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
pages = {1817--1824},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICSMC.2011.6083935},
doi = {10.1109/ICSMC.2011.6083935},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/BassBFGGMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PopescuG10,
author = {Andrei Popescu and
Elsa L. Gunter},
editor = {C.{-}H. Luke Ong},
title = {Incremental Pattern-Based Coinduction for Process Algebra and Its
Isabelle Formalization},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {109--127},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_9},
doi = {10.1007/978-3-642-12032-9\_9},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/PopescuG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ManskyG10,
author = {William Mansky and
Elsa L. Gunter},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {A Framework for Formal Verification of Compiler Optimizations},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {371--386},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_26},
doi = {10.1007/978-3-642-14052-5\_26},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/ManskyG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PopescuGO10,
author = {Andrei Popescu and
Elsa L. Gunter and
Christopher J. Osborn},
title = {Strong Normalization for System {F} by {HOAS} on Top of {FOAS}},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.48},
doi = {10.1109/LICS.2010.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PopescuGO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GunterYGN09,
author = {Elsa L. Gunter and
Ayesha Yasmeen and
Carl A. Gunter and
Anh Nguyen},
title = {Specifying and Analyzing Workflows for Automated Identification and
Data Capture},
booktitle = {42st Hawaii International International Conference on Systems Science
{(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
2009, Waikoloa, Big Island, HI, {USA}},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/HICSS.2009.402},
doi = {10.1109/HICSS.2009.402},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/GunterYGN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfmtp/GunterOP09,
author = {Elsa L. Gunter and
Christopher J. Osborn and
Andrei Popescu},
editor = {James Cheney and
Amy P. Felty},
title = {Theory support for weak higher order abstract syntax in Isabelle/HOL},
booktitle = {Proceedings of the Fourth International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, {LFMTP} '09, McGill University,
Montreal, Canada, August 2, 2009},
pages = {12--20},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1577824.1577827},
doi = {10.1145/1577824.1577827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfmtp/GunterOP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CompagnoniGB08,
author = {Adriana B. Compagnoni and
Elsa L. Gunter and
Philippe Bidinger},
title = {Role-based access control for boxed ambients},
journal = {Theor. Comput. Sci.},
volume = {398},
number = {1-3},
pages = {203--216},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.040},
doi = {10.1016/J.TCS.2008.01.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CompagnoniGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/GunterY08,
author = {Elsa L. Gunter and
Ayesha Yasmeen},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Secure Broadcast Ambients},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {257--271},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_17},
doi = {10.1007/978-3-642-01465-9\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/GunterY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CrenshawGRSK07,
author = {Tanya L. Crenshaw and
Elsa L. Gunter and
Craig L. Robinson and
Lui Sha and
P. R. Kumar},
title = {The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable
Components in Cyber-Physical System Architectures},
booktitle = {Proceedings of the 28th {IEEE} Real-Time Systems Symposium {(RTSS}
2007), 3-6 December 2007, Tucson, Arizona, {USA}},
pages = {400--412},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTSS.2007.34},
doi = {10.1109/RTSS.2007.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/CrenshawGRSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/WangSLZOACGGHKS06,
author = {Qixin Wang and
Wook Shin and
Xue Liu and
Zheng Zeng and
Cham Oh and
Bedoor K. AlShebli and
Marco Caccamo and
Carl A. Gunter and
Elsa L. Gunter and
Jennifer C. Hou and
Karrie Karahalios and
Lui Sha},
title = {I-Living: An Open System Architecture for Assisted Living},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Taipei, Taiwan, October 8-11, 2006},
pages = {4268--4275},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICSMC.2006.384805},
doi = {10.1109/ICSMC.2006.384805},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/WangSLZOACGGHKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GunterP05,
author = {Elsa L. Gunter and
Doron A. Peled},
title = {Model checking, testing and verification working together},
journal = {Formal Aspects Comput.},
volume = {17},
number = {2},
pages = {201--221},
year = {2005},
url = {https://doi.org/10.1007/s00165-005-0059-8},
doi = {10.1007/S00165-005-0059-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GunterP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BonelliCG05,
author = {Eduardo Bonelli and
Adriana B. Compagnoni and
Elsa L. Gunter},
title = {Correspondence assertions for process synchronization in concurrent
communications},
journal = {J. Funct. Program.},
volume = {15},
number = {2},
pages = {219--247},
year = {2005},
url = {https://doi.org/10.1017/S095679680400543X},
doi = {10.1017/S095679680400543X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BonelliCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/CompagnoniG05,
author = {Adriana B. Compagnoni and
Elsa L. Gunter},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {Types for Security in a Mobile World},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {75--97},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_6},
doi = {10.1007/11580850\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/CompagnoniG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlurAGLLNPAZ04,
author = {Rajeev Alur and
David Arney and
Elsa L. Gunter and
Insup Lee and
Jaime Lee and
Wonhong Nam and
Frederick Pearce and
Stephen Van Albert and
Jiaxiang Zhou},
title = {Formal specifications and analysis of the computer-assisted resuscitation
algorithm {(CARA)} Infusion Pump Control System},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {4},
pages = {308--319},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0132-7},
doi = {10.1007/S10009-003-0132-7},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AlurAGLLNPAZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonelliCG05,
author = {Eduardo Bonelli and
Adriana B. Compagnoni and
Elsa L. Gunter},
editor = {Julian Rathke},
title = {Typechecking Safe Process Synchronization},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {3--22},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.002},
doi = {10.1016/J.ENTCS.2005.05.002},
timestamp = {Tue, 13 Dec 2022 09:03:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonelliCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GunterMP03,
author = {Elsa L. Gunter and
Anca Muscholl and
Doron A. Peled},
title = {Compositional message sequence charts},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {1},
pages = {78--89},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0085-2},
doi = {10.1007/S10009-002-0085-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GunterMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GunterP03,
author = {Elsa L. Gunter and
Doron A. Peled},
editor = {Nachum Dershowitz},
title = {Unit Checking: Symbolic Model Checking for a Unit of Code},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {548--567},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_24},
doi = {10.1007/978-3-540-39910-0\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GunterP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonelliCG04,
author = {Eduardo Bonelli and
Adriana B. Compagnoni and
Elsa L. Gunter},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Correspondence Assertions for Process Synchronization in Concurrent
Communications},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {175--195},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.036},
doi = {10.1016/J.ENTCS.2004.04.036},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonelliCG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GunterP02,
author = {Elsa L. Gunter and
Doron A. Peled},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Temporal Debugging for Concurrent Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {431--444},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_30},
doi = {10.1007/3-540-46002-0\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GunterP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GunterP02,
author = {Elsa L. Gunter and
Doron A. Peled},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Tracing the executions of concurrent programs},
booktitle = {Runtime Verification 2002, {RV} 2002, FLoC Satellite Event, Copenhagen,
Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {4},
pages = {128--141},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80581-4},
doi = {10.1016/S1571-0661(04)80581-4},
timestamp = {Fri, 16 Dec 2022 10:59:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GunterP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GunterMP01,
author = {Elsa L. Gunter and
Anca Muscholl and
Doron A. Peled},
editor = {Tiziana Margaria and
Wang Yi},
title = {Compositional Message Sequence Charts},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {496--511},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_34},
doi = {10.1007/3-540-45319-9\_34},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GunterMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GunterGZ00,
author = {Carl A. Gunter and
Elsa L. Gunter and
Pamela Zave},
title = {Formal software engineering},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {54},
year = {2000},
url = {https://doi.org/10.1145/340855.340951},
doi = {10.1145/340855.340951},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GunterGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GunterGJZ00,
author = {Carl A. Gunter and
Elsa L. Gunter and
Michael Jackson and
Pamela Zave},
title = {A Reference Model for Requirements and Specifications},
journal = {{IEEE} Softw.},
volume = {17},
number = {3},
pages = {37--43},
year = {2000},
url = {https://doi.org/10.1109/52.896248},
doi = {10.1109/52.896248},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/GunterGJZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GunterKP00,
author = {Elsa L. Gunter and
Robert P. Kurshan and
Doron A. Peled},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {{PET:} An Interactive Software Testing Tool},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {552--556},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_43},
doi = {10.1007/10722167\_43},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GunterKP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/GunterGJZ00,
author = {Carl A. Gunter and
Elsa L. Gunter and
Michael Jackson and
Pamela Zave},
title = {A Reference Model for Requirements and Specifications-Extended Abstract},
booktitle = {Proceedings of the 4th International Conference on Requirements Engineering,
{ICRE} '00, Schaumburg, Illinois, USA, June 19-23, 2000},
pages = {189},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICRE.2000.855609},
doi = {10.1109/ICRE.2000.855609},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/GunterGJZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/GunterP00,
author = {Elsa L. Gunter and
Doron A. Peled},
editor = {Hamid R. Arabnia},
title = {Using a Mix of Languages in Formal Methods: The {PET} System},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Fri, 12 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/GunterP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GunterP99,
author = {Elsa L. Gunter and
Doron A. Peled},
editor = {Rance Cleaveland},
title = {Path Exploration Tool},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {405--419},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_28},
doi = {10.1007/3-540-49059-0\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GunterP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BhargavanGGJOZ98,
author = {Karthikeyan Bhargavan and
Carl A. Gunter and
Elsa L. Gunter and
Michael Jackson and
Davor Obradovic and
Pamela Zave},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {The Village Telephone System: {A} Case Study in Formal Software Engineering},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {49--66},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055129},
doi = {10.1007/BFB0055129},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BhargavanGGJOZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Gunter98,
author = {Elsa L. Gunter},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Adding External Decision Procedures to {HOL90} Securely},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {143--152},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055134},
doi = {10.1007/BFB0055134},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Gunter98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1997,
editor = {Elsa L. Gunter and
Amy P. Felty},
title = {Theorem Proving in Higher Order Logics, 10th International Conference,
TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1275},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028381},
doi = {10.1007/BFB0028381},
isbn = {3-540-63379-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/GunterM95,
author = {Elsa L. Gunter and
Savi Maharaj},
title = {Studying the {ML} Module System in {HOL}},
journal = {Comput. J.},
volume = {38},
number = {2},
pages = {142--151},
year = {1995},
url = {https://doi.org/10.1093/comjnl/38.2.142},
doi = {10.1093/COMJNL/38.2.142},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/GunterM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/GunterL95,
author = {Elsa L. Gunter and
Leonid Libkin},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Interfacing {HOL90} with a Functional Database Query Language},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {170--185},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_64},
doi = {10.1007/3-540-60275-5\_64},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/GunterL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/GunterL94,
author = {Elsa L. Gunter and
Leonid Libkin},
editor = {Dimitris Karagiannis},
title = {{OR-SML:} {A} Functional Database Programming Language for Disjunctive
Information and Its Applications},
booktitle = {Database and Expert Systems Applications, 5th International Conference,
{DEXA} '94, Athens, Greece, September 7 - 9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {856},
pages = {641--650},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58435-8\_230},
doi = {10.1007/3-540-58435-8\_230},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/GunterL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/MaharajG94,
author = {Savi Maharaj and
Elsa L. Gunter},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Studying the {ML} Module System in Hol},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {346--361},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_53},
doi = {10.1007/3-540-58450-1\_53},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/MaharajG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GunterGM93,
author = {Carl A. Gunter and
Elsa L. Gunter and
David B. MacQueen},
title = {Computing {ML} Equality Kinds Using Abstract Interpretation},
journal = {Inf. Comput.},
volume = {107},
number = {2},
pages = {303--323},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1070},
doi = {10.1006/INCO.1993.1070},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GunterGM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/InwegenG93,
author = {Myra Van Inwegen and
Elsa L. Gunter},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {{HOL-ML}},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {61--74},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_125},
doi = {10.1007/3-540-57826-9\_125},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/InwegenG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Gunter93,
author = {Elsa L. Gunter},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {A Broader Class of Trees for Recursive Type Definitions for {HOL}},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {141--154},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_131},
doi = {10.1007/3-540-57826-9\_131},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Gunter93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Gunter92,
author = {Elsa L. Gunter},
editor = {Luc J. M. Claesen and
Michael J. C. Gordon},
title = {Why we can't have SML-style datatype Declarations in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings
of the {IFIP} {TC10/WG10.2} Workshop HOL'92, Leuven, Belgium, 21-24
September 1992},
series = {{IFIP} Transactions},
volume = {{A-20}},
pages = {561--568},
publisher = {North-Holland/Elsevier},
year = {1992},
timestamp = {Thu, 03 Jan 2002 12:10:28 +0100},
biburl = {https://dblp.org/rec/conf/tphol/Gunter92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GunterGM91,
author = {Carl A. Gunter and
Elsa L. Gunter and
David B. MacQueen},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {An Abstract Interpretation for {ML} Equality Kinds},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {112--130},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_43},
doi = {10.1007/3-540-54415-1\_43},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/GunterGM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/GerberGL91,
author = {Richard Gerber and
Elsa L. Gunter and
Insup Lee},
editor = {Myla Archer and
Jeffrey J. Joyce and
Karl N. Levitt and
Phillip J. Windley},
title = {Implementing a Real-Time Process Algebra in {HOL}},
booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
Proving System and its Applications, August 1991, Davis, California,
{USA}},
pages = {144--154},
publisher = {{IEEE} Computer Society},
year = {1991},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/GerberGL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyGMP90,
author = {Amy P. Felty and
Elsa L. Gunter and
Dale Miller and
Frank Pfenning},
editor = {Mark E. Stickel},
title = {Tutorial on Lambda-Prolog},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {682},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_142},
doi = {10.1007/3-540-52885-7\_142},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyGMP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Gunter89,
author = {Elsa L. Gunter},
editor = {Peter Schroeder{-}Heister},
title = {Extensions to Logic Programming Motivated by the Construction of a
Generic Theorem Prover},
booktitle = {Extensions of Logic Programming, International Workshop, T{\"{u}}bingen,
FRG, December 8-10, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {475},
pages = {223--244},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0038696},
doi = {10.1007/BFB0038696},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/Gunter89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Gunter89,
author = {Elsa L. Gunter},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Pseudo-Retract Functors for Local Lattices and Bifinite L-domains},
booktitle = {Mathematical Foundations of Programming Semantics, 5th International
Conference, Tulane University, New Orleans, Louisiana, USA, March
29 - April 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {442},
pages = {351--363},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0040267},
doi = {10.1007/BFB0040267},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Gunter89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyGHMNS88,
author = {Amy P. Felty and
Elsa L. Gunter and
John Hannan and
Dale Miller and
Gopalan Nadathur and
Andre Scedrov},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Lambda-Prolog: An Extended Logic Programming Language},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {754--755},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012882},
doi = {10.1007/BFB0012882},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyGHMNS88.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 2023-11-22 20:37 CET 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:
