Works matching IS 01290541 AND DT 2006 AND VI 17 AND IP 4

Results: 16
    1
    2

    PREFACE.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 731, doi. 10.1142/S0129054106004066
    By:
    • Wang, Farn
    Publication type:
    Article
    3

    MOLECULAR MODEL CHECKING.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 733, doi. 10.1142/S0129054106004078
    By:
    • Emerson, E. Allen;
    • Hager, Kristina D.;
    • Konieczka, Jay H.
    Publication type:
    Article
    4

    ENFORCING CONCURRENT TEMPORAL BEHAVIORS.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 743, doi. 10.1142/S012905410600408X
    By:
    • Peled, Doron;
    • Hongyang Qu
    Publication type:
    Article
    5
    6
    7
    8

    BÜCHI COMPLEMENTATION MADE TIGHTER.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 851, doi. 10.1142/S0129054106004145
    By:
    • Friedgut, Ehud;
    • Kupferman, Orna;
    • Vardi, Moshe Y.
    Publication type:
    Article
    9

    TYPENESS FOR ω-REGULAR AUTOMATA.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 869, doi. 10.1142/S0129054106004157
    By:
    • Kupferman, Orna;
    • Morgenstern, Gila;
    • Murano, Aniello
    Publication type:
    Article
    10
    11

    CONFLICTS AND FAIR TESTING.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 797, doi. 10.1142/S012905410600411X
    By:
    • Malik, Robi;
    • Streader, David;
    • Reeves, Steve
    Publication type:
    Article
    12
    13

    QUANTUM OCTAL GAMES.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 919, doi. 10.1142/S0129054106004182
    By:
    • Gravier, Sylvain;
    • Jorrand, Philippe;
    • Mhalla, Mehdi;
    • Payan, Charles
    Publication type:
    Article
    14
    15
    16

    SPIKE TRAINS IN SPIKING NEURAL P SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 975, doi. 10.1142/S0129054106004212
    By:
    • PĂun, Gheorghe;
    • Pérez-Jiménez, Mario J.;
    • Rozenberg, Grzegorz
    Publication type:
    Article