dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tobias Nipkow (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmine Chaieb, Tobias Nipkow: Proof Synthesis and Reflection for Linear Arithmetic. J. Autom. Reasoning 41(1): 33-59 (2008)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmine Chaieb, Tobias Nipkow: Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic. LPAR 2005: 367-380
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Wildmoser, Amine Chaieb, Tobias Nipkow: Bytecode Analysis for Proof Carrying Code. Electr. Notes Theor. Comput. Sci. 141(1): 19-34 (2005)

Selection of 3 from 125 records - Tobias Nipkow has 57 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page