PROBING HIGH-CAPACITY PEERS TO REDUCE DOWNLOAD TIMES IN P2P FILE SHARING SYSTEMS WITH STOCHASTIC SERVICE CAPACITIES

JOURNAL ARTICLE published September 2012 in International Journal of Foundations of Computer Science

Authors: KEQIN LI

Preface

JOURNAL ARTICLE published June 2018 in International Journal of Foundations of Computer Science

Authors: Jarkko Kari | Alexander Okhotin

ON YEN'S PATH LOGIC FOR PETRI NETS

JOURNAL ARTICLE published June 2011 in International Journal of Foundations of Computer Science

Authors: MOHAMED FAOUZI ATIG | PETER HABERMEHL

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

JOURNAL ARTICLE published August 2003 in International Journal of Foundations of Computer Science

Authors: Edmund Clarke | Ansgar Fehnker | Zhi Han | Bruce Krogh | Joël Ouaknine | Olaf Stursberg | Michael Theobald

A TAXONOMY OF DETERMINISTIC FORGETTING AUTOMATA

JOURNAL ARTICLE published August 2010 in International Journal of Foundations of Computer Science

Authors: JENS GLÖCKLER

AUTHOR INDEX VOLUME 11 (2000)

JOURNAL ARTICLE published December 2000 in International Journal of Foundations of Computer Science

ERRATA: "REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES"

JOURNAL ARTICLE published October 2006 in International Journal of Foundations of Computer Science

Authors: JANUSZ BRZOZOWSKI | HELMUT JÜRGENSEN

Aperiodic String Transducers

JOURNAL ARTICLE published August 2018 in International Journal of Foundations of Computer Science

Authors: Luc Dartois | Ismaël Jecker | Pierre-Alain Reynier

UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY

JOURNAL ARTICLE published March 1991 in International Journal of Foundations of Computer Science

Authors: J.A. BERGSTRA | S. MAUW | F. WIEDIJK

CROCHEMORE'S REPETITIONS ALGORITHM REVISITED: COMPUTING RUNS

JOURNAL ARTICLE published February 2012 in International Journal of Foundations of Computer Science

Authors: FRANTISEK FRANEK | MEI JIANG

On the Membership Problem of Permutation Grammars — A Direct Proof of NP-Completeness

JOURNAL ARTICLE published June 2020 in International Journal of Foundations of Computer Science

Authors: Benedek Nagy

MOD-2 INDEPENDENCE AND DOMINATION IN GRAPHS

JOURNAL ARTICLE published September 2000 in International Journal of Foundations of Computer Science

Authors: MAGNÚS M. HALLDÓRSSON | JAN KRATOCHVÍL | JAN ARNE TELLE

Fast Simulation of Conway’s Game of Life Using Bitwise Parallel Bulk Computation on a GPU

JOURNAL ARTICLE published December 2016 in International Journal of Foundations of Computer Science

Authors: Toru Fujita | Koji Nakano | Yasuaki Ito

AVOIDING APPROXIMATE SQUARES

JOURNAL ARTICLE published June 2008 in International Journal of Foundations of Computer Science

Authors: PASCAL OCHEM | NARAD RAMPERSAD | JEFFREY SHALLIT

(n − 2)-Fault-Tolerant Edge-Pancyclicity of Crossed Cubes CQn

JOURNAL ARTICLE published April 2021 in International Journal of Foundations of Computer Science

Research funded by National Natural Science Foundation of China (61170303) | National Natural Science Foundation of China (61472465) | National Natural Science Foundation of China (61562066) | the National Key R&D Program of China (2018YFC0910500) | Natural Science Foundation of Liaoning Province (20170540302)

Authors: Xirong Xu | Huifeng Zhang | Ziming Wang | Qiang Zhang | Peng Zhang

A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION

JOURNAL ARTICLE published January 2011 in International Journal of Foundations of Computer Science

Authors: M. A. MARTÍNEZ-DEL-AMOR | I. PÉREZ-HURTADO | M. J. PÉREZ-JIMÉNEZ | A. RISCOS-NÚÑEZ | F. SANCHO-CAPARRINI

NEIGHBOR INTEGRITY OF TRANSFORMATION GRAPHS

JOURNAL ARTICLE published April 2013 in International Journal of Foundations of Computer Science

Authors: GOKSEN BACAK-TURAN | ALPAY KIRLANGIC

APPROXIMATING THE NEAREST NEIGHBOR INTERCHARGE DISTANCE FOR NON-UNIFORM-DEGREE EVOLUTIONARY TREES

JOURNAL ARTICLE published August 2001 in International Journal of Foundations of Computer Science

Authors: WING-KAI HON | TAK-WAH LAM

A DATA RE-DISTRIBUTION LIBRARY FOR MULTI-PROCESSOR TASK PROGRAMMING

JOURNAL ARTICLE published April 2006 in International Journal of Foundations of Computer Science

Authors: THOMAS RAUBER | GUDULA RÜNGER

AN ALGORITHM FOR FINDING A MAXIMUM CYCLE OF BIPARTITE GRAPHS WITH LARGE DEGREES

JOURNAL ARTICLE published December 1996 in International Journal of Foundations of Computer Science

Authors: PAK-KEN WONG