| 6401 | Performance of an Occam/transputer implementation of interva… (10.7146/dpb.v22i451.6769) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6402 | Rewriting Extended Regular Expressions (10.7146/dpb.v22i461.6934) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6403 | Tailorable Systems: Design, Support, Techniques, and Applica… (10.7146/dpb.v23i466.7950) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6404 | Bisimulations, Games and Logic (10.7146/dpb.v23i467.6940) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6405 | Verification of Pointers (10.7146/dpb.v23i470.6943) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6406 | Provable Security Against a Differential Attack (10.7146/dpb.v23i473.6946) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6407 | Patterns, Graphs and DNA (10.7146/dpb.v23i484.6977) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6408 | Adaptive Approaches Towards Better GA Performance in Dynamic… (10.7146/dpb.v23i487.6981) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6409 | A conceptual toolbox for designing CSCW applications (10.7146/dpb.v23i489.6983) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6410 | Automated Design of Neural Network Architecture for Classifi… (10.7146/dpb.v24i500.7029) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6411 | Polymorphic Subtyping for Effect Analysis: The Semantics (10.7146/dpb.v25i502.7031) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6412 | Dynamically Extensible Objects in a Class-Based Language (10.7146/dpb.v25i504.7033) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6413 | MetaBETA: Model and Implementation (10.7146/dpb.v25i506.7035) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6414 | Design/CPN - A Computer Tool for Coloured Petri Nets (10.7146/dpb.v26i511.7040) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6415 | Analysing Coloured Petri Nets by the Occurrence Graph Method (10.7146/dpb.v26i517.7046) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6416 | Parametrisation of Coloured Petri Nets (10.7146/dpb.v26i521.7050) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6417 | Behaviour Analysis for Validating Communication Patterns (10.7146/dpb.v26i527.7056) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6418 | Polymorphic Subtyping for Side Effects (10.7146/dpb.v26i529.7058) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6419 | Digital systems synthesis from Petri net descriptions (10.7146/dpb.v27i530.7059) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6420 | Workshop on Practical Use of Coloured Petri Nets and Design/… (10.7146/dpb.v27i532.7649) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6421 | Practical Use of High-level Petri Nets (10.7146/dpb.v29i547.7081) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6422 | Software Engineering and Petri Nets (10.7146/dpb.v29i548.7196) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6423 | Automatic Program Specialization for Java (10.7146/dpb.v29i551.7104) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6424 | Partial Evaluation for Class-Based Object-Oriented Languages (10.7146/dpb.v29i552.7109) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6425 | Proceedings of The First Danish Human-Computer Interaction R… (10.7146/dpb.v30i555.7112) | References ORCID License | 22.58 | 1 | 2245-9316 |