Ilya Klyuchnikov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged termination

Supercompiler HOSC 1.1: proof of terminationIlya Klyuchnikov. Preprint 21, 2010.

Atrial Anatomy Influences Onset and Termination of Atrial Fibrillation: A Computer Model StudyNico Kuijpers, Huub M. M. ten Eikelder, Sander Verheule. fimh 2009: 285-294 [doi]

Well-Definedness of Streams by TerminationHans Zantema. RTA 2009: 164-178 [doi]

Ranking functions for size-change terminationChin Soon Lee. TOPLAS, 31(3), 2009. [doi]

All-Termination(T)Panagiotis Manolios, Aaron Turon. TACAS 2009: 398-412 [doi]

Alternative Methods in Proving Loop TerminationTennyson X. Chen, Martin D. Meyer. sede 2008: 194-197

Modular Termination of Basic NarrowingMaría Alpuente, Santiago Escobar, José Iborra. RTA 2008: 1-16 [doi]

Termination of Narrowing Using Dependency PairsMaría Alpuente, Santiago Escobar, José Iborra. ICLP 2008: 317-331 [doi]

Arctic Termination ...Below ZeroAdam Koprowski, Johannes Waldmann. RTA 2008: 202-216 [doi]

The Termination CompetitionClaude Marché, Hans Zantema. RTA 2007: 303-313 [doi]

Semi-continuous Sized Types and TerminationAndreas Abel. csl 2006: 72-88 [doi]

TPA: Termination Proved AutomaticallyAdam Koprowski. RTA 2006: 257-266 [doi]

Termination of Polynomial ProgramsAaron R. Bradley, Zohar Manna, Henny B. Sipma. vmcai 2005: 113-129 [doi]

Mechanically Proving Termination Using Polynomial InterpretationsEvelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain. JAR, 34(4):325-363, 2005. [doi]

Reducing Right-Hand Sides for TerminationHans Zantema. BIRTHDAY 2005: 173-197 [doi]

Approximations for Strategies and TerminationENTCS, 70(6):1-20, 2002. [doi]

Outermost ground terminationOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner. ENTCS, 71:188-207, 2002. [doi]

Simulation of Conflict in an Agent World: Access to Resources and Possibility of Termination of the PopulationJaak Tepandi. informaticaLT, 13(4):501-512, 2002. [doi]

Ensuring Termination in ESFPAlastair Telford, David Turner. jucs, 6(4):474-488, 2000. [doi]

Termination and normalisation under strategy Proofs in ELANHélène Kirchner, Isabelle Gnaedig. ENTCS, 36:93-120, 2000. [doi]

Termination of Well-Moded ProgramsSandro Etalle, Annalisa Bossi, Nicoletta Cocco. jlp, 38(2):243-257, 1999.

A Termination Detection Algorithm: Specification and VerificationRobert Eschbach. FM 1999: 1720-1737 [doi]

Termination of Permutative Conversions in Intuitionistic Gentzen CalculiHelmut Schwichtenberg. TCS, 212(1-2):247-260, 1999. [doi]

Computation calculus = sequential calculus + discreteness and terminationBurghard von Karger. RelMiCS 1998: 122-126

A Path Removing Technique for Detecting Trigger TerminationSin Yeung Lee, Tok Wang Ling. edbt 1998: 341-355 [doi]

Termination Modulo Equations by Abstract Commutation with an Application to IterationWan Fokkink, Hans Zantema. TCS, 177(2):407-423, 1997. [doi]

Task Dependence and Termination in AdaLaura K. Dillon. TOSEM, 6(1):80-110, 1997. [doi]

Refined Termination Decision in Active DatabasesSin Yeung Lee, Tok Wang Ling. DEXA 1997: 182-191

Strong Termination for the Epsilong Substitution MethodGrigori Mints. JSYML, 61(4):1193-1205, 1996.

Termination Criteria for Linear ProblemsSpassimir H. Paskov. jc, 11(1):105-137, 1995. [doi]

Some Undecidable Termination Problems for Semi-Thue SystemsGéraud Sénizergues. TCS, 142(2):257-276, 1995. [doi]

A New Characterisation of AC-Termination and ApplicationJean-Michel Gélis. ctrs 1995: 124-143

On Proving the Termination of Algorithms by MachineChristoph Walther. ai, 71(1):101-157, 1994.

Left Termination Turned into TerminationKees Doets. TCS, 124(1):180-187, 1994.

Some Undecidable Termination Problems for Semi-Thue Systems (Abstract)Géraud Sénizergues. RTA 1993: 434

Delay and crosstalk simulation of high-speed VLSI interconnects with nonlinear terminationsDong H. Xie, Michel S. Nakhla. tcad, 12(11):1798-1811, 1993. [doi]

The Derivation of Distributed Termination Detection Algorithms from Garbage Collection SchemesGerard Tel, Friedemann Mattern. TOPLAS, 15(1):1-35, 1993. [doi]

Distributed Termination EnforcementMartin Rudalics. parle 1992: 363-378

Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation LengthsDieter Hofbauer. TCS, 105(1):129-140, 1992.

Delay and Crosstalk Simulation of High-Speed VLSI Interconnects with Nonlinear TerminationsDong H. Xie, Michel S. Nakhla. iccad 1991: 66-69

The Derivation of Distributed Termination Detection Algorithms from Garbage Collection SchemesGerard Tel, Friedemann Mattern. parle 1991: 137-149

Asynchronous Distributed Termination-Parallel and Symmetric Solutions with Echo AlgorithmsFriedemann Mattern. algorithmica, 5(3):325-340, 1990.

Termination Proofs and the Length of Derivations (Preliminary Version)Dieter Hofbauer, Clemens Lautemann. RTA 1989: 167-177

Algorithms for Distributed Termination DetectionFriedemann Mattern. dc, 2(3):161-175, 1987.

The SV40 termination region exhibits an altered helical DNA conformationL. G. Poljak, J. D. Gralla. nar, 15(13):5433-5442, 1987.

Experience with a New Distributed Termination Detection AlgorithmFriedemann Mattern. wdag 1988: 127-143

Detecting Termination of Distributed Computations Using MarkersJayadev Misra. podc 1983: 290-294

A Formalism for Reasoning about Fair TerminationWillem P. de Roever. lop 1982: 113-121

Distributed TerminationNissim Francez. TOPLAS, 2(1):42-55, 1980. [doi]

On Achieving Distributed TerminationNissim Francez. scc 1979: 300-315

runs on WebDSL