Michael Ludwig
ScholarGPS® ID: 30065103941597
Affiliation History
Discipline
Computer Science
Metrics Summary
Publication Count
10
Predicted Citations
22
Predicted h-index
2
Ranking
Publications and Citation History
Publications based on Top Specialties
Types of Publication
- Publications
- Books
- Patents
- NIH/NSF
Add
Delete
|
---|
Foundations of Software Technology and Theoretical Computer Science (2018) |
Positive and negative proofs for circuits and branching programs (journal article) Theoretical Computer Science, volume 610 (2016). |
Cost Register Automata for Nested Words (book chapter) In Computing and Combinatorics Springer International Publishing (2016) |
On Distinguishing NC $$^1$$ and NL (book chapter) In Developments in Language Theory Springer International Publishing (2015) |
A Circuit Complexity Approach to Transductions (book chapter) In Mathematical Foundations of Computer Science 2015 Springer Berlin Heidelberg (2015) |
Visibly Counter Languages and the Structure of $$\mathrm {NC}^{1}$$ (book chapter) In Mathematical Foundations of Computer Science 2015 Springer Berlin Heidelberg (2015) |
Symposium on Theoretical Aspects of Computer Science (2015) München, Germany |
Visibly Counter Languages and the Structure of NC1 (journal article) Lecture Notes in Computer Science, volume 9235 (2015). |
On Distinguishing NC1 and NL (journal article) Lecture Notes in Computer Science, volume 9168 (2015). |
Positive and Negative Proofs for Circuits and Branching Programs (book chapter) In Descriptional Complexity of Formal Systems Springer International Publishing (2014) |