Publikationen
Treffer 151 - 198 von 198 Ergebnissen
Blättern
- erste Seite
- vorherige Seite
- 51-100
- 101-150
- Sie sind auf Seite:151-198
-
QuelleAutor(en)
-
[Fachzeitschriftenartikel]
Simplification Problems for Deterministic Pushdown Automata on Infinite Words
In: International journal of foundations of computer science : IJFCS, 26 (8), 1041-1068, 2015
[DOI: 10.1142/S0129054115400122]Löding, Christof -
[Fachzeitschriftenartikel]
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
In: Formal methods in system design, 47 (1), 120-157, 2015
[DOI: 10.1007/s10703-015-0231-6]Garg, Pranav (Corresponding author)
Löding, Christof
Madhusudan, P.
Neider, Daniel -
[Buchbeitrag]
Logical Characterisations of Complexity Classes
In: Encyclopedia of applied and computational mathematics : with 33 tables / Björn Engquist, ed. - Vol. 1: A - K, 830-834, 2015
[DOI: 10.1007/978-3-540-70529-1_201]Grohe, Martin -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Limitations of Algebraic Approaches to Graph Isomorphism Testing
In: Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 ; proceedings / Magnús M. Halldórsson ... (ed.). - Pt. 1, 155-166, 2015
[DOI: 10.1007/978-3-662-47672-7_13]Berkholz, Christoph (Corresponding author)
Grohe, Martin -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Is Polynomial Time Choiceless?
In: Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday ; ["Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015] / Lev D. Beklemishev (eds.), 193-209, 2015
[DOI: 10.1007/978-3-319-23534-9_11]Grädel, Erich (Corresponding author)
Grohe, Martin (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Isomorphism Testing for Graphs of Bounded Rank Width
In: 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS 2015) : Berkeley, California, USA, 17 - 20 October 2015 / [sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT)]. - 2, 1010-1029, 2015
[DOI: 10.1109/FOCS.2015.66]Grohe, Martin (Corresponding author)
Schweitzer, Pascal (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Computing with Tangles
In: STOC'15 : proceedings of the 2015 ACM Symposium on Theory of Computing : Portland, Oregon, USA, June 14 - 17, 2015 / sponsored by: ACM SIGACT, 683-692, 2015
[DOI: 10.1145/2746539.2746587]Grohe, Martin (Corresponding author)
Schweitzer, Pascal (Corresponding author) -
[Fachzeitschriftenartikel]
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs
In: SIAM journal on computing, 44 (1), 114-159, 2015
[DOI: 10.1137/120892234]Grohe, Martin
Marx, Dániel -
[Fachzeitschriftenartikel]
Bounds for the Quantifier Depth in Finite-Variable Logics
In: ACM transactions on computational logic, 16 (3), 1-26, 2015
[DOI: 10.1145/2732409]Berkholz, Christoph (Corresponding author)
Krebs, Andreas (Corresponding author)
Verbitsky, Oleg (Corresponding author) -
[Fachzeitschriftenartikel]
Pebble Games and Linear Equations
In: The journal of symbolic logic, 80 (03), 797-844, 2015
[DOI: 10.1017/jsl.2015.28]Grohe, Martin (Corresponding author)
Otto, Martin (Corresponding author) -
[Fachzeitschriftenartikel]
On the Space and Circuit Complexity of Parameterized Problems : Classes and Completenessonline
In: Algorithmica, 71 (3), 661-701, 2015
[DOI: 10.1007/s00453-014-9944-y]Elberfeld, Michael (Corresponding author)
Stockhusen, Christoph (Corresponding author)
Tantau, Till (Corresponding author) -
[Preprint]
Decision Problems for Deterministic Pushdown Automata on Infinite Words, 2014
[DOI: 10.4204/EPTCS.151.4]Löding, Christof (Corresponding author) -
[Preprint]
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations, 2014
[DOI: 10.4204/EPTCS.161.10]Löding, Christof (Corresponding author)
Winter, Sarah (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Guaranteeing Stability and Delay in Dynamic Networks Based on Infinite Games
In: 2014 IEEE 11th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2014) : Philadelphia, Pennsylvania, USA, 28 - 30 October 2014 ; [including workshop papers] / [IEEE and the IEEE Computer Society, sponsors], 461-469, 2014
[DOI: 10.1109/MASS.2014.41]Tenbusch, Simon (Corresponding author)
Löding, Christof
Radmacher, Frank G.
Gross, James (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Decision Problems for Deterministic Pushdown Automata on Infinite Words
In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014, 55-73, 2014Löding, Christof -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
In: Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification : Verona, Italy, 10th - 12th September 2014 / Edited by: Adriano Peron and Carla Piazza, 88-101, 2014Löding, Christof (Corresponding author)
Winter, Sarah (Corresponding author) -
[Fachzeitschriftenartikel]
Database Theory Column Report on PODS 2014
In: ACM SIGACT news, 45 (4), 83-85, 2014
[DOI: 10.1145/2696081.2696097]Grohe, Martin -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Parameterized Complexity of Fixed-Variable Logics
In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014) [Elektronische Ressource] / Hrsg.: Venkatesh Raman ; S. P. Suresh, 109-120, 2014
[DOI: 10.4230/LIPIcs.FSTTCS.2014.109]Berkholz, Christoph (Corresponding author)
Elberfeld, Michael (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
The Propagation Depth of Local Consistency
In: Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings, 158-173, 2014
[DOI: 10.1007/978-3-319-10428-7_14]Berkholz, Christoph -
[Buchbeitrag, Beitrag zu einem Tagungsband]
ICE: A Robust Framework for Learning Invariance
In: Computer aided verification : 26th international conference, CAV 2014, held as a part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 ; proceedings / Armin Biere; Roderick Bloem (eds.), 69-87, 2014
[DOI: 10.1007/978-3-319-08867-9_5]Garg, Pranav
Löding, Christof
Madhusudan, P.
Neider, Daniel -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures
In: Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25 - 29, 2014 ; proceedings / Erzsébet Csuhaj-Varjú; Martin Dietzfelbinger; Zoltán Ésik (eds.). - Pt. 1, 256-266, 2014
[DOI: 10.1007/978-3-662-44522-8_22]Eickmeyer, Kord (Corresponding author)
Elberfeld, Michael (Corresponding author)
Harwath, Frederik (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Embedding and canonizing graphs of bounded genus in logspace
In: STOC'14 : proceedings of the 2014 ACM Symposium on Theory of Computing : New York, New York, USA, May 31, 2014 - June 3, 2014 / sponsored by: ACM SIGACT, 383-392, 2014
[DOI: 10.1145/2591796.2591865]Elberfeld, Michael (Corresponding author)
Kawarabayashi, Ken-ichi (Corresponding author) -
[Preprint]
Monadic Datalog Containment on Trees, 2014Frochaux, André
Grohe, Martin
Schweikardt, Nicole -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Power Iterated Color Refinement
In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence and the Twenty-Sixth Innovative Applications of Artificial Intelligence Conference : 27 - 31 July 2014, Québec City, Québec, Canada ; [including the Fifth Symposium on Educational Advances in Artificial Intelligence] / [sponsored by the Association for the Advancement of Artificial Intelligence]. - Vol. 3, 1904-1910, 2014Kersting, Kristian
Mladenov, Martin
Garnett, Roman
Grohe, Martin -
[Beitrag zu einem Tagungsband]
Monadic Datalog Containment on Trees
In: Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management : (AMW 2014) ; June 4-6, 2014, Cartagena de Indias, Colombia, 6 S., 2014Frochaux, André
Grohe, Martin
Schweikardt, Nicole -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Deciding first-order properties of nowhere dense graphs
In: STOC'14 : proceedings of the 2014 ACM Symposium on Theory of Computing : New York, New York, USA, May 31, 2014 - June 3, 2014 / sponsored by: ACM SIGACT, 89-98, 2014
[DOI: 10.1145/2591796.2591851]Grohe, Martin (Corresponding author)
Kreutzer, Stephan (Corresponding author)
Siebertz, Sebastian (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Choiceless Polynomial Time on Structures with Small Abelian Colour Classes
In: Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25 - 29, 2014 ; proceedings / Erzsébet Csuhaj-Varjú; Martin Dietzfelbinger; Zoltán Ésik (eds.). - Pt. 1, 50-62, 2014
[DOI: 10.1007/978-3-662-44522-8_5]Abu Zaid, Faried (Corresponding author)
Grädel, Erich (Corresponding author)
Grohe, Martin (Corresponding author)
Pakusa, Wied (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Algothmic Meta Theorems for Sparse Graph Classes
In: Computer science - theory and applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7 - 11, 2014 ; proceedings / Edward A. Hirsch .... (eds.), 16-22, 2014
[DOI: 10.1007/978-3-319-06686-8_2]Grohe, Martin -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Dimension Reduction via Colour Refinement
In: Algorithms - ESA 2014 : 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings / edited by Andreas S. Schulz, Dorothea Wagner, 505-516, 2014
[DOI: 10.1007/978-3-662-44777-2_42]Grohe, Martin
Kersting, Kristian
Mladenov, Martin
Selman, Aziz Erkal -
Hull, Richard (Editor)
Grohe, Martin (Editor) -
[Fachzeitschriftenartikel]
Constraint Solving via Fractional Edge Covers
In: ACM transactions on algorithms : TALG, 11 (1), 4, 2014
[DOI: 10.1145/2636918]Grohe, Martin (Corresponding author)
Marx, Dániel (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing
In: Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings / Krishnendu Chatterjee; Jirí Sgall (ed.), 159-170, 2013
[DOI: 10.1007/978-3-642-40313-2_16]Berkholz, Christoph (Corresponding author)
Verbitsky, Oleg (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Characterisations of Nowhere Dense Graphs (Invited Talk)
In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013) : December 12 - 14, 2013, Guwahati, India / Anil Seth ... (eds.), 21-40, 2013
[DOI: 10.4230/LIPIcs.FSTTCS.2013.21]Grohe, Martin (Corresponding author)
Kreutzer, Stephan (Corresponding author)
Siebertz, Sebastian (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
A Simple Algorithm for the Graph Minor Decomposition : Logic meets Structural Graph Theory-
In: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms / Khanna Sanjeev, editor., 414-431, 2013
[DOI: 10.1137/1.9781611973105.30]Grohe, Martin (Corresponding author)
Kawarabayaschi, Ken-ichi (Corresponding author)
Reed, Bruce A. (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Logical and Structural Approaches to the Graph Isomorphism Problem
In: Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings / Krishnendu Chatterjee; Jirí Sgall (ed.), 42, 2013
[DOI: 10.1007/978-3-642-40313-2_4]Grohe, Martin (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Bounds and Algorithms for Joins via Fractional Edge Covers
In: In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman ; [colloquim in celebration of his distinguished career ; Scotland, 27-29 October, 2013] / Val Tannen ... (eds.), 321-338, 2013
[DOI: 10.1007/978-3-642-41660-6_17]Grohe, Martin (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement
In: Algorithms - ESA 2013 : 21st annual European symposium ; Sophia Antipolis, France, September 2 - 4, 2013 ; [organized as part of ALGO 2013] ; proceedings / Hans L. Bodlaender; Giuseppe F. Italiano (ed.), 145-156, 2013
[DOI: 10.1007/978-3-642-40450-4_13]Berkholz, Christoph (Corresponding author)
Bonsma, Paul (Corresponding author)
Grohe, Martin (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Deciding the weak definability of Büchi definable tree languages
In: Computer Science Logic 2013 (CSL 2013) / Hrsg.: Simona Ronchi Della Rocca, 215-230, 2013
[DOI: 10.4230/LIPIcs.CSL.2013.215]Colcombet, Thomas (Corresponding author)
Kuperberg, Denis (Corresponding author)
Löding, Christof (Corresponding author)
Vanden Boom, Michael (Corresponding author) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning universally quantified invariants of linear data structures
In: Computer aided verification : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 ; proceedings / Natasha Sharygina ... (ed.), 813-829, 2013
[DOI: 10.1007/978-3-642-39799-8_57]Garg, Pranav
Löding, Christof
Madhusudan, P.
Neider, Daniel -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Decidability Results on the Existence of Lookahead Delegators for NFA
In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013) : December 12 - 14, 2013, Guwahati, India / Anil Seth ... (eds.), 327-338, 2013
[DOI: 10.4230/LIPIcs.FSTTCS.2013.327]Löding, Christof
Repke, Stefan -
[Fachzeitschriftenartikel]
Size bounds and query plans for relational joins
In: SIAM journal on computing, 42 (4), 1737-1767, 2013
[DOI: 10.1137/110859440]Atserias, Albert (Corresponding author)
Grohe, Martin (Corresponding author)
Marx, Dániel (Corresponding author) -
[Fachzeitschriftenartikel]
L-Recursion and a new Logic for Logarithmic Space
In: Logical methods in computer science : LMCS, 9 (1), 1-44, 2013
[DOI: 10.2168/LMCS-9(1:11)2013]Grohe, Martin
Grussien, Berit
Hernich, Andre
Laubner, Bastian -
[Bericht]
Mentoring in der Studieneingangsphase - Erfahrungen aus der Informatik der RWTH Aachen, 2012Nagl, Manfred
Akbari, M.
Leonhardt, Thiemo
Frickenschmidt, Marlin Maya Lilith
Schalthöfer, Svenja -
[Preprint]
L-Recursion and a new Logic for Logarithmic Space, 2012Grohe, Martin
Grussien, Berit
Hernich, Andre
Laubner, Bastian -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Regularity Problems for Weak Pushdown ω-Automata and Games
In: Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27 - 31, 2012 ; proceedings / Branislav Rovan ... (eds.), 764-776, 2012Löding, Christof
Repke, Stefan -
[Buchbeitrag]
Basics on tree automata
In: Modern applications of automata theory / ed. Deepak D'Souza; Priti Shankar, 79-109, 2012Löding, Christof -
[Fachzeitschriftenartikel]
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors
In: Journal of the ACM, 59 (5), 27, 2012
[DOI: 10.1145/2371656.2371662]Grohe, Martin -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Degrees of Lookahead in Context-free Infinite Games
In: Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL / EACSL (European Association for Computer Science Logic). Hrsg.: Marc Bezem, 264-276, 2011
[DOI: 10.4230/LIPIcs.CSL.2011.264]Fridman, Wladimir
Löding, Christof
Zimmermann, Martin
Blättern
- erste Seite
- vorherige Seite
- 51-100
- 101-150
- Sie sind auf Seite:151-198