Sebastian Müller
Affiliations:- National Institute of Informatics (NII), Tokyo
- Charles University, Prague, Faculty of Mathematics and Physics, Czech Republic
- Humboldt University Berlin, Institute of Computer Science, Germany
According to our database1,
Sebastian Müller
authored at least 11 papers
between 2005 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
0
1
2
3
2
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2014
Ann. Pure Appl. Log., 2014
2013
2011
Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas.
Electron. Colloquium Comput. Complex., 2011
2010
ACM Trans. Comput. Log., 2010
Proceedings of the Theory and Applications of Models of Computation, 7th Annual Conference, 2010
2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
2008
Electron. Colloquium Comput. Complex., 2008
2005
Proceedings of the Smart Graphics, 5th International Symposium, 2005