Concepedia

Christian Urban

CU

Statistics

Publications

14

Citations

760

H-Index

12

Active since

2001

Affiliations

Technical University of Munich(Current)

University of Cambridge

University of Edinburgh

King's College London

Christian Urban is an author at Technical University of Munich specializing in computer science, formal methods, and computing.

ORCID

Publications per year

2001–2014

14

Publications

14

Nominal unification

Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay · Theoretical Computer Science · 2004 · 202 citations

Nominal Techniques in Isabelle/HOL

Christian Urban · Journal of Automated Reasoning · 2008 · 186 citations

, , +11

Nominal logic programming

James Cheney, Christian Urban · ACM Transactions on Programming Languages and Systems · 2008 · 74 citations · Full text

, , +14

Strong Normalisation of Cut-Elimination in Classical Logic

Christian Urban, Gavin Bierman · 2001 · 48 citations

, , +14

Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008)

Christian Urban, Bozhi Zhu · 2008 · 47 citations

, , +10

1–5 of 14