Tjark Weber
Orcid: 0000-0001-8967-6987
According to our database1,
Tjark Weber
authored at least 42 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023
2020
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading.
Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2017
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
2016
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016
2015
2014
J. Log. Algebraic Methods Program., 2014
2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
2011
Int. J. Softw. Tools Technol. Transf., 2011
Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
Proceedings of the First Workshop on Automated Theory Engineering, 2011
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial).
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
2009
J. Autom. Reason., 2009
J. Appl. Log., 2009
Proceedings of the Foundations and Applications of Security Analysis, 2009
2008
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code.
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008
2005
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005
Proceedings of the Logic for Programming, 2005
2004
Proceedings of the Selected Papers from the Workshops on Disproving, 2004
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003