Chair of Computer Architecture

University of Freiburg

This webpage is also available as long version with the bibtex entries (both pages are under construction).

2022

POS 22 arXiV
Pragmatics of SAT 22 Accepted
  (POS has no proceedings)
FMSD JAIR  
Accepted    
FMSD Preprint Springer
Accepted    

2021

SAT’21, LNCS Preprint Springer
Proc. 24rd Intl. Conf. on Theory and    
Applications of Satisfiability Testing    
     
Technical Report PDF JKU ePUB
CADE 28   Springer (Open Access)
28th International Conference on    
Automated Deduction    
     
Submitted to the EDA Challenge 2021 PDF  
PxTP’21 PDF EPTCS
Proof Exchange on    
Theorem Proving    

2020

SAT’20, LNCS Preprint Springer
Proc. 23rd Intl. Conf. on Theory and    
Applications of Satisfiability Testing    
FMCAD’20 Preprint IEEE
Proc. Intl. Conf. on Formal Methods    
in Computer Aided Design    
AFP AFP entry  
Archive of Formal Proofs    
LPAR-23 PDF EasyChair
23rd International Conference on Logic for Programming,    
Artificial Intelligence and Reasoning,    
     
PhD thesis PDF University of Saarland

2019

NFM-19   Springer
NASA Formal Methods -    
11th International Symposium    
PxTP 2019   Arxiv
Sixth Workshop on    
Proof eXchange for Theorem Proving    
CADE 27 Springer HAL
27th International Conference on    
Automated Deduction    
JAR 20 Springer HAL
Journal of Automated Reasonning    

2018

JAR 18 Springer (Open Access)
Journal of Automated Reasonning    
CPP 18 ACM Matryoshka
7th ACM SIGPLAN International Conference on    
Certified Programs and Proofs    

2017

IJCAI 17 IJCAI  
Twenty-Sixth International Joint Conference on    
Artificial Intelligence    
FroCoS 2017 ACM Matryoshka
11th International Symposium on    
Frontiers of Combining Systems    

2016