default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 51
Volume 51, Number 1-2, May 2002
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei:
A Notion of Non-Interference for Timed Automata. 1-11 - Viviana Bono, Jerzy Tiuryn:
Products and Polymorphic Subtypes. 13-41 - Ludwik Czaja:
Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. 43-58 - Piotr Dembinski, Wojciech Penczek, Agata Pólrola:
Verification of Timed Automata Based on Similarity. 59-89 - Berndt Farwer:
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures. 91-101 - Anna Gomolinska:
A Comparative Study of Some Generalized Rough Approximations. 103-119 - Irina A. Lomazova:
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. 121-133 - Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny:
Bounded Model Checking for the Universal Fragment of CTL. 135-156 - James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk, Sheela Ramanna:
Towards an Ontology of Approximate Reason. 157-173 - Zbigniew W. Ras, Shishir Gupta:
Global Action Rules in Distributed Knowledge Systems. 175-184 - Jan Richling, Louchka Popova-Zeugmann, Matthias Werner:
Verification of Non-functional Properties of a Composable Architecture with Petrinets. 185-200 - Zbigniew Suraj, James F. Peters, W. Rzqsa:
A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification. 201-214 - Kimmo Varpaaniemi:
Minimizing the Number of Successor States in the Stubborn Set Method. 215-234 - Józef Winkowski:
Reachability in Contextual Nets. 235-250
Volume 51, Number 3, June 2002
- Hans-Dieter Burkhard:
Real Time Control for Autonomous Mobile Robots. 251-270 - Barbara Dunin-Keplicz, Rineke Verbrugge:
Collective Intentions. 271-295 - Costas D. Koutras, Pavlos Peppas:
Weaker Axioms, More Ranges. 297-310 - Jayanta Sen
, Mihir K. Chakraborty:
A Study of Interconnections Between Rough and 3-Valued Lukasiewicz Logics. 311-324
Volume 51, Number 4, 2002
- Verónica Becher, Gregory J. Chaitin:
Another Example of Higher Order Randomness. 325-338 - François Denis, Aurélien Lemay, Alain Terlutte:
Residual Finite State Automata. 339-368 - Grzegorz Góra, Arkadiusz Wojna:
RIONA: A New Classification System Combining Rule Induction and Instance-Based Learning. 369-390 - Ivan Kopeek, Miroslav Novotný:
On Equations Including Strings. 391-398 - Alexander Meduna, Duwan Koláq:
One-Turn Regulated Pushdown Automata and Their Reduction. 399-405
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-05 21:02 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:
