Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nipkow, Tobias
122  Ergebnisse:
Personensuche X
?
1

Region Quadtrees Verified:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Nipkow, Tobias - p. 243-254 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Verification of NP-Hardness Reduction Functions for Exact L..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,
Kreuzer, Katharina ; Nipkow, Tobias - p. 365-381 , 2023
Link: https://doi.org/10.1007/..
 
?
3

A Formalization and Proof Checker for Isabelle's Metalogic:

Roßkopf, Simon ; Nipkow, Tobias
Journal of Automated Reasoning.  67 (2022)  1 - p. , 2022
Link: https://doi.org/10.1007/..
 
?
4

Verified Approximation Algorithms:

Eßmann, Robin ; Nipkow, Tobias ; Robillard, Simon.
Logical Methods in Computer Science.  18, Issue 1 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
5

A Verified Implementation of B$$^+$$-Trees in Isabelle/HOL:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,
Mündler, Niels ; Nipkow, Tobias - p. 324-341 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Verified Quantitative Analysis of Imperative Algorithms:

Haslbeck, Maximilian Paul Louis , 2021
Link: http://nbn-resolving.de/..
 
?
7

Asymptotic Reasoning in a Proof Assistant:

Eberl, Manuel , 2021
Link: http://nbn-resolving.de/..
 
?
8

Isabelle's Metalogic: Formalization and Proof Checker:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,
Nipkow, Tobias ; Roßkopf, Simon - p. 93-110 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Teaching algorithms and data structures with a proof assist..:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Nipkow, Tobias - p. 1-3 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

A Verified Decision Procedure for Orders in Isabelle/HOL:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Stevens, Lukas ; Nipkow, Tobias - p. 127-143 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Trustworthy Verification of Realtime Systems:

Wimmer, Simon , 2020
Link: http://nbn-resolving.de/..
 
?
12

Verified Analysis of Random Binary Tree Structures:

Eberl, Manuel ; Haslbeck, Max W. ; Nipkow, Tobias
Journal of Automated Reasoning.  64 (2020)  5 - p. 879-910 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Verification of Closest Pair of Points Algorithms:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Rau, Martin ; Nipkow, Tobias - p. 341-357 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Proof pearl: Braun trees:

, In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Nipkow, Tobias ; Sewell, Thomas - p. 18-31 , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

Verified Textbook Algorithms: A Biased Survey:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Nipkow, Tobias ; Eberl, Manuel ; Haslbeck, Maximilian P. L. - p. 25-53 , 2020
Link: https://doi.org/10.1007/..
 
1-15