Testing Strong Equivalence of Datalog Programs - Implementation and Examples. - Thomas Eiter; Wolfgang Faber 001; Patrick Traxler (LPNMR, 2005)

An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. - Thomas Eiter; Patrick Traxler; Stefan Woltran (JELIA, 2006)

Replacements in Non-Ground Answer-Set Programming. - Thomas Eiter; Michael Fink 001; Hans Tompits; Patrick Traxler; Stefan Woltran (KR, 2006)

The Time Complexity of Constraint Satisfaction. - Patrick Traxler (IWPEC, 2008)

Variable Influences in Conjunctive Normal Forms. - Patrick Traxler (SAT, 2009)

Exponential Time Complexity of SAT and Related Problems. - Patrick Traxler (2010)

Combining Stream Processing Engines and Big Data Storages for Data Analysis. - Thomas Steinmaurer; Patrick Traxler; Michael Zwick; Reinhard Stumptner; Christian Lettner (ISMIS, 2014)

A Robust Alternative to Correlation Networks for Identifying Faulty Systems. - Patrick Traxler; Pablo Gómez; Tanja Grill (DX, 2015)

Locating Faults in Photovoltaic Systems Data. - Alexander Kogler; Patrick Traxler (DARE@PKDD/ECML, 2016)

Efficient and Robust Median-of-Means Algorithms for Location and Regression. - Alexander Kogler; Patrick Traxler (SYNASC, 2016)

The Relative Exponential Time Complexity of Approximate Counting Satisfying Assignments. - Patrick Traxler (Algorithmica, 2016)

Health monitoring of large amounts of photovoltaic systems: a case study. - Alexander Kogler; Patrick Traxler (iiWAS, 2017)

Parallel and Robust Empirical Risk Minimization via the Median Trick. - Alexander Kogler; Patrick Traxler (MACIS, 2017)