default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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 - Dorit 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
