A NOTE ON REBOUND TURING MACHINES

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

Authors: KATSUSHI INOUE | AKIRA ITO | TAKASHI KAMIURA | HOLGER PETERSEN | LAN ZHANG

THE GRAPH-BIN PACKING PROBLEM

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

Authors: CSILLA BUJTÁS | GYÖRGY DÓSA | CSANÁD IMREH | JUDIT NAGY-GYÖRGY | ZSOLT TUZA

AUTHOR INDEX VOLUME 7 (1996)

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

AUTHOR INDEX VOLUME 15 (2004)

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

On the Domination Integrity

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

Authors: Hüseyin Tokat | Alpay Kirlangiç

SPECIAL ISSUE ON PARALLEL AND DISTRIBUTED COMPUTING: Editor's Foreword

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

Authors: MICHAEL A. PALIS

AROUND DOT-DEPTH ONE

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

Authors: MANFRED KUFLEITNER | ALEXANDER LAUSER

MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS

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

Authors: PAROSH AZIZ ABDULLA | GIORGIO DELZANNO | NOOMENE BEN HENDA | AHMED REZINE

ON THE COMPLEXITY OF COMPUTING VALUES OF RESTRICTED GAMES

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

Authors: J. M. BILBAO | J. R. FERNÁNDEZ | J. J. LÓPEZ

AN EFFICIENT FULLY SYMBOLIC BISIMULATION ALGORITHM FOR NON-DETERMINISTIC SYSTEMS

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

Authors: MALCOLM MUMME | GIANFRANCO CIARDO

Automatic Sets of Rational Numbers

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

Authors: Eric Rowland | Jeffrey Shallit

Boosting Reversible Pushdown and Queue Machines by Preprocessing

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

Authors: Holger Bock Axelsen | Martin Kutrib | Andreas Malcher | Matthias Wendlandt

HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY

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

Authors: ANSGAR FEHNKER | BRUCE KROGH

PREFACE

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

Authors: JEAN-MARC CHAMPARNAUD | DENIS MAUREL

PREFACE

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

Authors: FARN WANG

CONSTRUCTING RED-BLACK TREE SHAPES

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

Authors: ANDREA MANTLER | HELEN CAMERON

DOUBLE HASHING WITH MULTIPLE PASSBITS

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

Authors: PAUL M. MARTINI | WALTER A. BURKHARD

A New Hierarchy for Automaton Semigroups

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

Authors: Laurent Bartholdi | Thibault Godin | Ines Klimann | Camille Noûs | Matthieu Picantin

ARITHMETIC CODING IN PARALLEL

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

Authors: JAN ŠUPOL | BOŘIVOJ MELICHAR

TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS

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

Authors: MARTIN MÜLLER | SUSUMU NISHIMURA