IBL Tool - Digital Library

Digital Library

Journal description

All volumes of the corresponding journal

All issues of the corresponding volume

All articles of the corresponding issues

27 results found

no	title	author	magazine	year	volume	issue	page(s)	type
1	Abstract Interpretation Against Races	Roberto Barbuti		2004	60	1-4	p. 67-79	article
2	A Graded Meaning of Formulas in Approximation Spaces	Anna Gomolińska		2004	60	1-4	p. 159-172	article
3	A New Synchronisation Model for Multi-Level Object Petri Nets	Berndt Farwer		2004	60	1-4	p. 131-142	article
4	Best Fairness Hierarchy in Elementary Nets	Edward Ochmański		2004	60	1-4	p. 237-250	article
5	Bilateral Ranking Negotiations	Antoni Mazurkiewicz		2004	60	1-4	p. 1-16	article
6	Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure	Irina A. Lomazowa		2004	60	1-4	p. 225-235	article
7	Complex Patterns	Andrzej Skowron		2004	60	1-4	p. 351-366	article
8	Compositional Synthesis of Generalized Mealy Machines	Simone Tini		2004	60	1-4	p. 367-382	article
9	Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs	Cinzia Bernardeschi		2004	60	1-4	p. 81-98	article
10	Data Mining and Its Use in Texture Analysis	Martin Heckel		2004	60	1-4	p. 173-186	article
11	Decision Rules and Dependencies	Zdzisław Pawlak		2004	60	1-4	p. 33-39	article
12	Discovering Concurrent Models from Data Tables with the ROSECON System	Krzysztof Pancerz		2004	60	1-4	p. 251-268	article
13	Entish: A Language for Describing Data Processing in Open Distributed Systems	Stanisław Ambroszkiewicz		2004	60	1-4	p. 41-66	article
14	Exploiting Labels in Structural Operational Semantics	Peter D. Mosses		2004	60	1-4	p. 17-31	article
15	Galois Connections and Data Analysis	Marcin Wolski		2004	60	1-4	p. 401-415	article
16	Improvements in SAT-based Reachability Analysis for Timed Automata	Andrzej Zbrzezny		2004	60	1-4	p. 417-434	article
17	Minimization Algorithms for Time Petri Nets	Agata Półrola		2004	60	1-4	p. 307-331	article
18	Mobile Object-Net Systems and their Processes	Berndt Farwer		2004	60	1-4	p. 113-129	article
19	Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs	Analoliy Doroshenko		2004	60	1-4	p. 99-111	article
20	On Associative Omega-Products	Roman R. Redziejowski		2004	60	1-4	p. 333-350	article
21	On Designated Values in Multi-valued CTL^* Model Checking	Beata Konikowka		2004	60	1-4	p. 211-224	article
22	On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets	B. Fryc		2004	60	1-4	p. 143-157	article
23	Open Maps and Observational Equivalences for Timed Partial Order Models	Irina B. Virbitskaite		2004	60	1-4	p. 383-399	article
24	Preface	Hans-Dieter Burkhard		2004	60	1-4	p. vii-viii	article
25	Slicing Timed Systems	Agata Janowska		2004	60	1-4	p. 187-210	article
26	Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework	Lech Polkowski		2004	60	1-4	p. 291-305	article
27	The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes	Michał Polak		2004	60	1-4	p. 269-289	article

27 results found

Koninklijke Bibliotheek - National Library of the Netherlands