Seminar on Current Trends in Theory and Practice of Informatics), Lecture Notes in Computer Science, volume 1012, pages 236--271. Springer, 1995. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Characterization of Recognizable Picture Languages By Tilings.. - Simplot (1999) (Correct)
Ideal Clutters - Cornuéjols, Guenin (2001) (Correct)
Dynamic Session Management for Static and Mobile Users: A.. - Bejerano, Cidon, Naor (1999) (Correct)
Tight Bounds on the Competitive Ratio on.. - Bach, Boyar.. (2003) (Correct)
Structured Derivations: a Method for Doing High-School.. - Back, von Wright (1999) (2 citations) (Correct)
Method Integration for Real-Time System Design and Verification - Priddin (2000) (Correct)
On Explicit Reflection in Theorem Proving and Formal Verification - Artemov (Correct)
Tight Bounds on the Competitive Ratio on.. - Bach, Boyar.. (2000) (Correct)
Non-deterministic Communication Complexity with Few.. - Karchmer, Newman, Saks, al. (1994) (6 citations) (Correct)
Connection Scheduling in Web Servers - Crovella, Frangioso, Harchol-Balter (1999) (52 citations) (Correct)
Turing Machines With Few Accepting Computations And Low .. - Köbler, Schöning.. (1992) (22 citations) (Correct)
Recursion and Petri Nets - Best, Devillers, Koutny (2001) (Correct)
Unknown - Incomd Sciencecolum By (Correct)
A Parallel Dynamic Programming Algorithm for Unranking t-ary Trees - Kokosinski (Correct)
Exploiting Multiples of the Connection Polynomial in.. - Hawkes, Rose (2000) (2 citations) (Correct)
A Learning Classifier Systems Bibliography - Kovacs, Lanzi (1999) (Correct)
A Reduction for Automated Verification of Authentication Protocols - Stoller (1999) (5 citations) (Correct)
Solving Cyclic Constraints - Stavros Tripak Is (Correct)
On the Learnability of Recursive Data - Hammer (1999) (1 citation) Self-citation (Hammer) (Correct)
Tiling groups for Wang tiles - Moore, Rapaport, Rémila Self-citation (Tiles) (Correct)
On a Hierarchy Involving Transitive Closure Logic and.. - Gault, Stewart Self-citation (Logic) (Correct)
A Generic Model of the Pi Calculus. - Tang (1998) Self-citation (Calculus) (Correct)
Feedback Set Problems - Festa, Pardalos, Resende (1999) (7 citations) Self-citation (Problems) (Correct)
On the Formal Solutions of a General System of Partial.. - Shih (1996) Self-citation (Shih Solutions Equations) (Correct)
The Box Algebra = Petri Nets + Process Expressions - Best, Devillers, Koutny (1999) Self-citation (Nets) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC