Fundamenta Informaticae, Volume 62

Volume 62, Number 1, 2004

• Boris A. Trakhtenbrot:
  Preface.
  
• Yoram Hirshfeld, Alexander Moshe Rabinovich:
  Logics for Real Time: Decidability and Complexity. 1-28
  
• Anatol Slissenko:
  A Logic Framework for Verification of Timed Algorithms. 29-67
  
• Boris A. Trakhtenbrot:
  Understanding Basic Automata Theory in the Continuous Time Setting. 69-121
  
• D. Pardo, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot:
  Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness. 123-137
  

Volume 62, Number 2, 2004

• Ryszard Janicki:
  Preface.
  
• Yves Bontemps, Pierre-Yves Schobbens, Christof Löding:
  Synthesis of Open Reactive Systems from Scenario-Based Specifications. 139-169
  
• Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe:
  Quasi-static Scheduling for Concurrent Architectures. 171-196
  
• Javier Esparza:
  A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. 197-220
  
• Victor Khomenko, Maciej Koutny, Alexandre Yakovlev:
  Detecting State Encoding Conflicts in STG Unfoldings Using SAT. 221-241
  
• Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta:
  Formal Refinement Checking in a System-level Design Methodology. 243-273
  

Volume 62, Number 3-4, 2004

• Chin-Chen Chang, Piyu Tsai, Min-Hui Lin:
  An Adaptive Steganographic Scheme for Color Images. 275-289
  
• Franck Cassez, Claire Pagetti, Olivier H. Roux:
  A Timed Extension for ALTARICA. 291-332
  
• Olivier Finkel:
  An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank. 333-342
  
• Chris A. Johnson:
  Query Compilation under the disjunctive well-founded semantics. 343-368
  
• Marek Karpinski, Miroslaw Kowaluk, Andrzej Lingas:
  Approximation Algorithms for MAX-BISECTION on Low Degree Regular Graphs. 369-375
  
• Paolo Liberatore, Marco Schaerf:
  The Compactness of Belief Revision and Update Operators. 377-393
  
• Jacek Marciniec:
  Optimal Unification of Infinite Sets of Types. 395-407
  
• Supriya Kumar De:
  A Rough Set Theoretic Approach to Clustering. 409-417
  

Last update Fri May 24 20:20:36 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page