Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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 - Maurice Margenstern, Yurii Rogozhin:
Self-describing Turing machines. 285-303 - Lech Polkowski:
On Fractal Dimension in Information Systems. Toward Exact Sets in Infinite Information Systems. 305-314 - Timo Poranen, Jyrki Nummenmaa:
A Linear Time Special Case for MC Games. 315-324 - 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
a service of 
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-06-10 21:23 CEST 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:
