Christof Löding
Orcid: 0000-0002-1529-2806Affiliations:
- RWTH Aachen University, Germany
According to our database1,
Christof Löding
authored at least 80 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Int. J. Found. Comput. Sci., 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2023
CoRR, 2023
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023
2022
Proc. ACM Program. Lang., 2022
On Minimization and Learning of Deterministic ω-Automata in the Presence of Don't Care Words.
Fundam. Informaticae, 2022
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
2021
CoRR, 2021
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm.
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
2020
Int. J. Found. Comput. Sci., 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020
2019
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words.
Discret. Math. Theor. Comput. Sci., 2019
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Proc. ACM Program. Lang., 2018
Fundam. Informaticae, 2018
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018
2017
Proceedings of the International Conference on Algorithmic Learning Theory, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
2015
Int. J. Found. Comput. Sci., 2015
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists.
Formal Methods Syst. Des., 2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the 11th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
Proceedings of the Developments in Language Theory - 17th International Conference, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Inf. Process. Lett., 2012
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Modern Applications of Automata Theory., 2012
2011
Proceedings of the Computer Science Logic, 2011
Infinite games and automata theory.
Proceedings of the Lectures in Game Theory for Computer Scientists., 2011
2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Language and Automata Theory and Applications, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009
2008
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008
The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008
Logical theories and compatible operations.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008
2007
J. Log. Algebraic Methods Program., 2007
Proceedings of the Implementation and Application of Automata, 2007
Proceedings of the Mathematical Foundations of Computer Science 2007, 2007
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
Theory Comput. Syst., 2006
J. ACM, 2006
Proceedings of the STACS 2006, 2006
Proceedings of the Foundations of Software Science and Computation Structures, 2006
2005
Proceedings of the Foundations of Semistructured Data, 6.-11. February 2005, 2005
2004
Fundam. Informaticae, 2004
Proceedings of the STACS 2004, 2004
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004
2003
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003
2002
Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Inf. Process. Lett., 2001
2000
Proceedings of the Theoretical Computer Science, 2000
1999
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999