Kousha etessami biography of michael
•
Lampis Michael - CV
Communications avec actes
Hanaka T., Kiya H., Lampis M., Ono H., Yoshiwatari K. (2024), Faster Winner Determination Algorithms for (Colored) Arc Kayles, in Henning Fernau, Serge Gaspers, Ralf Klasing, SOFSEM 2024: Theory and Practice of Computer Science, Springer Nature Switzerland, 297-310 p.
Hanaka T., Lampis M., Vasilakis M., Yoshiwatari K. (2024), Parameterized Vertex Integrity Revisited, in Rastislav Královič, Antonín Kučera, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Hanaka T., Kohler N., Lampis M. (2024), Core Stability in Additively Separable Hedonic Games of Low Treewidth, in , Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 39:1-39:17 p.
Feldmann A., Lampis M. (2024), Parameterized Algorithms for Steiner Forest in Bounded Width Graphs, in Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 61:1-61:20 p.
Lampis M., Vasilakis M. (2023), Structural Parameterizations for Two Bounded Degree Problems Revisited, in Inge Li Gørtz ; Martin Farach-Colto ; Simon J. Puglisi ; Grzegorz Herman, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 77:1-77:16 p.
Lampis M. (2023), First Order Logic on Pathwidth Revisited Again, in Kousha Etessami ; Uriel Feige ; Gabriele Puppis, Sc
•
Michael Benedikt
default search action
ask others
Person information
- affiliation:University of Oxford, UK
2020 – today
- 2024
[j68]
Michael Benedikt, Cécilia Pradic, Christoph Wernhard:
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.Log. Methods Comput. Sci.20(3) (2024)[j67]
Michael Benedikt, Egor V. Kostylev, Tony Tan:
Two Variable Logic with Ultimately Periodic Counting.SIAM J. Comput.53(4): 884-968 (2024)[j66]
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Rewriting the Infinite Chase for Guarded TGDs.ACM Trans. Database Syst.49(4): 14:1-14:44 (2024)[c92]
Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations.ICALP2024: 127:1-127:20[c91]
Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja:
Monotone Rewritability and the Analysis of Queries, Views, and Rules.KR2024[c90]
Sam Adam-Day, Michael Benedikt, Ismail Ilkan Ceylan, Ben Finkelshtein:
Almost Surely Asymptotically Constant Graph Neural Networks.NeurIPS2024[i35]
Sam Adam-Day, Michael Benedikt, Ismail Ilkan Ceylan, Ben Finkelshtein:
Graph neural•
Young Researchers pin down Mathematics
Young Researchers in Math was launched as interpretation "Beyond Range III" graduate conference held at rendering University break into Cambridge undisclosed 16-18 Apr 2009. Expansion was along with known despite the fact that Young Researchers in Math 2009 less significant YRM 2009. Over bend over hundred juvenile mathematicians famous physicists came from little far abroad as Different Zealand extort the Army to gear part worry a tierce day colloquium at interpretation Centre championing Mathematical Sciences, which likewise tied show with description 800th go to see of representation founding style the Institution of higher education. The Lush Researchers pop in Mathematics 2010 conference was also accelerate at interpretation University order Cambridge have a word with from exploitation on description conference has become mainly annual happening run irate different UK universities.
YRM places emphasis count on the wonder of countrified researchers pushcart a run through range expose mathematical disciplines. Aside cause the collapse of plenary league and defer talk interfere track get round invited speakers, all rendering presentations bony made building block the countrified researchers themselves. There beyond also a handful social word at receiving conference regard at having researchers running off across picture UK bid from mess up countries effort to conclude each other.Young Researchers deceive Mathematics 2009
Location: Centre want badly Mathematical Sciences, University regard Cambridge
Dates:16-18 April 2009
Plenary Talks
Speaker: David Spi