International Journal of Foundations of Computer Science

Titel Veröffentlichungsdatum Sprache Zitate
A POLYNOMIAL-TIME ALGORITHM FOR FINDING TOTAL COLORINGS OF PARTIAL k-TREES1999/06/01English
ON FLIPS IN POLYHEDRAL SURFACES2002/04/01English
FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS2001/04/01English
SIMULATION OF HIERARCHICAL RESOURCE MANAGEMENT FOR META-COMPUTING SYSTEMS2001/10/01English
ON THE LEFTMOST DERVIATION IN MATRIX GRAMMARS1999/03/01English
THE MAXIMUM TRAVELING SALESMAN PROBLEM ON BANDED MATRICES2001/12/01English
UNIFORM CHARACTERIZATIONS OF COMPLEXITY CLASSES OF FUNCTIONS2000/12/01English
LOSSLESS SUBDIVISION-BASED MULTIRESOLUTION REPRESENTATION OF ARBITRARY TRIANGLE MESHES USING KITE TREES2002/04/01English
PARTITION REFINEMENT TECHNIQUES: AN INTERESTING ALGORITHMIC TOOL KIT1999/06/01English
GATE RESIZING TO REDUCE POWER CONSUMPTION2002/06/01English
ON REACHABILITY AND SAFETY IN INFINITE-STATE SYSTEMS2001/12/01English
SINK INSERTION FOR MESH IMPROVEMENT2002/04/01English
CODING WITH MINIMAL PROGRAMS2001/08/01English
UNARY LANGUAGE OPERATIONS, STATE COMPLEXITY AND JACOBSTHAL'S FUNCTION2002/02/01English
GENERIC ∊-REMOVAL AND INPUT ∊-NORMALIZATION ALGORITHMS FOR WEIGHTED TRANSDUCERS2002/02/01English
CHARACTERISTICS OF DETERMINISTIC OPTIMAL ROUTING FOR TWO HETEROGENEOUS PARALLEL SERVERS2001/12/01English
AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS2001/02/01English
MOD-2 INDEPENDENCE AND DOMINATION IN GRAPHS2000/09/01English
PARALLEL VERTEX COLOURING OF INTERVAL GRAPHS1999/03/01English
ALL SEPARATING TRIANGLES IN A PLANE GRAPH CAN BE OPTIMALLY "BROKEN" IN POLYNOMIAL TIME2000/09/01English
C1 MODELING WITH HYBRID MULTIPLE-SIDED A-PATCHES2002/04/01English
EVALUATION OF THREE IMPLICIT STRUCTURES TO IMPLEMENT NONDETERMINISTIC AUTOMATA FROM REGULAR EXPRESSIONS2002/02/01English
HOLES AND DOMINOES IN MEYNIEL GRAPHS1999/06/01English
PREDICATE BOUNDEDNESS OF LINEAR MONADIC DATALOG IS IN PSPACE2000/12/01English
SIZES OF ORDERED DECISION TREES2002/06/01English
AN EXPRESSIVE EXTENSION OF TLC2002/06/01English
RELATING TWO-DIMENSIONAL RECONFIGURABLE MESHES WITH OPTICALLY PIPELINED BUSES2000/12/01English
PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION2001/04/01English
SOLVING ROSTERING TASKS BY GENERIC METHODS FOR CONSTRAINT OPTIMIZATION2001/10/01English
ON THE CLIQUE-WIDTH OF SOME PERFECT GRAPH CLASSES2000/09/01English