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).

• 12:39, 7 March 2023 Yizi Chen talk contribs created page File:Logo IGN-ENSG.png (Logo of IGN/ENSG.)
• 12:39, 7 March 2023 Yizi Chen talk contribs uploaded File:Logo IGN-ENSG.png (Logo of IGN/ENSG.)
• 12:23, 7 March 2023 Yizi Chen talk contribs created page Yizi Chen (Created page with "{{DISPLAYTITLE: Ph.D. Defense Yizi Chen}} <div class="center" style="width: auto; margin-left: auto; margin-right: auto;"> 250px&nbsp...")
• 16:45, 5 March 2023 Bot talk contribs created page Publications/fahrenberg.23.alguniv (Created page with "{{Publication | published = true | date = 2023-03-05 | authors = Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański | title = Catoids and Modal Convolutio...")
• 16:12, 5 March 2023 Bot talk contribs created page Publications/fahrenberg.23.pn (Created page with "{{Publication | published = true | date = 2023-03-05 | authors = Uli Fahrenberg, Krzysztof Ziemiański | title = A Myhill-Nerode Theorem for Higher-Dimensional Automata | seri...")
• 12:47, 9 February 2023 User account Vincent Gouazé talk contribs was created automatically
• 23:26, 16 December 2022 Bot talk contribs created page Publications/mazini.22.exp (Created page with "{{Publication | published = false | date = 2022-12-15 | authors = Caroline Mazini-Rodrigues, Nicolas Boutry, Laurent Najman | title = Gradients Intégrés Renforcés | booktit...")
• 15:33, 16 December 2022 Bot talk contribs deleted page Publications/boutry.22.jmiv (content was: "{{Publication | published = true | date = 2021-11-09 | authors = Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud | title = Continuous Well-Composedness implies Digital Well-Composedness in n-D | journal = Journal of Mathematical Imaging and Vision | volume = 64 | number = 2 | pages = 131 to 150 | lrdeprojects = Olena | abstract = In this paper, we prove that when a <m...", and the only contributor was "Bot" (talk))
• 15:32, 16 December 2022 Bot talk contribs created page Publications/boutry.21.jmiv (Created page with "{{Publication | published = true | date = 2021-11-09 | authors = Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud | title = Continuous Well-Composedness im...")
• 16:54, 15 December 2022 Zhou Zhao talk contribs created page Affiche-these-ZZ (Created page with "{{DISPLAYTITLE:PhD Defense Zhou ZHAO}} <div class="center" style="width: auto; margin-left: auto; margin-right: auto;"> 250px ...")
• 12:53, 15 December 2022 Bot talk contribs deleted page Publications/kheireddine.22.apsec (content was: "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir | title = Tuning SAT Solvers for LTL Model Checking | booktitle = Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) | editors = ??? | series = ??? | pages = ??? | volume = ??? | publisher = ??? | abstract = Bounded model checking (BMC) aims...", and the only contributor was "Bot" (talk))
• 12:52, 15 December 2022 Bot talk contribs created page Publications/kheireddine.22.constraints (Created page with "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir | title = Towards Better Heuristics for Solving Bounded...")
• 10:31, 15 December 2022 Bot talk contribs deleted page Publications/kheireddine.22.constraints (content was: "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir | title = Towards Better Heuristics for Solving Bounded Model Checking Problems | journal = Constraints | editors = Mark Wallace | series = Leibniz International Proceedings in Informatics (LIPIcs) | pages = ??? | volume = ??? | publisher = Schloss Dagstuhl – Leibniz-Ze...", and the only contributor was "Bot" (talk))
• 15:57, 14 December 2022 Bot talk contribs created page Publications/beaudoin.22.jmse (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = Laurent Beaudoin, Loïca Avanthey, Corentin Bunel, Charles Villard | title = Automatically Guided Selection of...")
• 15:57, 14 December 2022 Bot talk contribs created page Publications/beaudoin.22.eit (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = Laurent Beaudoin, Loïca Avanthey | title = How to help digital-native students to successfully take control o...")
• 18:44, 13 December 2022 Daniela Becker talk contribs created page NewsEntry (2022/11/22)2 (Created page with "{{News |title=2 researchers from LRE at Seminar on IA at DGFIP |subtitle=At the Seminar on Automatic Information Extraction in Administrative Forms organized by [https://www.e...")
• 23:23, 12 December 2022 Bot talk contribs deleted page Publications/saouli.22.vmcai (content was: "{{Publication | published = true | date = 2022-12-08 | authors = S Saouli, S Baarir, C Dutheillet, J Devriendt | title = CosySEL: Improving SAT Solving Using Local Symmetries | booktitle = 24th International Conference on Verification, Model Checking, and Abstract Interpretation | address = Boston, USA | lrdenewsdate = 2022-12-08 | lrdeprojects = AA | abstract = Many satisfiability proble...", and the only contributor was "Bot" (talk))
• 23:23, 12 December 2022 Bot talk contribs deleted page Publications/dziadek.22.fm (content was: "{{Publication | published = true | date = 2022-12-08 | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier | title = Energy Problems in Finite and Timed Automata with Büchi Conditions | series = Lecture Notes in Computer Science | publisher = Springer | booktitle = FM | lrdeprojects = AA, Spot | abstract = We show how to efficiently solve energy Büchi problems in finite...", and the only contributor was "Bot" (talk))
• 23:23, 12 December 2022 Bot talk contribs created page Publications/saouli.23.vmcai (Created page with "{{Publication | published = true | date = 2022-12-08 | authors = S Saouli, S Baarir, C Dutheillet, J Devriendt | title = CosySEL: Improving SAT Solving Using Local Symmetries...")
• 23:23, 12 December 2022 Bot talk contribs created page Publications/rida.22.raccisc (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = A Abou Rida, R Amhaz, P Parrend | title = Anomaly Detection on Static and Dynamic Graphs using Graph Convoluti...")