Works matching IS 01290541 AND DT 2008 AND VI 19 AND IP 4

Results: 22

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 747, doi. 10.1142/S0129054108005929

By:

Geffert, Viliam;
Pighizzini, Giovanni

Publication type:

Article

EXACT GENERATION OF MINIMAL ACYCLIC DETERMINISTIC FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 751, doi. 10.1142/S0129054108005930

By:

Almeida, Marco;
Moreira, Nelma;
Reis, RogÉrio

Publication type:

Article

CD GRAMMAR SYSTEMS WITH REGULAR START CONDITIONS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 767, doi. 10.1142/S0129054108005942

By:

Freund, Rudolf;
Oswald, Marion

Publication type:

Article

COMPLEXITY, INFORMATION, ENERGY.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 781

By:

JÜrgensen, H.

Publication type:

Article

OPTIMAL SIMULATIONS OF WEAK RESTARTING AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 795, doi. 10.1142/S0129054108005966

By:

Kutrib, Martin;
Reimann, Jens

Publication type:

Article

DESCRIPTIONAL COMPLEXITY OF SPLICING SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 813, doi. 10.1142/S0129054108005978

By:

Loos, Remco;
Malcher, Andreas;
Wotschke, Detlef

Publication type:

Article

TESTING THE DESCRIPTIONAL POWER OF SMALL TURING MACHINES ON NONREGULAR LANGUAGE ACCEPTANCE.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 827, doi. 10.1142/S012905410800598X

By:

Mereghetti, Carlo

Publication type:

Article

A REGULARITY CONDITION FOR CONTEXT-FREE GRAMMARS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 845, doi. 10.1142/S0129054108005991

By:

Palano, Beatrice

Publication type:

Article

REPRESENTATIONS AND CHARACTERIZATIONS OF LANGUAGES IN CHOMSKY HIERARCHY BY MEANS OF INSERTION-DELETION SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 859, doi. 10.1142/S0129054108006005

By:

P&#xIDA;;un, Gheorghe;
PÉrez-JimÉnez, Mario J.;
Yokomori, Takashi

Publication type:

Article

REMARKS ON CONTEXT-FREE PARALLEL COMMUNICATING GRAMMAR SYSTEMS GENERATING CROSSED AGREEMENTS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 873, doi. 10.1142/S0129054108006017

By:

Truthe, Bianca

Publication type:

Article

WIRELESS MOBILE COMPUTING AND ITS LINKS TO DESCRIPTIVE COMPLEXITY.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 887, doi. 10.1142/S0129054108006029

By:

Wiedermann, Ji&#xIE$;;Í;
PardubskÁ, Dana

Publication type:

Article

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 915, doi. 10.1142/S0129054108006030

By:

Halava, Vesa;
Potapov, Igor

Publication type:

Article

ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 919, doi. 10.1142/S0129054108006042

By:

Ibarra, Oscar H.;
Zhe Dang;
Linmin Yang

Publication type:

Article

REACHABILITY PROBLEMS IN LOW-DIMENSIONAL ITERATIVE MAPS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 935, doi. 10.1142/S0129054108006054

By:

Kurganskyy, Oleksiy;
Potapov, Igor;
Sancho-Caparrini, Fernando

Publication type:

Article

REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 953, doi. 10.1142/S0129054108006066

By:

Lisitsa, Alexei;
Nemytykh, Andrei P.

Publication type:

Article

THE FINITE TILING PROBLEM IS UNDECIDABLE IN THE HYPERBOLIC PLANE.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 971, doi. 10.1142/S0129054108006078

By:

Margenstern, Maurice

Publication type:

Article

AN ALTERNATIVE CONSTRUCTION IN SYMBOLIC REACHABILITY ANALYSIS OF SECOND ORDER PUSHDOWN SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 983, doi. 10.1142/S012905410800608X

By:

Seth, Anil

Publication type:

Article

DECIDABILITY AND COMPLEXITY ANALYSIS OF FORBIDDEN STATE PROBLEMS FOR DISCRETE EVENT SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 999, doi. 10.1142/S0129054108006091

By:

Yen, Hsu-Chun

Publication type:

Article

A MINIMUM-PROCESS COORDINATED CHECKPOINTING PROTOCOL FOR MOBILE COMPUTING SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 1015, doi. 10.1142/S0129054108006108

By:

Gupta, Sunil Kumar;
Chauhan, R. K.;
Kumar, Parveen

Publication type:

Article

ON INEQUALITIES BETWEEN SUBWORD HISTORIES.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 1039, doi. 10.1142/S012905410800611X

By:

Fazekas, SzilÁrd Zsolt

Publication type:

Article

INTRUDER CAPTURING IN MESH AND TORUS NETWORKS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 1049, doi. 10.1142/S0129054108006121

By:

Imani, N.;
Sarbazi-Azad, H.;
Zomaya, A.

Publication type:

Article

PROPERTIES AND CONSTRUCTION OF UNIQUE MAXIMAL FACTORIZATION FAMILIES FOR STRINGS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 1073, doi. 10.1142/S0129054108006133

By:

Daykin, David E.;
Daykin, Jacqueline W.

Publication type:

Article