All public logs

Combined display of all available logs of LRDE. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 16:53, 5 September 2013 Bot talk contribs deleted page Duret.11.sumo (content was: "{{News | date = 2011-06-01 | authors = Alexandre Duret-Lutz | title = Building LTL Model Checkers using Transition-based Generalized Büchi Automata | howpublished = Invi..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Duret.11.atva (content was: "{{News | date = 2011-10-01 | authors = Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg | title = Self-Loop Aggregation Product --- A New Hybrid Appro..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Duret.11.arxiv (content was: "{{News | date = 2011-06-01 | authors = Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg | title = Combining Explicit and Symbolic Approaches for Bette..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Duret.09.atva (content was: "{{News | date = 2009-01-01 | authors = Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur | title = On-the-fly Emptiness Check of Transition-based Streett Autom..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Duret.01.coots (content was: "{{News | date = 2001-01-01 | authors = Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille | title = Generic design patterns in C++ | booktitle = Proceedings of the 6th ..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Duret.01.ae (content was: "{{News | date = 2001-05-01 | authors = Alexandre Duret-Lutz | title = Expression templates in Ada~95 | booktitle = Proceedings of the 6th International Conference on Reli..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Duret.00.gcse (content was: "{{News | date = 2000-10-01 | authors = Alexandre Duret-Lutz | title = Olena: a component-based platform for image processingmixing generic, generative and OO programming ..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Duflot.06.book (content was: "{{News | date = 2006-01-01 | authors = Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston | title = Pract..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Duflot.04.avocs (content was: "{{News | date = 2004-01-01 | authors = Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frédéric Magniette, Stephane Messika, Sylvain Peyronnet, Claud..." (and the only contributor was "Bot"))
• 16:53, 5 September 2013 Bot talk contribs deleted page Dolstra.10.jfp (content was: "{{News | date = 2010-01-01 | authors = Eelco Dolstra, Andres Löh, Nicolas Pierron | title = NixOS: A purely functional Linux distribution | note = Published online by Ca..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Denise.06.rt (content was: "{{News | date = 2006-01-01 | authors = Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet | title = Uniform Random Sampli..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.13.ciaa (content was: "{{News | date = 2013-07-01 | authors = Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch | title = Implementation Concepts in Vaucanson 2 | bookt..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.09.sac (content was: "{{News | date = 2009-03-01 | authors = Akim Demaille, Roland Levillain, Benoît Sigoure | title = TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AS..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.08.ldta (content was: "{{News | date = 2008-01-01 | oldkeys = durlin.08.seminar | authors = Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure | title = Semantics driven disambiguat..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.08.kex (content was: "{{News | date = 2008-10-01 | authors = Akim Demaille, Roland Levillain | title = Compiler Construction as an Effective Application to Teach Object-Oriented Programming | ..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.08.iticse (content was: "{{News | date = 2008-06-01 | authors = Akim Demaille, Roland Levillain, Benoît Perrot | title = A Set of Tools to Teach Compiler Construction | booktitle = Proceedings o..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.08.fsmnlp (content was: "{{News | date = 2009-09-01 | authors = Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones | title = An XML form..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.06.rivf (content was: "{{News | date = 2006-02-01 | authors = Akim Demaille, Sylvain Peyronnet, Thomas Hérault | title = Probabilistic Verification of Sensor Networks | booktitle = Proceedings..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.06.isola (content was: "{{News | date = 2006-11-01 | authors = Akim Demaille, Sylvain Peyronnet, Benoît Sigoure | title = Modeling of Sensor Networks Using XRM | booktitle = Proceedings of the ..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Demaille.05.iticse (content was: "{{News | date = 2005-06-01 | authors = Akim Demaille | title = Making Compiler Construction Projects Relevant to Core Curriculums | booktitle = Proceedings of the Tenth A..." (and the only contributor was "Bot"))