Research output per year
Research output per year
Personal profile
Research interests
Theorem provers, Programming languages, Compilers, Type systems and Functional programming.
Research interests (short)
Theorem provers, Programming languages, Compilers, Type systems and Functional programming.
Fingerprint
Dive into the research topics where Christian Urban is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
POSIX Lexing with Bitcoded Derivatives
Tan, C. & Urban, C., 18 Apr 2023, (Accepted/In press) 14th International Conference on Interactive Theorem Proving (ITP 2023). Naumowicz, A. & Thiemann, R. (eds.). p. 26:1-26:18 18 p. 26Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile56 Downloads (Pure) -
POSIX Lexing with Derivatives of Regular Expressions
Urban, C., Sept 2023, In: JOURNAL OF AUTOMATED REASONING. 67, 3, 24.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)51 Downloads (Pure) -
Priority Inheritance Protocol Proved Correct
Zhang, X., Urban, C. & Wu, C., 1 Jan 2020, In: JOURNAL OF AUTOMATED REASONING. 64, 1, p. 73-95 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)252 Downloads (Pure) -
Modelling Homogeneous Generative Meta-programming
Berger, M., Tratt, L. R. & Urban, C., 16 Jun 2017, (E-pub ahead of print) In: Leibniz International Proceedings in Informatics, LIPIcs. 74, 23 p.Research output: Contribution to journal › Conference paper › peer-review
Open AccessFile3 Citations (Scopus)75 Downloads (Pure) -
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)
Ausaf, F., Dyckhoff, R. & Urban, C., 7 Aug 2016, Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Springer LNCS: Springer International Publishing, p. 69-86 17 p. (Lecture Notes in Computer Science ; vol. 9807).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile11 Citations (Scopus)313 Downloads (Pure)
Projects
- 9 Finished
-
NTVE: Nominal Techniques for Verification Environments
Fernandez, M. (Primary Investigator) & Urban, C. (Co-Investigator)
15/11/2021 → 14/11/2024
Project: Research
-
Efficient and provably correct schedulers for many-core CPUs
Urban, C. (Primary Investigator)
3/06/2013 → 2/10/2015
Project: Research
-
Provably correct scheduling algorithms
Urban, C. (Primary Investigator)
1/01/2013 → 31/12/2014
Project: Research
-
Usability evaluation of model transformation verification approaches (TransVerif)
Lano, K. (Primary Investigator) & Urban, C. (Co-Investigator)
1/01/2013 → 31/12/2015
Project: Research
-
Error-Free Programming using Theorem Provers - 0Bugs
Urban, C. (Primary Investigator)
1/01/2013 → 31/12/2017
Project: Research