@inproceedings(Alama+-2011, author = "Jesse Alama and Kasper Brink and Lionel Mamane and Josef Urban", year = "2011", title = "Large Formal Wikis: Issues and Solutions", editor = "Davenport", pages = "133--148", doi = "10.1007/978-3-642-22673-1_10", ) @inproceedings(Asperti+-2012, author = "Andrea Asperti and Wilmer Ricciotti", year = "2012", title = "A Web Interface for Matita", editor = "Jeuring", pages = "417--421", doi = "10.1007/978-3-642-31374-5_28", ) @inproceedings(Aspinall-2000, author = "David Aspinall", year = "2000", title = "Proof General: A Generic Tool for Proof Development", editor = "Susanne Graf and Michael I. Schwartzbach", booktitle = "TACAS", series = "Lecture Notes in Computer Science", volume = "1785", publisher = "Springer", pages = "38--42", doi = "10.1007/3-540-46419-0_3", ) @inproceedings(BarrasTassi-2012, author = "Bruno Barras and Enrico Tassi", year = "2012", title = "Designing a state transaction machine for Coq", booktitle = "Coq Workshop", ) @inbook(Cooper+-2007, author = "Alan Cooper and Robert Reimann and David Cronin", year = "2007", title = "About Face 3 --- The Essentials of Interaction Design", chapter = "25: Errors, Alerts, and Confirmations", pages = "545--547", publisher = "Wiley Publishing, Inc.", note = "Section: Rich visual modeless feedback", ) @inproceedings(CorbineauKaliszyk-2007, author = "Pierre Corbineau and Cezary Kaliszyk", year = "2007", title = "Cooperative Repositories for Formal Proofs", editor = "Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger", booktitle = "Proc. of the 6th International Conference on Mathematical Knowledge Management (MKM'07)", series = "LNCS", volume = "4573", publisher = "Springer Verlag", pages = "221--234", doi = "10.1007/978-3-540-73086-6_19", ) @proceedings(DBLP:conf/mkm/2011, editor = "James H. Davenport and William M. Farmer and Josef Urban and Florian Rabe", year = "2011", title = "Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings", series = "Lecture Notes in Computer Science", volume = "6824", publisher = "Springer", doi = "10.1007/978-3-642-22673-1", ) @inbook(GoF-Observer, author = "Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides", year = "1994", title = "Design Patterns -- Elements of Reusable Object-Oriented Software", chapter = "Behavioral Patterns -- Observer", publisher = "Addison--Wesley", note = "First edition, 20th printing", ) @manual(Comet, author = "Rob Gravelle", year = "2009", title = "Comet Programming: Using Ajax to Simulate Server Push", url = "http://www.webreference.com/programming/javascript/rg28/index.html", note = "Example tutorial taken from the web", ) @misc(Haverbeeke-2007, author = "Marijn Haverbeeke", year = "2007", title = "Implementing a Syntax-Highlighting JavaScript Editor --- In JavaScript /* A brutal odyssey to the dark side of the DOM tree */", howpublished = "Blog post", url = "http://codemirror.net//1/story.html", ) @proceedings(DBLP:conf/aisc/2012, editor = "Johan Jeuring and John A. Campbell and Jacques Carette and Gabriel Dos Reis and Petr Sojka and Makarius Wenzel and Volker Sorge", year = "2012", title = "Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings", series = "Lecture Notes in Computer Science", volume = "7362", publisher = "Springer", doi = "10.1007/978-3-642-31374-5", ) @inproceedings(Kaliszyk-2007, author = "Cezary Kaliszyk", year = "2007", title = "Web Interfaces for Proof Assistants", editor = "S. Autexier and C. Benzm\"uller", booktitle = "Proc. of the Workshop on User Interfaces for Theorem Provers (UITP'06)", series = "ENTCS", volume = "174[2]", pages = "49--61", doi = "10.1016/j.entcs.2006.09.021", ) @misc(Pierce+-SF, author = "Benjamin C. Pierce and Chris Casinghino and Michael Greenberg", year = "2010", title = "Software Foundations", howpublished = "Course notes, online at \url {http://www.cis.upenn.edu/~bcpierce/sf/}", ) @inproceedings(Tankink+-2010, author = "Carst Tankink and Herman Geuvers and James McKinna and Freek Wiedijk", year = "2010", title = "{Proviola}: a Tool for Proof Re-animation", editor = "Serge Autexier and Jacques Calmet and David Delahaye and Patrick D.F. Ion and Laurence Rideau and Renaud Rioboo and Alan P. Sexton", booktitle = "Intelligent Computer Mathematics", series = "Lecture Notes in Artifical Intelligence", volume = "LNAI 6167", publisher = "Spring-Verlag Berlin Heidelberg", pages = "440 -- 454", doi = "10.1007/978-3-642-14128-7_37", ) @inproceedings(TankinkLangeUrban-2012, author = "Carst Tankink and Christoph Lange and Josef Urban", year = "2012", title = "Point-and-Write - Documenting Formal Mathematics by Reference", editor = "Jeuring", pages = "169--185", doi = "10.1007/978-3-642-31374-5_12", ) @misc(Coq, author = "{The Coq Development Team}", title = "The {C}oq Proof Assistant", url = "http://coq.inria.fr", ) @article(Urban+-2012, author = "Josef Urban and Piotr Rudnicki and Geoff Sutcliffe", year = "2012", title = "{ATP} and Presentation Service for {Mizar} Formalizations", journal = "J. Autom. Reasoning", doi = "10.1007/s10817-012-9269-y", ) @misc(Cunningham-2003, author = "Bill Venners", year = "2003", title = "Exploring with Wiki --- A Conversation with Ward Cunningham, Part 1", howpublished = "interview", url = "http://www.artima.com/intv/wiki.html", note = "Response to the second question", ) @inproceedings(Wenzel-2011, author = "Makarius Wenzel", year = "2011", title = "Isabelle as Document-Oriented Proof Assistant", editor = "Davenport", pages = "244--259", doi = "10.1007/978-3-642-22673-1_17", ) @inproceedings(Wenzel-2012, author = "Makarius Wenzel", year = "2012", title = "READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking", booktitle = "User Interfaces for Theorem Provers 2012", url = "http://www4.in.tum.de/~wenzelm/papers/async-repl.pdf", )