Patrick Traxler
According to our database1,
Patrick Traxler
authored at least 13 papers
between 2005 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
0
1
2
3
4
1
2
2
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, 2017
2016
The Relative Exponential Time Complexity of Approximate Counting Satisfying Assignments.
Algorithmica, 2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
Proceedings of the Data Analytics for Renewable Energy Integration, 2016
2015
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015
2014
Proceedings of the Foundations of Intelligent Systems - 21st International Symposium, 2014
2010
2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
2008
Proceedings of the Parameterized and Exact Computation, Third International Workshop, 2008
2006
Proceedings of the Proceedings, 2006
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005