Thiemann, Renée F.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automated termination analysis for logic programs with cut

SCHNEIDER-KAMP, PETER, GIESL, JÜRGEN, STRÖDER, THOMAS, SEREBRENIK, ALEXANDER, THIEMANN, RENÉ

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 582 KB

english, 2010

2

Neue und bemerkenswerte Flechtenfunde in Thüringen

Grünberg, Hagen, Cezanne, Rainer, Eckstein, Jan, Eichler, Marion, Kempf, Hartmut, Meinunger, Ludwig, Preussing, Markus, Putzmann, Frank, Scholz, Peter, Thiel, Hjalmar, Thiemann, René, Hentschel, Jörn

Journal:

Year:

2017

File:

PDF, 1.85 MB

2017

3

Decreased neural activity in reward circuitry during personal reference in abstinent alcoholics—A fMRI study

Moritz de Greck, Alexander Supady, Rene Thiemann, Claus Tempelmann, Bernhard Bogerts, Lukas Forschner, Klaus v. Ploetz, Georg Northoff

Journal:

Human Brain Mapping

Year:

2009

Language:

english

File:

PDF, 1.37 MB

english, 2009

4

Innermost Termination of Rewrite Systems by Labeling

René Thiemann, Aart Middeldorp

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 353 KB

english, 2008

5

The size-change principle and dependency pairs for termination of term rewriting

René Thiemann, Jürgen Giesl

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2005

Language:

english

File:

PDF, 406 KB

english, 2005

6

Adding constants to string rewriting

René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2008

Language:

english

File:

PDF, 177 KB

english, 2008

7

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 942 KB

english, 2006

8

SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 673 KB

english, 2012

9

Interesting Records of Lichenized, Lichenicolous and Saprophytic Fungi from Northern Germany

Schiefelbein, Ulf, Dolnik, Christian, Bruyn, Uwe de, Schultz, Matthias, Thiemann, René, Stordeur, Regine, Boom, Pieter P. G. van den, Litterski, Birgit, Sipman, Harrie J. M.

Journal:

Year:

2014

Language:

english

File:

PDF, 215 KB

english, 2014

10

Automated termination proofs for haskell by term rewriting

Giesl, Jürgen, Raffelsieper, Matthias, Schneider-Kamp, Peter, Swiderski, Stephan, Thiemann, René

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 951 KB

english, 2011

11

Automated termination proofs for logic programs by term rewriting

Schneider-Kamp, Peter, Giesl, Jürgen, Serebrenik, Alexander, Thiemann, René

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 498 KB

english, 2009

12

First Records and Noteworthy Lichens and Lichenicolous Fungi from Saxony-Anhalt and the Western Part of the Harz National Park (Lower Saxony)

Stordeur, Regine, Cezanne, Rainer, Eichler, Marion, Heinrich, Dieter, Kison, Hans-Ulrich, Schiefelbein, Ulf, Schönbrodt, Mark, Seelemann, André, Sipman, Harrie J. M., Thiemann, René, Ungethüm, Katarin

Journal:

Year:

2015

Language:

english

File:

PDF, 6.79 MB

english, 2015

13

[ACM Press the 5th ACM SIGPLAN Conference - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016 - Formalizing jordan normal forms in Isabelle/HOL

Thiemann, René, Yamada, Akihisa

Year:

2016

Language:

english

File:

PDF, 500 KB

english, 2016

14

A Framework for Developing Stand-Alone Certifiers

Sternagel, Christian, Thiemann, René

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 283 KB

english, 2015

15

Reachability, confluence, and termination analysis with state-compatible automata

Felgenhauer, Bertram, Thiemann, René

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 971 KB

english, 2016

16

Preface

Benevides, Mario, Thiemann, René

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 102 KB

english, 2016

17

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - A formalization of the Berlekamp-Zassenhaus factorization algorithm

Divasón, Jose, Joosten, Sebastiaan, Thiemann, René, Yamada, Akihisa

Year:

2017

Language:

english

File:

PDF, 545 KB

english, 2017

18

[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)

Divasón, Jose, Joosten, Sebastiaan, Kunčar, Ondřej, Thiemann, René, Yamada, Akihisa

Year:

2018

Language:

english

File:

PDF, 847 KB

english, 2018

19

Establishment of a Murine Pro-acinar Cell Line to Characterize Roles for FGF2 and α3β1 Integrins in Regulating Pro-acinar Characteristics

Thiemann, Renée F., Nelson, Deirdre A., Michael DiPersio, C., Larsen, Melinda, LaFlamme, Susan E.

Journal:

Scientific Reports

Year:

2019

Language:

english

File:

PDF, 3.30 MB

english, 2019

20

A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm

Divasón, Jose, Joosten, Sebastiaan J. C., Thiemann, René, Yamada, Akihisa

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 619 KB

english, 2019

21

A Verified Implementation of Algebraic Numbers in Isabelle/HOL

Joosten, Sebastiaan J. C., Thiemann, René, Yamada, Akihisa

Journal:

Journal of Automated Reasoning

Year:

2018

File:

PDF, 1.11 MB

2018