Christian Urban

Identifiers

• name variant Christian Urban 0.60 · backfill

Papers (4)

1. Low vibration high numerical aperture automated variable temperature Raman microscope cond-mat.mtrl-sci · 2016 · author #6
2. Modelling homogeneous generative meta-programming cs.PL · 2016 · author #3
3. Mechanizing the Metatheory of LF cs.LO · 2008 · author #1
4. Nominal Logic Programming cs.PL · 2006 · author #2

Mentions

• 0804.1667 #1 · backfill · confidence 0.70 Christian Urban

Frequent Coauthors

• James Cheney 2 shared papers
• Anjan A. Reijnders 1 shared papers
• Gavin B. Osterhoudt 1 shared papers
• Genda Gu 1 shared papers
• Ilya Valmianski 1 shared papers
• Isaac Henslee 1 shared papers
• J. G. Ramirez 1 shared papers
• John Schneeloch 1 shared papers
• Kenneth S. Burch 1 shared papers
• Laurence Tratt 1 shared papers
• Martin Berger 1 shared papers
• Ruidan Zhong 1 shared papers
• Stefan Berghofer 1 shared papers
• Yao Tian 1 shared papers