Skip to contents

Käufl, Thomas [Author]

Cooperation of decision procedures in a tableau-based theorem prover

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1989

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,19
Käufl, Thomas [Author]

Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1989

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,9
Käufl, Thomas [Author]

Simplification and decision of systems of linear inequalities over the integers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe, 1988

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 88,9
Käufl, Thomas [Author]

Vereinfachung logischer Formeln in einem Vorbeweiser

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1988
Käufl, Thomas [Author]

The combination of a decision procedure for the Presburger arithmetic with a tableau prover

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/256294

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Klingenbeck, Stefan [Author]; Käufl, Thomas [Author]

Tatzelwurm. Verification of safety requirements with a program verification system

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/256594

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Käufl, Thomas

Lecture Notes in Computer Science: The program verifier Tatzelwurm

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1993

Published in: Lecture Notes in Computer Science
Käufl, Thomas

8th International Conference on Automated Deduction: Program verifier "Tatzelwurm": Reasoning about systems systems of linear inequalities

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1986

Published in: 8th International Conference on Automated Deduction
Klingenbeck, Stefan; Käufl, Thomas

Lecture Notes in Computer Science: Tatzelwurm : Verification of safety requirements with a program verification system : Verification of safety requirements with a program verification system

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1995

Published in: Lecture Notes in Computer Science
Käufl, Thomas; Zabel, Nicolas

10th International Conference on Automated Deduction: The theorem prover of the program verifier Tatzelwurm

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1990

Published in: 10th International Conference on Automated Deduction
Deussen, Peter; Hansmann, Alex; Käufl, Thomas; Klingenbeck, Stefan

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: The verification system Tatzelwurm

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1995

Published in: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Käufl, Paul; Valentine, Andrew P.; O'Toole, Thomas B.; Trampert, Jeannot

A framework for fast probabilistic centroid-moment-tensor determination—inversion of regional static displacement measurements

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 2014

Published in: Geophysical Journal International
Uttenthaler, Stefan; Aringer, Bernhard; Gorfer, Michael; Hron, Josef; Käufl, Hans-Ulrich; Lebzelter, Thomas

Comparison of Observed and Synthetic Spectra of AGB-Stars: A Progress Report

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2005

Published in: Proceedings of the International Astronomical Union
Uttenthaler, Stefan; Lebzelter, Thomas; Hron, Josef; Aringer, Bernhard; Lederer, Michael T.; Palmerini, Sara; Busso, Maurizio; Käufl, Hans Ulrich; Guandalini, Roald; Palmerini, Sara; Busso, Maurizio

Testing Evolutionary Models with Observations of Galactic Bulge AGB Stars

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

AIP, 2008

Published in: AIP Conference Proceedings
Rauch, Thomas; Hauschildt, Peter; Asplund, Martin; Gredel, R.; Käufl, H.-U.; Kerber, Florian; Rosa, Michael; Starrfield, Sumner G.; Wagner, R. Mark; Williams, Robert E.

V838 Monocerotis — a Newly Discovered, Very Peculiar, Slow Nova-Like Object

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2002

Published in: International Astronomical Union Colloquium
Brandl, Bernhard R.; Lenzen, Rainer; Pantin, Eric; Glasse, Alistair; Blommaert, Joris; Venema, Lars; Molster, Frank; Siebenmorgen, Ralf; Kendrew, Sarah; Baes, Maarten; Böhnhardt, Hermann; Brandner, Wolfgang; van Dishoeck, Ewine; Henning, Thomas; Käufl, Hans Ullrich; Lagage, Pierre-Olivier; Moore, Toby J. T.; Waelkens, Christoffel; van der Werf, Paul

Instrument concept and science case for the mid-IR E-ELT imager and spectrograph METIS

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

SPIE, 2010

Published in: SPIE Proceedings
Lenzen, Rainer; Brandl, Bernhard R.; Pantin, Eric; Glasse, Alistair; Blommaert, Joris; Venema, Lars; ter Horst, Rik; Oudenhuysen, Ad; Molster, Frank; Siebenmorgen, Ralf; Böhnhardt, Hermann; van Dishoeck, Ewine; van der Werf, Paul; Brandner, Wolfgang; Henning, Thomas; Hippler, Stefan; Lagage, Pierre-Olivier; Moore, Toby J. T.; Baes, Maarten; Waelkens, Christoffel; Wright, Chris; Käufl, Hans Ulrich; Kendrew, Sarah; Stuik, Remko;

METIS: system engineering and optical design of the mid-infrared E-ELT instrument

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

SPIE, 2010

Published in: SPIE Proceedings
Brandl, Bernhard R.; Lenzen, Rainer; Pantin, Eric; Glasse, Alistair; Blommaert, Joris; Venema, Lars; Molster, Frank; Siebenmorgen, Ralf; Boehnhardt, Hermann; van Dishoeck, Ewine; van der Werf, Paul; Henning, Thomas; Brandner, Wolfgang; Lagage, Pierre-Olivier; Moore, Toby J. T.; Baes, Maarten; Waelkens, Christoffel; Wright, Chris; Käufl, Hans Ulrich; Kendrew, Sarah; Stuik, Remko; Jolissaint, Laurent

METIS: the Mid-infrared E-ELT Imager and Spectrograph

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

SPIE, 2008

Published in: SPIE Proceedings
Lockhart, Matthew; Piskunov, Nikolai; Stempels, Eric; Escuti, Michael; Oliva, Ernesto; Käufl, Hans-Ulrich; Heiter, Ulrike; Marquart, Thomas; Anglada-Escude, Guillem; Baade, Dietrich; Bristow, Paul; Dorn, Reinhold J.; Follert, Roman; Gojak, Domingo; Grunhut, Jason H.; Hatzes, Artie; Hilker, Michael; Ives, Derek; Jung, Yves; Kerber, Florian; Klein, Barbara; Lizon, Jean-Louis; Löwinger, Tom; Origlia, Livia; [...]

Novel infrared polarimeter for the ESO CRIRES+ instrument

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

SPIE, 2014

Published in: SPIE Proceedings
Meech, K. J.; Ageorges, N.; A'Hearn, M. F.; Arpigny, C.; Ates, A.; Aycock, J.; Bagnulo, S.; Bailey, J.; Barber, R.; Barrera, L.; Barrena, R.; Bauer, J. M.; Belton, M. J. S.; Bensch, F.; Bhattacharya, B.; Biver, N.; Blake, G.; Bockelée-Morvan, D.; Boehnhardt, H.; Bonev, B. P.; Bonev, T.; Buie, M. W.; Burton, M. G.; Butner, H. M.; [...]

Deep Impact: Observations from a Worldwide Earth-Based Campaign

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Association for the Advancement of Science (AAAS), 2005

Published in: Science

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication