International Journal of Foundations of Computer Science (IJFCS)

Home

Join Our Mailing List

New Journals

Browse Journals

Journal Prices

For Authors

Advanced Search

Print ISSN: 0129-0541
Online ISSN: 1793-6373

RSS Feed

About IJFCS
	Aims & Scope Editorial Board Contact IJFCS Sample Issue Abstracting/Indexing Online Gateways

How To Order
	Order Online Price Information Request for Complimentary Print Copy Dispatch Dates

For Authors
	Note to authors IMPORTANT: Author's responsibilities Guidelines for Contributors NEW: WorldSciNet OPEN ACCESS Online Submission Call for Papers Special Issues (CFP) Author Rights

RELATED JOURNALS

Journal of Mathematical Logic (JML)

HOME > JOURNALS BY SUBJECT > COMPUTER SCIENCE > IJFCS

International Journal of Foundations of Computer Science (IJFCS)

Current Issue | 2012 | 2011 | 2010 | All Volumes (1990-2012)

News

Latest Abstracting/Indexing Information

Starting with Vol.15, No.1 February 2004, the information on the contents of IJFCS will be indexed in

Science Citation Index Expanded (SciSearch)
ISI Alerting Services
CompuMath Citation Index
Current Contents/Engineering, Computing & Technology

Current Issue

Volume: 23, Issue: 3 (April 2012)
Special Issue – Games, Automata, Logic, and Formal Verification (GandALF 2010)
PREFACE ANGELO MONTANARI, MARGHERITA NAPOLI and MIMMO PARENTE Page: 555-557 Abstract \| Full Text - Free Access (PDF, 87KB)
ON BEGINS, MEETS AND BEFORE DAVIDE BRESOLIN, PIETRO SALA and GUIDO SCIAVICCO DOI No: 10.1142/S012905411240028X Page: 559-583 Abstract \| Full Text (PDF, 415KB)
USING STRATEGY IMPROVEMENT TO STAY ALIVE LUBOŠ BRIM and JAKUB CHALOUPKA DOI No: 10.1142/S0129054112400291 Page: 585-608 Abstract \| Full Text (PDF, 406KB)
DISCOUNTING AND AVERAGING IN GAMES ACROSS TIME SCALES KRISHNENDU CHATTERJEE and RUPAK MAJUMDAR DOI No: 10.1142/S0129054112400308 Page: 609-625 Abstract \| Full Text (PDF, 254KB)
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH GIOVANNA D'AGOSTINO and GIACOMO LENZI DOI No: 10.1142/S012905411240031X Page: 627-647 Abstract \| Full Text (PDF, 301KB)
PLAYING MULLER GAMES IN A HURRY JOHN FEARNLEY and MARTIN ZIMMERMANN DOI No: 10.1142/S0129054112400321 Page: 649-668 Abstract \| Full Text (PDF, 352KB)
TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING OLIVER FRIEDMANN and MARTIN LANGE DOI No: 10.1142/S0129054112400333 Page: 669-685 Abstract \| Full Text (PDF, 278KB)
BLACKWELL OPTIMAL STRATEGIES IN PRIORITY MEAN-PAYOFF GAMES HUGO GIMBERT and WIESŁAW ZIELONKA DOI No: 10.1142/S0129054112400345 Page: 687-711 Abstract \| Full Text (PDF, 367KB)
Regular Papers
ON THE COMPUTATIONAL CAPACITY OF PARALLEL COMMUNICATING FINITE AUTOMATA HENNING BORDIHN, MARTIN KUTRIB and ANDREAS MALCHER DOI No: 10.1142/S0129054112500062 Page: 713-732 Abstract \| Full Text (PDF, 295KB)
IMPROVED RELATED-KEY RECTANGLE ATTACK ON THE FULL HAS-160 ENCRYPTION MODE YUECHUAN WEI, CHAO LI and DAN CAO DOI No: 10.1142/S0129054112500074 Page: 733-747 Abstract \| Full Text (PDF, 273KB)
NEW CONSTRUCTIONS OF VECTORIAL BOOLEAN FUNCTIONS WITH GOOD CRYPTOGRAPHIC PROPERTIES DESHUAI DONG, LONGJIANG QU, SHAOJING FU and CHAO LI DOI No: 10.1142/S0129054112500086 Page: 749-760 Abstract \| Full Text (PDF, 214KB)

World Scientific is a Member of CrossRef