Tobias Nipkow

Citée par

	Toutes	Depuis 2020
Citations	19776	4344
indice h	58	23
indice i10	132	61

980

490

245

735

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202554 56 65 103 131 99 141 115 200 266 229 354 416 484 490 649 667 769 852 785 808 661 776 822 809 790 818 819 924 952 828 825 789 808 975 117

Accès public

Tout afficher

41 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Lawrence PaulsonUniversity of CambridgeAdresse e-mail validée de cam.ac.uk
Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigAdresse e-mail validée de tu-dresden.de
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresse e-mail validée de ifi.lmu.de
Johannes HölzlAdresse e-mail validée de in.tum.de
Ursula MartinUniversity of Edinburgh; University of OxfordAdresse e-mail validée de maths.ox.ac.uk
Steven ObuaUniversity of EdinburghAdresse e-mail validée de inf.ed.ac.uk
John R HarrisonAmazon Web ServicesAdresse e-mail validée de amazon.com
Peter LammichThe University of ManchesterAdresse e-mail validée de in.tum.de
Manuel EberlUniversity of InnsbruckAdresse e-mail validée de uibk.ac.at
Andrei PopescuUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
Dmitriy TraytelUniversity of CopenhagenAdresse e-mail validée de di.ku.dk
Thomas HalesUniversity of PittsburghAdresse e-mail validée de pitt.edu
Gregor SneltingKITAdresse e-mail validée de kit.edu
Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesAdresse e-mail validée de ost.ch
Christian UrbanKing's College LondonAdresse e-mail validée de kcl.ac.uk
Maximilian P. L. HaslbeckTU MünchenAdresse e-mail validée de in.tum.de
Max W. HaslbeckPhD Student, University of InnsbruckAdresse e-mail validée de uibk.ac.at
Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyAdresse e-mail validée de math.ac.vn
Cezary KaliszykUniversity of MelbourneAdresse e-mail validée de unimelb.edu.au

Suivre

Tobias Nipkow

Professor of Computer Science, Technische Universität München

Adresse e-mail validée de in.tum.de - Page d'accueil

Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Isabelle/HOL: a proof assistant for higher-order logic T Nipkow, M Wenzel, LC Paulson Springer-Verlag, 2002	5174	2002
Term rewriting and all that F Baader, T Nipkow Cambridge University Press, 1998	4296	1998
A formal proof of the Kepler conjecture T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ... Forum of mathematics, Pi 5, e2, 2017	496	2017
Higher-order critical pairs T Nipkow University of Cambridge, Computer Laboratory, 1991	414	1991
A machine-checked model for a Java-like language, virtual machine, and compiler G Klein, T Nipkow ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (4), 619-695, 2006	374	2006
Nitpick: A counterexample generator for higher-order logic based on a relational model finder J Blanchette, T Nipkow Interactive Theorem Proving, 131-146, 2010	348	2010
Concrete semantics: with Isabelle/HOL T Nipkow, G Klein Springer International Publishing, 2014	333*	2014
Higher-order rewrite systems and their confluence R Mayr, T Nipkow Theoretical Computer Science 192 (1), 3-29, 1998	278	1998
Java light is type-safe—definitely T Nipkow, D Von Oheimb Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998	272	1998
Code generation via higher-order rewrite systems F Haftmann, T Nipkow Functional and Logic Programming, 103-117, 2010	249	2010
The isabelle framework M Wenzel, L Paulson, T Nipkow Theorem Proving in Higher Order Logics, 33-38, 2008	249	2008
Sledgehammer: judgement day S Böhme, T Nipkow Automated Reasoning, 107-121, 2010	201	2010
Functional unification of higher-order patterns T Nipkow [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993	183	1993
A revision of the proof of the Kepler conjecture TC Hales, J Harrison, S McLaughlin, T Nipkow, S Obua, R Zumkeller The Kepler Conjecture, 341-376, 2011	170	2011
Machine-checking the Java specification: Proving type-safety D Von Oheimb, T Nipkow Formal Syntax and Semantics of Java, 1998	152*	1998
microJava: Embedding a Programming Language in a Theorem Prover C Pusch, T Nipkow, D von Oheimb Foundations of Secure Computation, IOS Press, 2000	150*	2000
Boolean unification-the story so far U Martin, T Nipkow Journal of Symbolic Computation 7 (3-4), 275-293, 1989	146	1989
Structured proofs in Isar/HOL T Nipkow Types for Proofs and Programs, 619-620, 2003	142*	2003
Automatic proof and disproof in Isabelle/HOL JC Blanchette, L Bulwahn, T Nipkow Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011 …, 2011	141	2011
Verified bytecode verifiers G Klein, T Nipkow Theoretical Computer Science 298 (3), 583-626, 2003	141	2003

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs