| 4126 | An Introduction to Event Structures (10.7146/dpb.v18i278.6655) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4127 | Hypertext in an Object-Oriented Programming Environment (10.7146/dpb.v18i280.6657) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4128 | Discovering the Human Actors in Human Factors (10.7146/dpb.v18i290.6668) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4129 | A Compositional Proof System on a Category of Labelled Trans… (10.7146/dpb.v18i294.6688) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4130 | Types, Inheritance and Assignments: A collection of position… (10.7146/dpb.v20i357.6587) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4131 | Parallel Construction of Irreducible Polynomials (10.7146/dpb.v20i358.7955) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4132 | A New Characterization of Tree Medians with Applications to… (10.7146/dpb.v20i364.6595) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4133 | ApplBuilder: An Object-Oriented Application Generator Suppor… (10.7146/dpb.v20i366.6597) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4134 | Fitness Conditions for fixed Point Iteration (10.7146/dpb.v21i384.6617) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4135 | Design of Information Systems: Things versus People (10.7146/dpb.v21i387.6620) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4136 | Towards a Modular Analysis of Coloured Petri Nets (10.7146/dpb.v21i391.6626) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4137 | Part Objects and Their Location (10.7146/dpb.v21i406.6640) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4138 | From CML to process Algebras (10.7146/dpb.v22i433.6750) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4139 | Completeness Results for Linear Logic on Petri Nets (10.7146/dpb.v22i435.6752) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4140 | Communicative Action Notation with Shared Storage (10.7146/dpb.v22i452.6770) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4141 | Complexity Results for 1-safe Nets (10.7146/dpb.v22i455.6773) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4142 | Computing Near-Optimal Solutions to the Steiner Problem in a… (10.7146/dpb.v23i468.6941) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4143 | Training of Neural Networks by means of Genetic Algorithms W… (10.7146/dpb.v23i486.6980) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4144 | Termination analysis based on operational semantics (10.7146/dpb.v24i492.7020) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4145 | Coloured Petri Nets - a Pragmatic Formal Method for Designin… (10.7146/dpb.v26i522.7051) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4146 | Designing for the Dynamics of Cooperative Work Activities (10.7146/dpb.v27i536.7066) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4147 | Ragnarok: An Architecture Based Software Development Environ… (10.7146/dpb.v28i540.7951) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4148 | Prime Decompositions with Minimum Sum (10.7146/dpb.v2i19.6438) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4149 | Facilitating the Practical Use of Coloured Petri Nets (10.7146/dpb.v31i562.7119) | References ORCID License | 35.78 | 2 | 2245-9316 |
| 4150 | Performance Analysis using Coloured Petri Nets (10.7146/dpb.v31i563.7120) | References ORCID License | 35.78 | 2 | 2245-9316 |