Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Damian T. Murphy, Mark Beeson |
The KW-Boundary Hybrid Digital Waveguide Mesh for Room Acoustics Applications. |
IEEE Trans. Speech Audio Process. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Nachum Dershowitz, Georg Moser |
The Hydra Battle Revisited. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Andrey N. Chernikov, Nikos Chrisochoides |
Three-dimensional Semi-generalized Point Placement Method for Delaunay Mesh Refinement. |
IMR |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Chun-Chen Liu, Haikun Zhu, Chung-Kuan Cheng |
Passive compensation for high performance inter-chip communication. |
ICCD |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl |
SAT Solving for Argument Filterings. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Abel 0001 |
Towards Generic Programming with Sized Types. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kousha Etessami, Mihalis Yannakakis |
Recursive Concurrent Stochastic Games. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Krauss 0001 |
Partial Recursive Functions in Higher-Order Logic. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Adam Koprowski, Hans Zantema |
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kousha Etessami, Mihalis Yannakakis |
Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Robert S. Boyer, Wilfred J. Legato, Victor W. Marek |
Toward Automating the Discovery of Decreasing Measures. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
decreasing measures, automated reasoning |
18 | Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio |
Recursive Path Orderings Can Also Be Incremental. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
Linear Ranking with Reachability. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jaco van de Pol, Hans Zantema |
Generalized Innermost Rewriting. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 |
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mohammad Awedh, Fabio Somenzi |
Proving More Properties with Bounded Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Huei-Wen Ferng, Hsin-Jung Lin, Wei-Chung Teng, Yi-Chou Tsai, Cheng-Ching Peng |
A channel allocation scheme with dynamic priority for wireless mobile networks. |
VTC Fall (2) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Johannes Waldmann |
Matchbox: A Tool for Match-Bounded String Rewriting. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Panagiotis Manolios, Daron Vroon 0001 |
Integrating Reasoning About Ordinal Arithmetic into ACL2. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Alfons Geser, Dieter Hofbauer, Johannes Waldmann |
Match-Bounded String Rewriting Systems. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Panagiotis Manolios, Daron Vroon 0001 |
Algorithms for Ordinal Arithmetic. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Blanqui |
Rewriting Modulo in Deduction Modulo. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Giesl, Hans Zantema |
Liveness in Rewriting. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
18 | J. B. Wells, Detlef Plump, Fairouz Kamareddine |
Diagrams for Meaning Preservation. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Nadia Nedjah, Luiza de Macedo Mourelle |
Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Aart Middeldorp |
Approximating Dependency Graphs Using Tree Automata Techniques. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Jaesik Lee, Yoonjong Huh, Peter Bendix, Sung-Mo Kang |
Design-for-ESD-reliability for high-frequency I/O interface circuits in deep-submicron CMOS technology. |
ISCAS (4) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Michaël Rusinowitch |
Rewriting for Deduction and Verification. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Konrad Slind |
Another Look at Nested Recursion. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Scott F. Smith 0001, Tiejun Wang |
Polyvariant Flow Analysis with Constrained Types. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Naehyuck Chang, Kwanho Kim, Jinsung Cho |
Bus encoding for low-power high-performance memory systems. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan C. Martin, Michael Leuschel |
Sonic Partial Deduction. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Enno Ohlebusch |
Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Peter V. Homeier, David F. Martin |
Mechanical Verification of Total Correctness through Diversion Verification Conditions. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Zygmunt J. Haas, Marc R. Pearlman |
The Performance of Query Control Schemes for the Zone Routing Protocol. |
SIGCOMM |
1998 |
DBLP DOI BibTeX RDF |
routing zone, zone routing, routing, ad-hoc networks, protocols |
18 | Fabio Casati, Maria Grazia Fugini, Isabelle Mirbel |
An Environment for Designing Exceptions in Workflows. |
CAiSE |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Arts, Jürgen Giesl |
Proving Innermost Normalisation Automatically. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Thierry Coquand, Henrik Persson |
A Proof-Theoretical Investigation of Zantema's Problem. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik |
Unfolding the Mystery of Mergesort. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
18 | David A. McAllester, Kostas Arkoudas |
Walther Recursion. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Benjamin C. Pierce |
Bounded Quantification is Undecidable. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern |
On Effective Axiomatizations of Hoare Logics. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
18 | Tadeusz Litak, Sven Helmer |
On the Termination Problem for Declarative XML Message Processing. |
DEXA |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Dean Voets |
Research Summary: Non-termination Analysis of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Naama Parush, Dan Pelleg, Muli Ben-Yehuda, Paula Ta-Shma |
Out-of-band detection of boot-sequence termination events. |
ICAC |
2009 |
DBLP DOI BibTeX RDF |
boot detection, out-of-band, virtualization |
18 | Bruno Marnette |
Generalized schema-mappings: from termination to tractability. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
weak acyclicity, data exchange, core, universal solution |
18 | Malgorzata Biernacka, Dariusz Biernacki |
Context-based proofs of termination for typed delimited-control operators. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics |
18 | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Roland Carl Backhouse, Henk Doornbos |
Datatype-Generic Termination Proofs. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Allegory, Generic programming, Relation algebra, Programming methodology, Datatype |
18 | Jianfeng Ren, Nasser Kehtarnavaz |
Fast adaptive early termination for mode selection in H.264 scalable video coding. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Peter Höfner, Georg Struth |
Non-termination in Idempotent Semirings. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Lou De Carufel, Jules Desharnais |
On the Structure of Demonic Refinement Algebras with Enabledness and Termination. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Nao Hirokawa, Aart Middeldorp, Harald Zankl |
Uncurrying for Termination. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv |
Proving Conditional Termination. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Courtieu, Julien Forest, Xavier Urbain |
Certifying a Termination Criterion Based on Graphs, without Graphs. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Martin Korp, Aart Middeldorp |
Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Yoshihito Toyama |
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl |
Maximal Termination. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jian-Xin Xu 0001, B. Ashok, Sanjib Kumar Panda, Vladimir B. Bajic |
Modeling transcription termination of selected gene groups using support vector machine. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Christian Eisentraut, David Spieler |
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi 0001, Davide Sangiorgi |
On the Complexity of Termination Inference for Processes. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Arif Mahmood, Sohaib Khan |
Early Termination Algorithms for Correlation Coefficient Based Block Matching. |
ICIP (2) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Klaus-Dieter Schewe, Bernhard Thalheim |
Term Rewriting for Web Information Systems - Termination and Church-Rosser Property. |
WISE |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Cristina Borralleras, Albert Rubio |
Orderings and Constraints: Theory and Practice of Proving Termination. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Peter Müller 0001, Martin Nordio |
Proof-transforming compilation of programs with abrupt termination. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, proof-carrying code, trusted components |
18 | Alexander Krauss 0001 |
Certified Size-Change Termination. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Xiao Su, Sweta Singh, Yan Bai |
Local Reference with Early Termination in H.264 Motion Estimation. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Yasser Ismail, Mohsen Shaaban, Magdy A. Bayoumi |
An Adaptive Block Size Phase Correlation Motion Estimation Using Adaptive Early Search Termination Technique. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Martin Korp, Aart Middeldorp |
Proving Termination of Rewrite Systems Using Bounds. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain |
Certification of Automated Termination Proofs. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Felix C. Freiling, Matthias Majuntke, Neeraj Mittal |
Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. |
SSS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kim Solin, Joakim von Wright |
Refinement Algebra with Operators for Enabledness and Termination. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Fan-Min Li, Cheng-Hung Lin, An-Yeu Wu |
A New Early Termination Scheme of Iterative Turbo Decoding Using Decoding Threshold. |
SiPS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Brian C. Dean, Michel X. Goemans, Nicole Immorlica |
Finite Termination of "Augmenting Path" Algorithms in the Presence of Irrational Problem Data. |
ESA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ediz Çetin, Izzet Kale, Richard C. S. Morling |
Efficient low-power design and implementation of IQ-imbalance compensator using early termination. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ayman H. Ismail, Mohamed I. Elmasry |
A termination technique for the averaging network of flash ADC's. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Abel 0001 |
Semi-continuous Sized Types and Termination. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Libo Yang, Keman Yu, Jiang Li 0008, Shipeng Li 0001 |
An effective variable block-size early termination algorithm for H.264 video coding. |
IEEE Trans. Circuits Syst. Video Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Nicolas Peltier |
Some Techniques for Proving Termination of the Hyperresolution Calculus. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
hyperresolution, decision procedures, complexity measures |
18 | Walter Guttmann |
Non-termination in Unifying Theories of Programming. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Bing Han, Jonathan Billington |
Termination Properties of TCP's Connection Management Procedures. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hans Zantema |
Reducing Right-Hand Sides for Termination. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Werner Damm, Guilherme Pinto, Stefan Ratschan |
Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Aaron R. Bradley, Zohar Manna |
Termination and Invariance Analysis of Loops. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Xinyu Feng 0001, Zhong Shao |
Modular verification of concurrent assembly code with dynamic thread creation and termination. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee |
18 | Dan Stiurca |
A fully differential line driver with on-chip calibrated source termination for gigabit and fast Ethernet in a standard 0.13µ CMOS process. |
ISCAS (3) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jos C. M. Baeten, Michel A. Reniers |
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Viegas Damásio, Jesús Medina 0001, Manuel Ojeda-Aciego |
Sorted Multi-adjoint Logic Programs: Termination Results and Applications. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Manabu Matsui, Fumihiko Ino, Kenichi Hagihara |
Parallel Volume Rendering with Early Ray Termination for Visualizing Large-Scale Datasets. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Yoshihito Toyama |
Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Neil D. Jones, Nina Bohr |
Termination Analysis of the Untyped lamba-Calculus. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Abel 0001 |
Termination and Productivity Checking with Continuous Types. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Bruno Blanchet, Andreas Podelski |
Verification of Cryptographic Protocols: Tagging Enforces Termination. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jan-Georg Smaus |
Termination of Logic Programs for Various Dynamic Selection Rules. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Nao Hirokawa, Aart Middeldorp |
Tsukuba Termination Tool. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Michael Colón, Henny Sipma |
Practical Methods for Proving Program Termination. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Amir M. Ben-Amram |
General Size-Change Termination and Lexicographic Descent. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Yousef Al-Ohali, Mohamed Cheriet, Ching Y. Suen |
Introducing Termination Probabilities to HMM. |
ICPR (3) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel |
Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|