Daniel Weller
Affiliations: ORF
 Vienna University of Technology, Austria
According to our database^{1},
Daniel Weller
authored at least 21 papers
between 2008 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on linkedin.com
On csauthors.net:
Bibliography
2019
Math. Struct. Comput. Sci., 2019
J. Autom. Reason., 2019
2017
J. Log. Comput., 2017
J. Log. Comput., 2017
J. Log. Comput., 2017
2014
Theor. Comput. Sci., 2014
CoRR, 2014
Proceedings of the Automated Reasoning  7th International Joint Conference, 2014
2013
CoRR, 2013
CoRR, 2013
Proceedings of the Logic, Language, and Computation, 2013
2012
J. Symb. Log., 2012
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
2011
Theor. Comput. Sci., 2011
Ann. Pure Appl. Log., 2011
2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
2008
Proceedings of the LPAR 2008 Workshops, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008