Fundamenta Informaticae, Volume 50
Volume 50, Number 1, February 2002
Danièle Beauquier: Markov Decision Processes and Deterministic Büchi Automata. 1-13- Magdalena Kacprzak: A Complete Axiomatization of Process Temporal Logic. 15-31
- Hanna Klaudel, Franck Pommereau: A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. 33-55
- Mikhail Moshkov: On Decision Trees for (1, 2)-Bayesian Networks. 57-76
- Claude Sureson: Analytic sets in Descriptive Set Theory and NP sets in Complexity Theory. 77-110
Volume 50, Number 2, March 2002
- Michael Baldamus, Klaus Schneider: The BDD Space Complexity of Different Forms of Concurrency. 111-133
- Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. 135-154
- Oscar Garnica, Juan Lanchares, Román Hermida: Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation. 155-174
- Marta Pietkiewicz-Koutny: Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems. 175-203
- Fei Xia, Ian G. Clark: Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis. 205-222
- Wlodzimierz M. Zuberek: Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems. 223-241
Volume 50, Number 3-4, April-May 2002
- Philippe Balbiani, Dimiter Vakarelov: A Modal Logic for Indiscernibility and Complementarity in Information Systems. 243-263
- Igor Chikalov: On Average Depth of Decision Trees Implementing Boolean Functions. 265-284
- Lech Polkowski: On Fractal Dimension in Information Systems. Toward Exact Sets in Infinite Information Systems. 305-314
- Brian Postow, Kenneth W. Regan, Carl H. Smith: UPSILON: Universal Programming System with Incomplete Lazy Object Notation. 325-359
- Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel: Completeness of Timed mCRL. 361-402
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team