Facet browsing currently unavailable
Page 3 of 2042 results
Sort by: relevance publication year
A NOTE ON REBOUND TURING MACHINES JOURNAL ARTICLE published October 2004 in International Journal of Foundations of Computer Science |
THE GRAPH-BIN PACKING PROBLEM JOURNAL ARTICLE published December 2011 in International Journal of Foundations of Computer Science |
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 |
SPECIAL ISSUE ON PARALLEL AND DISTRIBUTED COMPUTING: Editor's Foreword JOURNAL ARTICLE published June 2001 in International Journal of Foundations of Computer Science |
AROUND DOT-DEPTH ONE JOURNAL ARTICLE published September 2012 in International Journal of Foundations of Computer Science |
MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS JOURNAL ARTICLE published October 2009 in International Journal of Foundations of Computer Science |
ON THE COMPLEXITY OF COMPUTING VALUES OF RESTRICTED GAMES JOURNAL ARTICLE published October 2002 in International Journal of Foundations of Computer Science |
AN EFFICIENT FULLY SYMBOLIC BISIMULATION ALGORITHM FOR NON-DETERMINISTIC SYSTEMS JOURNAL ARTICLE published February 2013 in International Journal of Foundations of Computer Science |
Automatic Sets of Rational Numbers JOURNAL ARTICLE published April 2015 in International Journal of Foundations of Computer Science |
Boosting Reversible Pushdown and Queue Machines by Preprocessing JOURNAL ARTICLE published December 2020 in International Journal of Foundations of Computer Science |
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 |
PREFACE JOURNAL ARTICLE published December 2003 in International Journal of Foundations of Computer Science |
PREFACE JOURNAL ARTICLE published August 2006 in International Journal of Foundations of Computer Science |
CONSTRUCTING RED-BLACK TREE SHAPES JOURNAL ARTICLE published December 2002 in International Journal of Foundations of Computer Science |
DOUBLE HASHING WITH MULTIPLE PASSBITS JOURNAL ARTICLE published December 2003 in International Journal of Foundations of Computer Science |
A New Hierarchy for Automaton Semigroups JOURNAL ARTICLE published December 2020 in International Journal of Foundations of Computer Science |
ARITHMETIC CODING IN PARALLEL JOURNAL ARTICLE published December 2005 in International Journal of Foundations of Computer Science |
TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS JOURNAL ARTICLE published March 2000 in International Journal of Foundations of Computer Science |