default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 85
Volume 85, Numbers 1-4, 2008
- Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida:
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper. 1-17 - Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski:
A Multi-facet Approach to Dynamic Agent Systems. 19-33 - Marco Bellia, M. Eugenia Occhiuto:
Methods as Parameters: A Preprocessing Approach to Higher Order in Java. 35-50 - Katarzyna Budzynska, Magdalena Kacprzak:
A Logic for Reasoning about Persuasion. 51-65 - Piotr Chrzastowski-Wachtel, Pawel Findeisen, Grzegorz Wolny:
Time Distribution in Structural Workflow Nets. 67-87 - Ludwik Czaja:
Boolean Algebra of Nets, their Synthesis and Analysis. 89-95 - Pawel Delimata, Zbigniew Suraj:
Feature Selection Algorithm for Multiple Classifier Systems: A Hybrid Approach. 97-110 - Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche:
Petri Net Controlled Finite Automata. 111-121 - Daniel Göhring, Heinrich Mellmann, Kataryna Gerasymova, Hans-Dieter Burkhard:
Constraint BasedWorld Modeling. 123-137 - Anna Gomolinska:
Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach. 139-153 - Grzegorz Góra, Piotr Kruczek, Andrzej Skowron, Jan G. Bazan, Stanislawa Bazan-Socha, Jacek J. Pietrzyk:
Case-based Planning of Treatment of Infants with Respiratory Failure. 155-172 - Damas P. Gruska
:
Probabilistic Information Flow Security. 173-187 - Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo:
Security in a Model for Long-running Transactions. 189-203 - Jerzy W. Grzymala-Busse, Wojciech Rzasa:
Approximation Space and LEM2-like Algorithms for Computing Local Coverings. 205-217 - Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova:
Token History Petri Nets. 219-234 - Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski:
Translation of Intermediate Language to Timed Automata with Discrete Data. 235-248 - Andrzej Jankowski, James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk:
Optimization in Discovery of Compound Granules. 249-265 - Matthias Jantzen, Manfred Kudlek, Georg Zetzsche:
Language Classes Defined by Concurrent Finite Automata. 267-280 - Joanna Jólkowska, Edward Ochmanski:
On Trace-Expressible Behaviour of Petri Nets. 281-295 - Matthias Jüngel, Heinrich Mellmann:
Memory-Based State-Estimation. 297-311 - Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny:
VerICS 2007 - a Model Checker for Knowledge and Real-Time. 313-328 - Michael Köhler-Bußmeier, Manfred Kudlek:
Linear Properties of Zero-Safe Nets with Debit Tokens. 329-342 - Hans Langmaack, Andrzej Salwicki, Marek Warpechowski:
A Deterministic Algorithm for Identifying Direct Superclasses in Java. 343-357 - Alessio Lomuscio, Wojciech Penczek:
LDYIS: a Framework for Model Checking Security Protocols. 359-375 - Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Specification and Verification of Invariants by Exploiting Layers in OO Designs. 377-398 - Lukasz Mikulski:
Projection Representation of Mazurkiewicz Traces. 399-408 - Wojciech Nabialek, Agata Janowska, Pawel Janowski:
Translation of Timed Promela to Timed Automata with Discrete Data. 409-424 - Wojciech Penczek, Maciej Szreter:
SAT-based Unbounded Model Checking of Timed Automata. 425-440 - Roman R. Redziejowski:
Some Aspects of Parsing Expression Grammar. 441-451 - Dominik Strzalka, Franciszek Grabowski:
Processes in Systems with Limited Resources in the Context of Non-extensive Thermodynamics. 455-464 - Kimmo Varpaaniemi, Leo Ojala:
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets. 465-479 - Józef Winkowski:
An Algebraic Framework for Defining Random Concurrent Behaviours. 481-496 - Marcin Wolski:
Distance Measures Induced by Finite Approximation Spaces and Approximation Operators. 497-512 - Andrzej Zbrzezny:
Improving the Translation from ECTL to SAT. 513-531 - Andrzej Zbrzezny, Bozena Wozna:
Towards Verification of Java Programs in perICS. 533-548 - Beata Zielosko, Marcin Piliszczuk:
Greedy Algorithm for Attribute Reduction. 549-561
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 2025-12-02 23: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:
