Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sten Agerholm
@article{DBLP:journals/fac/BicarreguiMRA98, author = {Juan Bicarregui and Brian Matthews and Brian Ritchie and Sten Agerholm}, title = {Investigating the Integration of two Formal Methods}, journal = {Formal Aspects Comput.}, volume = {10}, number = {5-6}, pages = {532--549}, year = {1998}, url = {https://doi.org/10.1007/s001650050031}, doi = {10.1007/S001650050031}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BicarreguiMRA98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/AgerholmL98, author = {Sten Agerholm and Peter Gorm Larsen}, editor = {Dieter Hutter and Werner Stephan and Paolo Traverso and Markus Ullmann}, title = {A Lightweight Approach to Formal Methods}, booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1641}, pages = {168--183}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48257-1\_10}, doi = {10.1007/3-540-48257-1\_10}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/AgerholmL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/AgerholmL98a, author = {Sten Agerholm and Peter Gorm Larsen}, editor = {Dieter Hutter and Werner Stephan and Paolo Traverso and Markus Ullmann}, title = {The {IFAD} {VDM} Tools: Lightweight Formal Methods}, booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1641}, pages = {326--329}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48257-1\_22}, doi = {10.1007/3-540-48257-1\_22}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/AgerholmL98a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmsp/AgerholmLR98, author = {Sten Agerholm and Pierre{-}Jean Lecoeur and Etienne Reichert}, editor = {Mark A. Ardis and Joanne M. Atlee}, title = {Formal specification and validation at work: a case study using {VDM-SL}}, booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, {USA}}, pages = {78--84}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/298595.298861}, doi = {10.1145/298595.298861}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmsp/AgerholmLR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/98/AgerholmBM98, author = {Sten Agerholm and Juan Bicarregui and Savi Maharaj}, editor = {Juan Bicarregui}, title = {On the Verification of {VDM} Specification and Refinement with {PVS}}, booktitle = {Proof in {VDM:} Case Studies}, series = {Formal Approaches to Computing and Information Technology {(FACIT)}}, pages = {157--189}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-1-4471-1532-8\_6}, doi = {10.1007/978-1-4471-1532-8\_6}, timestamp = {Mon, 15 Jun 2020 16:48:22 +0200}, biburl = {https://dblp.org/rec/books/sp/98/AgerholmBM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/98/AgerholmF98, author = {Sten Agerholm and Jacob Frost}, editor = {Juan Bicarregui}, title = {Supporting Proof in {VDM-SL} using Isabelle}, booktitle = {Proof in {VDM:} Case Studies}, series = {Formal Approaches to Computing and Information Technology {(FACIT)}}, pages = {191--223}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-1-4471-1532-8\_7}, doi = {10.1007/978-1-4471-1532-8\_7}, timestamp = {Fri, 15 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/98/AgerholmF98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/AgerholmF97, author = {Sten Agerholm and Jacob Frost}, editor = {John S. Fitzgerald and Cliff B. Jones and Peter Lucas}, title = {Towards an Integrated {CASE} and Theorem Proving Tool for {VDM-SL}}, booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1313}, pages = {278--297}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63533-5\_15}, doi = {10.1007/3-540-63533-5\_15}, timestamp = {Sun, 02 Jun 2019 21:24:32 +0200}, biburl = {https://dblp.org/rec/conf/fm/AgerholmF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/AgerholmF97, author = {Sten Agerholm and Jacob Frost}, editor = {Elsa L. Gunter and Amy P. Felty}, title = {An Isabelle-Based Theorem Prover for {VDM-SL}}, booktitle = {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}, pages = {1--16}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0028382}, doi = {10.1007/BFB0028382}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/AgerholmF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Agerholm96, author = {Sten Agerholm}, editor = {Joakim von Wright and Jim Grundy and John Harrison}, title = {Translating Specifications in {VDM-SL} to {PVS}}, booktitle = {Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1125}, pages = {1--16}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0105393}, doi = {10.1007/BFB0105393}, timestamp = {Thu, 05 Sep 2019 14:51:32 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Agerholm96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/AgerholmBD96, author = {Sten Agerholm and Ilya Beylin and Peter Dybjer}, editor = {Joakim von Wright and Jim Grundy and John Harrison}, title = {A Comparison of {HOL} and {ALF} Formalizations of a Categorical Coherence Theorem}, booktitle = {Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1125}, pages = {17--32}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0105394}, doi = {10.1007/BFB0105394}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tphol/AgerholmBD96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/Agerholm95, author = {Sten Agerholm}, title = {{LCF} Examples in {HOL}}, journal = {Comput. J.}, volume = {38}, number = {2}, pages = {121--130}, year = {1995}, url = {https://doi.org/10.1093/comjnl/38.2.121}, doi = {10.1093/COMJNL/38.2.121}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/Agerholm95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Agerholm95, author = {Sten Agerholm}, editor = {E. Thomas Schubert and Phillip J. Windley and Jim Alves{-}Foss}, title = {Non-primitive Recursive Function Definitions}, 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 = {17--31}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60275-5\_54}, doi = {10.1007/3-540-60275-5\_54}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Agerholm95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/AgerholmG95, author = {Sten Agerholm and Michael J. C. Gordon}, editor = {E. Thomas Schubert and Phillip J. Windley and Jim Alves{-}Foss}, title = {Experiments with {ZF} Set Theory in {HOL} and Isabelle}, 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 = {32--45}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60275-5\_55}, doi = {10.1007/3-540-60275-5\_55}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tphol/AgerholmG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Agerholm94, author = {Sten Agerholm}, editor = {Thomas F. Melham and Juanito Camilleri}, title = {{LCF} Examples 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 = {1--16}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58450-1\_31}, doi = {10.1007/3-540-58450-1\_31}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Agerholm94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Agerholm93, author = {Sten Agerholm}, editor = {Jeffrey J. Joyce and Carl{-}Johan H. Seger}, title = {Domain Theory in {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 = {295--309}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57826-9\_143}, doi = {10.1007/3-540-57826-9\_143}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Agerholm93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Agerholm91, author = {Sten Agerholm}, editor = {Myla Archer and Jeffrey J. Joyce and Karl N. Levitt and Phillip J. Windley}, title = {Mechanizing Program Verification in {HOL}}, booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem Proving System and its Applications, August 1991, Davis, California, {USA}}, pages = {208--222}, publisher = {{IEEE} Computer Society}, year = {1991}, timestamp = {Wed, 17 Apr 2002 08:13:51 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Agerholm91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.