Works matching IS 01290541 AND DT 2011 AND VI 22 AND IP 4

Results: 13

AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 761, doi. 10.1142/S0129054111008416
By:
- ABDULLA, PAROSH AZIZ;
- DELZANNO, GIORGIO;
- REZINE, AHMED;
- Bournez, Oliver;
- Potapov, Igor
Publication type:
Article
PREFACE.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 757, doi. 10.1142/S0129054111008404
By:
- BOURNEZ, OLIVIER;
- POTAPOV, IGOR
Publication type:
Article
ON YEN'S PATH LOGIC FOR PETRI NETS.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 783, doi. 10.1142/S0129054111008428
By:
- ATIG, MOHAMED FAOUZI;
- HABERMEHL, PETER;
- Bournez, Oliver;
- Potapov, Igor
Publication type:
Article
COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 801, doi. 10.1142/S012905411100843X
By:
- COLLINS, PIETER;
- ZAPREEV, IVAN S.;
- Bournez, Oliver;
- Potapov, Igor
Publication type:
Article
FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 823, doi. 10.1142/S0129054111008441
By:
- HENZINGER, THOMAS;
- JOBSTMANN, BARBARA;
- WOLF, VERENA;
- Bournez, Oliver;
- Potapov, Igor
Publication type:
Article
FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 843, doi. 10.1142/S0129054111008453
By:
- LUGIEZ, DENIS;
- Bournez, Oliver;
- Potapov, Igor
Publication type:
Article
CLASS COUNTING AUTOMATA ON DATAWORDS.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 863, doi. 10.1142/S0129054111008465
By:
- MANUEL, AMALDEV;
- RAMANUJAM, R.;
- Bournez, Oliver;
- Potapov, Igor
Publication type:
Article
GENERAL ALGORITHMS FOR TESTING THE AMBIGUITY OF FINITE AUTOMATA AND THE DOUBLE-TAPE AMBIGUITY OF FINITE-STATE TRANSDUCERS.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 883, doi. 10.1142/S0129054111008477
By:
- ALLAUZEN, CYRIL;
- MOHRI, MEHRYAR;
- RASTOGI, ASHISH;
- Ibarra, O. H.
Publication type:
Article
AVOIDING ABELIAN POWERS IN BINARY WORDS WITH BOUNDED ABELIAN COMPLEXITY.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 905, doi. 10.1142/S0129054111008489
By:
- CASSAIGNE, JULIEN;
- RICHOMME, GWÉNAËL;
- SAARI, KALLE;
- ZAMBONI, LUCA Q.;
- Karhumaki, Juhani
Publication type:
Article
WEIGHTED AUTOMATA FOR FULL-TEXT INDEXING.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 921, doi. 10.1142/S0129054111008490
By:
- ZHANG, MENG;
- HU, LIANG;
- ZHANG, YI;
- Sakarovitch, Jacques
Publication type:
Article
STRONGER QUICKHEAPS.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 945, doi. 10.1142/S0129054111008507
By:
- NAVARRO, GONZALO;
- PAREDES, RODRIGO;
- POBLETE, PATRICIO V.;
- SANDERS, PETER;
- Ravikumar, Balakrishna
Publication type:
Article
WORST-CASE PERFORMANCE EVALUATION ON MULTIPROCESSOR TASK SCHEDULING WITH RESOURCE AUGMENTATION.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 971, doi. 10.1142/S0129054111008519
By:
- YE, DESHI;
- HE, QINMING;
- Chwa, Kyung-Yong
Publication type:
Article
MEASURING THE QUALITY OF SURVEILLANCE IN A WIRELESS SENSOR NETWORK.
Published in:
International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 983, doi. 10.1142/S0129054111008520
By:
- MONDAL, DEBASHIS;
- KUMAR, ABHAY;
- BISHNU, ARIJIT;
- MUKHOPADHYAYA, KRISHNENDU;
- NANDY, SUBHAS C.;
- Sahni, Sartaj
Publication type:
Article