Carsten Fuhs

Birkbeck University of London - London / United Kingdom

Others

AD Scientific Index ID: 4329324

-

Registration, Add Profile,
Premium Membership

Print Your Certificate

Carsten Fuhs's MOST POPULAR ARTICLES

1-) SAT solving for termination analysis with polynomial interpretationsC Fuhs, J Giesl, A Middeldorp, P Schneider-Kamp, R Thiemann, H ZanklInternational Conference on Theory and Applications of Satisfiability …, 20071792007

2-) Analyzing program termination and complexity automatically with AProVEJ Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ...Journal of Automated Reasoning 58 (1), 3-31, 20171782017

3-) Proving termination of programs automatically with AProVEJ Giesl, M Brockschmidt, F Emmes, F Frohn, C Fuhs, C Otto, M Plücker, ...International Joint Conference on Automated Reasoning, 184-191, 20141152014

4-) Better termination proving through cooperationM Brockschmidt, B Cook, C FuhsInternational Conference on Computer Aided Verification, 413-429, 20131092013

5-) Analyzing runtime and size complexity of integer programsM Brockschmidt, F Emmes, S Falke, C Fuhs, J GieslACM Transactions on Programming Languages and Systems (TOPLAS) 38 (4), 13, 2016962016

ARTICLES

Add your articles