Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(13)
Deepak Kapur
11
Peter Schneider-kamp
7
Jürgen Giesl
7
René Thiemann
4
Mahadevan Subramaniam
2
Conferences
(4)
RTA
4
LPAR(RCLP)
2
CADE
2
WFLP
1
Journals
(3)
JAR
1
ENTCS
1
IEEE TRANS INSTRUM MEAS
1
Keywords
(33)
Embed
Subscribe
Academic
Authors
Stephan Falke
Stephan Falke,Physikalisch-Technische Bundesanstalt,Algorithms & Theory,Programming Languages,Software Engineering
Edit
Stephan Falke
Physikalisch-Technische Bundesanstalt
Publications:
21
|
Citations:
235
Fields:
Algorithms & Theory
,
Programming Languages
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
13 co-authors
from 2003 to 2011
|
Cited by
148 authors
Cumulative
Annual
Sort by:
Publications
(21)
BibTeX
|
RIS
|
RefWorks
Download
Termination Analysis of C Programs Using Compiler Intermediate Languages
Stephan Falke
,
Deepak Kapur
,
Carsten Sinz
Conference:
Rewriting Techniques and Applications - RTA
, pp. 41-50, 2011
Tackling the Blackbody Shift in a Strontium Optical Lattice Clock
Thomas Middelmann
,
Christian Lisdat
,
Stephan Falke
,
Joseph S. R. Vellore Winfred
,
Fritz Riehle
,
Uwe Sterr
Journal:
IEEE Transactions on Instrumentation and Measurement - IEEE TRANS INSTRUM MEAS
, vol. 60, no. 7, pp. 2550-2557, 2011
Proving Termination of Integer Term Rewriting
(
Citations: 9
)
Carsten Fuhs
,
Jürgen Giesl
,
Martin Plücker
,
Peter Schneider-kamp
,
Stephan Falke
Conference:
Rewriting Techniques and Applications - RTA
, pp. 32-47, 2009
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
(
Citations: 6
)
Stephan Falke
,
Deepak Kapur
Conference:
Conference on Automated Deduction - CADE
, pp. 277-293, 2009
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures
(
Citations: 2
)
Stephan Falke
,
Deepak Kapur
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 237, pp. 75-90, 2009
Sort by:
Citations
(235 times by 175 publications)
Automated termination proofs for haskell by term rewriting
(
Citations: 4
)
Jürgen Giesl
,
Matthias Raffelsieper
,
Peter Schneider-Kamp
,
Stephan Swiderski
,
René Thiemann
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 2, pp. 1-39, 2011
Proving program termination
Byron Cook
,
Andreas Podelski
,
Andrey Rybalchenko
Journal:
Communications of The ACM - CACM
, vol. 54, no. 5, pp. 88-98, 2011
Proving Termination by Dependency Pairs and Inductive Theorem Proving
Carsten Fuhs
,
Jürgen Giesl
,
Michael Parting
,
Peter Schneider-Kamp
,
Stephan Swiderski
Journal:
Journal of Automated Reasoning - JAR
, vol. 47, no. 2, pp. 133-160, 2011
On-demand strategy annotations revisited: An improved on-demand evaluation strategy
(
Citations: 4
)
María Alpuente
,
Santiago Escobar
,
Bernhard Gramlich
,
Salvador Lucas
Journal:
Theoretical Computer Science - TCS
, vol. 411, no. 2, pp. 504-541, 2010
Automated Termination Analysis of Java Bytecode by Term Rewriting
(
Citations: 6
)
Carsten Otto
,
Marc Brockschmidt
,
Christian von Essen
,
Jürgen Giesl
Conference:
Rewriting Techniques and Applications - RTA
, pp. 259-276, 2010
Comments