Vienna University of Technology)

Identifiers

• name variant Vienna University of Technology) 0.60 · backfill

Papers (6)

1. Advanced Proof Viewing in ProofTool cs.LO · 2014 · author #4
2. Connection Matrices and the Definability of Graph Parameters cs.LO · 2013 · author #2
3. PROOFTOOL: a GUI for the GAPT Framework cs.LO · 2013 · author #2
4. 2d quantum gravity with discrete edge lengths hep-lat · 1998 · author #4
5. Forces between composite particles in QCD hep-lat · 1996 · author #9
6. Correlation functions in lattice formulations of quantum gravity hep-lat · 1996 · author #6

Mentions

• 1410.8218 #4 · backfill · confidence 0.70 Vienna University of Technology)
• 1308.3654 #2 · backfill · confidence 0.70 Vienna University of Technology)
• 1307.1942 #2 · backfill · confidence 0.70 Vienna University of Technology)

Frequent Coauthors

• H. Markum 3 shared papers
• J. Riedler (Institut f. Kernphysik 2 shared papers
• A. Hauke 1 shared papers
• Alexander Leitsch (Institute of Computer Languages (E185) 1 shared papers
• A. Mihaly (Department of Theoretical Physics 1 shared papers
• Bruno Woltzenlogel-Paleo (Institute of Computer Languages (E185) 1 shared papers
• Cvetan Dunchev (Institute of Computer Languages (E185) 1 shared papers
• Daniel Weller (Institute of Discrete Mathematics 1 shared papers
• Debrecen) 1 shared papers
• E. Bittner 1 shared papers
• Ecole Polytechnique) 1 shared papers
• FIU 1 shared papers
• Geometry (E104) 1 shared papers
• H.R. Fiebig (Physics Department 1 shared papers
• Johann A. Makowsky (Faculty of Computer Science 1 shared papers
• K. Rabitsch (Institut f. Kernphysik 1 shared papers
• Lajos Kossuth University 1 shared papers
• Martin Riener (Institute of Computer Languages 1 shared papers
• Martin Riener (Institute of Computer Languages (E185) 1 shared papers
• Miami) 1 shared papers