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:52, 5 September 2013 Bot talk contribs deleted page Berger.07.icip (content was: "{{News | date = 2007-09-01 | authors = Christophe Berger, Thierry Géraud, Roland Levillain, Nicolas Widynski, Anthony Baillard, Emmanuel Bertin | title = Effective Compo..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Bensalem.12.topnoc (content was: "{{News | date = 2012-01-01 | authors = Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon | title = Model Checking using Generalized Testing Automata | volume = 7..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Bensalem.11.sumo (content was: "{{News | date = 2011-06-01 | authors = Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon | title = Generalized Büchi Automata versus Testing Automata for Model ..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Baillard.07.gretsi (content was: "{{News | date = 2007-09-01 | authors = Anthony Baillard, Christophe Berger, Emmanuel Bertin, Thierry Géraud, Roland Levillain, Nicolas Widynski | title = Algorithme de c..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Baillard.05.adass (content was: "{{News | date = 2005-01-01 | authors = Anthony Baillard, Emmanuel Bertin, Yannic Mellier, Henry Joy McCracken, Thierry Géraud, Roser Pelló, Jean-François LeBorgne, Pas..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Babiak.13.spin (content was: "{{News | date = 2013-07-01 | authors = Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský Jan Strejček | title = Compositional Approach to Suspensi..." (and the only contributor was "Bot"))
• 16:52, 5 September 2013 Bot talk contribs deleted page Angelidis.01.wscg (content was: "{{News | date = 2001-02-01 | authors = Alexis Angelidis, Geoffroy Fouquier | title = Visualization issues in virtual environments: from computer graphics techniques to in..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201310-ATVAb (content was: "{{News | date = 2013-10-01 | authors = Łukasz Fronc, Alexandre Duret-Lutz | title = LTL Model Checking with Neco | booktitle = Proceedings of the 11th International Symp..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201310-ATVAa (content was: "{{News | date = 2013-10-01 | authors = Alexandre Duret-Lutz | title = Manipulating LTL formulas using Spot 1.0 | booktitle = Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) ...")
• 16:46, 5 September 2013 Bot talk contribs deleted page 201307-Spin (content was: "{{News | date = 2013-07-01 | authors = Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský Jan Strejček | title = Compositional Approach to Suspensi..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201307-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:46, 5 September 2013 Bot talk contribs deleted page 201305-ISMMd (content was: "{{News | date = 2013-01-01 | authors = Edwin Carlinet, Thierry Géraud | title = A comparison of many max-tree computation algorithms | booktitle = Mathematical Morpholog..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201305-ISMMc (content was: "{{News | date = 2013-01-01 | authors = Yongchao Xu, Thierry Géraud, Laurent Najman | title = Two applications of shape-based morphology: blood vessels segmentation and a..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201305-ISMMb (content was: "{{News | date = 2013-01-01 | authors = Laurent Najman, Thierry Géraud | title = Discrete set-valued continuity and interpolation | booktitle = Mathematical Morphology an..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201305-ISMMa (content was: "{{News | date = 2013-01-01 | authors = Thierry Géraud, Edwin Carlinet, Sébastien Crozet, Laurent Najman | title = A quasi-linear algorithm to compute the tree of shapes..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201303-TACAS (content was: "{{News | date = 2013-01-01 | authors = Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud | title = Strength-Based Decomposition of the Property Büc..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201302-IJDAR (content was: "{{News | date = 2013-01-01 | authors = Guillaume Lazzara, Thierry Géraud | title = Efficient Multiscale Sauvola's Binarization | note = Accepted | urllrde = 201302-IJDAR..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201212-NISTSRE (content was: "{{News | date = 2012-12-01 | authors = Jonas Borgstrom, William Campbell, Najim Dehak, Reda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fre..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201209-DSL (content was: "{{News | date = 2012-09-01 | authors = Didier Verna | title = Extensible languages: blurring the distinction between DSLs and GPLs | booktitle = Formal and Practical Aspe..." (and the only contributor was "Bot"))
• 16:46, 5 September 2013 Bot talk contribs deleted page 201207-TUG (content was: "{{News | date = 2012-01-01 | authors = Didier Verna | title = Star TeX : the Next Generation | booktitle = TUGboat | editors = Barbara Beeton, Karl Berry | volume = 33 | ..." (and the only contributor was "Bot"))