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