Carsten Fuhs

1. Verifying Procedural Programs via Constrained Rewriting Induction
   2014/08/30 by Carsten Fuhs, Cynthia Kop, Fuhs, Carsten +3 · 3 citations
   Computer Science · #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.3 #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
2. Analyzing Runtime and Size Complexity of Integer Programs
   2016/08/02 by Marc Brockschmidt, Fabian Emmes, Stephan Falke +2 · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
3. Implementing RPO and POLO using SAT
   2007/01/01 by Peter Schneider–Kamp, Schneider-Kamp, Peter, Carsten Fuhs +13 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Database Systems and Queries