Patrick Traxler

According to our database1, Patrick Traxler authored at least 13 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Parallel and Robust Empirical Risk Minimization via the Median Trick.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Health monitoring of large amounts of photovoltaic systems: a case study.
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

Efficient and Robust Median-of-Means Algorithms for Location and Regression.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Locating Faults in Photovoltaic Systems Data.
Proceedings of the Data Analytics for Renewable Energy Integration, 2016

2015
A Robust Alternative to Correlation Networks for Identifying Faulty Systems.
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
Combining Stream Processing Engines and Big Data Storages for Data Analysis.
Proceedings of the Foundations of Intelligent Systems - 21st International Symposium, 2014

2010
Exponential Time Complexity of SAT and Related Problems.
PhD thesis, 2010

2009
Variable Influences in Conjunctive Normal Forms.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008
The Time Complexity of Constraint Satisfaction.
Proceedings of the Parameterized and Exact Computation, Third International Workshop, 2008

2006
Replacements in Non-Ground Answer-Set Programming.
Proceedings of the 20th Workshop on Logic Programming, 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
Testing Strong Equivalence of Datalog Programs - Implementation and Examples.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005


  Loading...