Journals in DBLP
Antoni Mazurkiewicz Compositional Systems over Reducible Networks. [Citation Graph (0, 0)][DBLP ] Journal ] Ludwik Czaja Interpreted Nets. [Citation Graph (0, 0)][DBLP ] Journal ] Roxana Dietze , Manfred Kudlek , Olaf Kummer Decidability Problems of a Basic Class of Object Nets. [Citation Graph (0, 0)][DBLP ] Journal ] Berndt Farwer , Manfred Kudlek , Heiko Rölke Concurrent Turing Machines. [Citation Graph (0, 0)][DBLP ] Journal ] Anna Gomolinska Approximation Spaces Based on Relations of Similarity and Dissimilarity of Objects. [Citation Graph (0, 0)][DBLP ] Journal ] Damas P. Gruska Observation Based System Security. [Citation Graph (0, 0)][DBLP ] Journal ] Kees M. van Hee , Olivia Oanea , Alexander Serebrenik , Natalia Sidorova , Marc Voorhoeve , Irina A. Lomazova Checking Properties of Adaptive Workflow Nets. [Citation Graph (0, 0)][DBLP ] Journal ] Gizela Jakubowska , Wojciech Penczek Modelling and Checking Timed Authentication of Security Protocols. [Citation Graph (0, 0)][DBLP ] Journal ] Agata Janowska , Wojciech Penczek Path Compression in Timed Automata. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Köhler The Reachability Problem for Object Nets. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Köhler A Formal Model of Multi-Agent Organisations. [Citation Graph (0, 0)][DBLP ] Journal ] Sergiy Kryvyy , Lyudmila Matvyeyeva Algorithm of Translation of MSC-specified System into Petri Net. [Citation Graph (0, 0)][DBLP ] Journal ] Manfred Kudlek On Semilinear Sets over Commutative Semirings. [Citation Graph (0, 0)][DBLP ] Journal ] Miroslaw Kurkowski , Wojciech Penczek Verifying Security Protocols Modelled by Networks of Automata. [Citation Graph (0, 0)][DBLP ] Journal ] Alessio Lomuscio , Franco Raimondi , Bozena Wozna Verification of the TESLA protocol in MCMAS-X. [Citation Graph (0, 0)][DBLP ] Journal ] Antoni Mazurkiewicz Local Properties of Triangular Graphs. [Citation Graph (0, 0)][DBLP ] Journal ] James F. Peters , Andrzej Skowron , Jaroslaw Stepaniuk Nearness of Objects: Extension of Approximation Space Model. [Citation Graph (0, 0)][DBLP ] Journal ] Roman R. Redziejowski Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking. [Citation Graph (0, 0)][DBLP ] Journal ] Jaroslaw Stepaniuk Relational Data and Rough Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Zbigniew Suraj , Barbara Fryc Analysis of Approximate Petri Nets by Means of Occurrence Graphs. [Citation Graph (0, 0)][DBLP ] Journal ] Zbigniew Suraj , Krzysztof Pancerz Towards Efficient Computing Consistent and Partially Consistent Extensions of Information Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Marcin Wolski Approximation Spaces and Nearness Type Structures. [Citation Graph (0, 0)][DBLP ] Journal ] Andrzej Zbrzezny , Agata Pólrola SAT-Based Reachability Checking for Timed Automata with Discrete Data. [Citation Graph (0, 0)][DBLP ] Journal ] 