| 1 | Concurrent Program Schemes and their Interpretations (10.7146/dpb.v6i78.7691) | References ORCID License | 182.71 | 272 |
| 2 | Lanczos Bidiagonalization With Partial Reorthogonalization (10.7146/dpb.v27i537.7070) | References ORCID License | 156.74 | 122 |
| 3 | CSCW - Four Characters in Search of a Context (10.7146/dpb.v18i289.6667) | References ORCID License | 128.70 | 51 |
| 4 | A Scaled Conjugate Gradient Algorithm for Fast Supervised Le… (10.7146/dpb.v19i339.6570) | References ORCID License | 128.07 | 50 |
| 5 | A Calculus of Communicating Systems with Label Passing (10.7146/dpb.v15i208.7559) | References ORCID License | 126.76 | 48 |
| 6 | Through the Interface - a Human Activity Approach to User In… (10.7146/dpb.v16i224.7586) | References ORCID License | 121.74 | 41 |
| 7 | Model Checking Coloured Petri Nets - Exploiting Strongly Con… (10.7146/dpb.v26i519.7048) | References ORCID License | 118.48 | 37 |
| 8 | Fibrations, Logical Predicates and Indeterminates (10.7146/dpb.v22i462.6935) | References ORCID License | 116.72 | 35 |
| 9 | gbeta - a Language with Virtual Attributes, Block Structure,… (10.7146/dpb.v29i549.7654) | References ORCID License | 114.86 | 33 |
| 10 | Block Ciphers: Analysis, Design and Applications (10.7146/dpb.v23i485.6978) | References ORCID License | 112.89 | 31 |
| 11 | Succinctness of Descriptions of Context-Free, Regular, and F… (10.7146/dpb.v7i84.6500) | References ORCID License | 108.54 | 27 |
| 12 | The BETA Programming Language (10.7146/dpb.v16i229.7578) | References ORCID License | 100.68 | 21 |
| 13 | Collaboration, Coordination and Computer Support: An Activit… (10.7146/dpb.v27i533.7062) | References ORCID License | 99.17 | 20 |
| 14 | Seventh Workshop and Tutorial on Practical Use of Coloured P… (10.7146/dpb.v35i579.7322) | References ORCID License | 97.58 | 19 |
| 15 | Using Artifacts as Triggers for Participatory Analysis (10.7146/dpb.v21i413.6726) | References ORCID License | 95.91 | 18 |
| 16 | Verification of Temporal Properties of Concurrent Systems (10.7146/dpb.v22i445.6762) | References ORCID License | 95.91 | 18 |
| 17 | A Linear Specification Language for Petri Nets (10.7146/dpb.v20i363.6594) | References ORCID License | 94.15 | 17 |
| 18 | Electronic Payments of Small Amounts (10.7146/dpb.v24i495.7023) | References ORCID License | 90.31 | 15 |
| 19 | Computer Support for Cooperative Design (10.7146/dpb.v17i262.6550) | References ORCID License | 88.21 | 14 |
| 20 | Efficient Training of Feed-Forward Neural Networks (10.7146/dpb.v22i464.6937) | References ORCID License | 88.21 | 14 |
| 21 | Results on the Propositional µ-Calculus (10.7146/dpb.v11i146.7420) | References ORCID License | 85.96 | 13 |
| 22 | Galleries and Institutions (10.7146/dpb.v14i191.7463) | References ORCID License | 85.96 | 13 |
| 23 | Distributed Provers and Verifiable Secret Sharing Based on t… (10.7146/dpb.v21i388.6621) | References ORCID License | 85.96 | 13 |
| 24 | Coloured Petri Nets Extended with Channels for Synchronous C… (10.7146/dpb.v21i390.6625) | References ORCID License | 85.96 | 13 |
| 25 | Abstract Semantic Algebras! (10.7146/dpb.v11i145.6543) | References ORCID License | 83.55 | 12 |
| 26 | Creating Conditions for Participation: Conflicts and Resourc… (10.7146/dpb.v13i479.6952) | References ORCID License | 83.55 | 12 |
| 27 | Models for Concurrency (10.7146/dpb.v22i463.6936) | References ORCID License | 83.55 | 12 |
| 28 | Elementary transition systems (10.7146/dpb.v19i310.6701) | References ORCID License | 80.94 | 11 |
| 29 | Supporting Active User Involvement in Prototyping (10.7146/dpb.v19i333.6563) | References ORCID License | 80.94 | 11 |
| 30 | A Tool Perspective on Design of Interactive Computer Support… (10.7146/dpb.v14i190.6547) | References ORCID License | 78.10 | 10 |
| 31 | Verification of VLSI Circuits Using LP (10.7146/dpb.v17i258.7842) | References ORCID License | 78.10 | 10 |
| 32 | Provably Correct Compiler Generation (10.7146/dpb.v21i422.6736) | References ORCID License | 78.10 | 10 |
| 33 | State Space Methods for Coloured Petri Nets (10.7146/dpb.v29i546.7080) | References ORCID License | 75.00 | 9 |
| 34 | Aesthetic Approaches to Human-Computer Interaction (10.7146/dpb.v33i572.7129) | References ORCID License | 75.00 | 9 |
| 35 | Beyond the Interface: Encountering Artifacts in Use (10.7146/dpb.v18i288.6666) | References ORCID License | 71.57 | 8 |
| 36 | Challenging Practice: an approach to Cooperative Analysis (10.7146/dpb.v23i465.6938) | References ORCID License | 71.57 | 8 |
| 37 | Elements of a Theory of Design Artefacts: a contribution to… (10.7146/dpb.v27i531.7060) | References ORCID License | 71.57 | 8 |
| 38 | Designing Emotions for Activity Selection (10.7146/dpb.v29i545.7079) | References ORCID License | 71.57 | 8 |
| 39 | MACROS, Iterated Substitution and Lindenmayer AFLs (10.7146/dpb.v2i18.6437) | References ORCID License | 71.57 | 8 |
| 40 | Sixth Workshop and Tutorial on Practical Use of Coloured Pet… (10.7146/dpb.v34i576.7198) | References ORCID License | 71.57 | 8 |
| 41 | Towards Reachability Trees for High-level Petri Nets (10.7146/dpb.v13i174.7449) | References ORCID License | 67.73 | 7 |
| 42 | Multiple Inheritance, a Structuring Mechanism for Data, Proc… (10.7146/dpb.v15i209.7560) | References ORCID License | 67.73 | 7 |
| 43 | The Use of Action Semantics (10.7146/dpb.v15i217.7568) | References ORCID License | 67.73 | 7 |
| 44 | A Cooperative Work Perspective on Use and Development of Com… (10.7146/dpb.v16i234.7590) | References ORCID License | 67.73 | 7 |
| 45 | A Sweepline Algorithm for Generalized Delaunay Triangulation… (10.7146/dpb.v20i373.6605) | References ORCID License | 67.73 | 7 |
| 46 | A Design of One's Own: Towards Participatory Design in the U… (10.7146/dpb.v20i375.6607) | References ORCID License | 67.73 | 7 |
| 47 | Models for Concurrency (10.7146/dpb.v21i429.6743) | References ORCID License | 67.73 | 7 |
| 48 | Exact Calculation of the Product of the Hessian Matrix of Fe… (10.7146/dpb.v22i432.6748) | References ORCID License | 67.73 | 7 |
| 49 | IO and OI (10.7146/dpb.v4i47.6466) | References ORCID License | 67.73 | 7 |
| 50 | A Cook's Tour of Countable Nondeterminism (10.7146/dpb.v10i133.18448) | References ORCID License | 63.38 | 6 |
| 51 | Integer Factorization (10.7146/dpb.v11i144.7419) | References ORCID License | 63.38 | 6 |
| 52 | Transition Systems, Event Structures and Unfoldings (10.7146/dpb.v20i353.6583) | References ORCID License | 63.38 | 6 |
| 53 | Towards Participatory Design: The Head and the Heart Revisit… (10.7146/dpb.v20i374.6606) | References ORCID License | 63.38 | 6 |
| 54 | Towards a Prototyping Approach in Systems Development (10.7146/dpb.v21i412.6725) | References ORCID License | 63.38 | 6 |
| 55 | Sharing of Computations (10.7146/dpb.v22i453.6771) | References ORCID License | 63.38 | 6 |
| 56 | The AT-project: practical research in cooperative design (10.7146/dpb.v22i454.6772) | References ORCID License | 63.38 | 6 |
| 57 | Computer Applications as Mediators of Design and Use (10.7146/dpb.v28i542.7076) | References ORCID License | 63.38 | 6 |
| 58 | Five Ways of Reducing the Crank-Nicolson Oscillations (10.7146/dpb.v31i558.7115) | References ORCID License | 63.38 | 6 |
| 59 | Fourth Workshop and Tutorial on Practical Use of Coloured Pe… (10.7146/dpb.v31i560.7117) | References ORCID License | 63.38 | 6 |
| 60 | Scavenger - Mobile Remote Execution (10.7146/dpb.v37i587.7223) | References ORCID License | 63.38 | 6 |
| 61 | Attribute Grammars and Mathematical Semantics (10.7146/dpb.v7i90.6505) | References ORCID License | 63.38 | 6 |
| 62 | Subclasses of Attribute Grammars (10.7146/dpb.v9i114.6532) | References ORCID License | 63.38 | 6 |
| 63 | Extended Attribute Grammars (10.7146/dpb.v10i105.6520) | References ORCID License | 58.36 | 5 |
| 64 | Type Algebras, Functor Categories, and Block Structure (10.7146/dpb.v12i156.7430) | References ORCID License | 58.36 | 5 |
| 65 | A Theory for Bipolar Synchronisation Schemes (10.7146/dpb.v12i158.7432) | References ORCID License | 58.36 | 5 |
| 66 | Self-Timed Iteration (10.7146/dpb.v16i228.7577) | References ORCID License | 58.36 | 5 |
| 67 | Breakthrough by Breakdown: Metaphors and Structured Domains (10.7146/dpb.v17i243.7599) | References ORCID License | 58.36 | 5 |
| 68 | Unified Algebras and Institutions (10.7146/dpb.v18i274.7628) | References ORCID License | 58.36 | 5 |
| 69 | Cooperative Prototyping: Users and Designers in Mutual Activ… (10.7146/dpb.v19i332.6562) | References ORCID License | 58.36 | 5 |
| 70 | Language Evolution and Human-Computer Interaction (10.7146/dpb.v20i354.6584) | References ORCID License | 58.36 | 5 |
| 71 | Type Inference of SELF: Analysis of Objects with Dynamic and… (10.7146/dpb.v22i436.6753) | References ORCID License | 58.36 | 5 |
| 72 | The Error of the Crank-Nicolson Method for Linear Parabolic… (10.7146/dpb.v27i534.7064) | References ORCID License | 58.36 | 5 |
| 73 | Regions of Absolute Stability (10.7146/dpb.v8i102.6518) | References ORCID License | 58.36 | 5 |
| 74 | Syntax Directed Program Modularization (10.7146/dpb.v11i155.7429) | References ORCID License | 52.42 | 4 |
| 75 | Degrees of Non-determinism and Concurrency: A Petri Net View (10.7146/dpb.v13i180.7455) | References ORCID License | 52.42 | 4 |
| 76 | An Introduction to the Theoretical Aspects of Coloured Petri… (10.7146/dpb.v13i476.6949) | References ORCID License | 52.42 | 4 |
| 77 | A Conceptual Framework for Programming Languages (10.7146/dpb.v14i192.7464) | References ORCID License | 52.42 | 4 |
| 78 | Logics of Domains (10.7146/dpb.v18i298.6692) | References ORCID License | 52.42 | 4 |
| 79 | Petri Nets as Models of Linear Logic (10.7146/dpb.v19i301.6682) | References ORCID License | 52.42 | 4 |
| 80 | Convertible Undeniable Signatures (10.7146/dpb.v19i330.6719) | References ORCID License | 52.42 | 4 |
| 81 | Activity Theory as a Challenge to Systems Design (10.7146/dpb.v19i334.6564) | References ORCID License | 52.42 | 4 |
| 82 | An Introduction to Action Semantics (10.7146/dpb.v20i370.6602) | References ORCID License | 52.42 | 4 |
| 83 | Relations and Non-commutative Linear Logic (10.7146/dpb.v20i372.6604) | References ORCID License | 52.42 | 4 |
| 84 | Coloured Petri Nets Extended with Place Capacities, Test Arc… (10.7146/dpb.v21i398.6632) | References ORCID License | 52.42 | 4 |
| 85 | Partial Automata and Finitely Generated Congruences: An Exte… (10.7146/dpb.v21i400.6634) | References ORCID License | 52.42 | 4 |
| 86 | Relationships between Models of Concurency (10.7146/dpb.v22i456.6929) | References ORCID License | 52.42 | 4 |
| 87 | Annotated Type Systems for Program Analysis (10.7146/dpb.v24i498.7026) | References ORCID License | 52.42 | 4 |
| 88 | Second Workshop on Practical Use of Coloured Petri Nets and… (10.7146/dpb.v28i541.7075) | References ORCID License | 52.42 | 4 |
| 89 | A Relationship between ETOL and EDTOL Languages (10.7146/dpb.v3i40.6461) | References ORCID License | 52.42 | 4 |
| 90 | Connection between Dijkstra's Predicate-Transformers and Den… (10.7146/dpb.v7i86.6502) | References ORCID License | 52.42 | 4 |
| 91 | Systems Development and Trade Union Activities (10.7146/dpb.v8i99.6515) | References ORCID License | 52.42 | 4 |
| 92 | Flow Analysis of Lambda Expressions (10.7146/dpb.v10i128.7404) | References ORCID License | 45.15 | 3 |
| 93 | Semantic Foundations of Data Flow Analysis (10.7146/dpb.v10i131.7585) | References ORCID License | 45.15 | 3 |
| 94 | A Virtual Protocol Model for Computer-Human Interaction (10.7146/dpb.v13i178.7453) | References ORCID License | 45.15 | 3 |
| 95 | Practically Secure Feistel Ciphers (10.7146/dpb.v13i472.6945) | References ORCID License | 45.15 | 3 |
| 96 | From Implementation to Design: Tailoring and the Emergence o… (10.7146/dpb.v13i480.6953) | References ORCID License | 45.15 | 3 |
| 97 | An Introduction to High-Level Petri Nets (10.7146/dpb.v14i197.7469) | References ORCID License | 45.15 | 3 |
| 98 | Information Systems Assessment as a Learning Process (10.7146/dpb.v17i242.7598) | References ORCID License | 45.15 | 3 |
| 99 | A Framework for Computer Supported Cooperative Work (10.7146/dpb.v17i253.7609) | References ORCID License | 45.15 | 3 |
| 100 | Unified Algebras and Modules (10.7146/dpb.v17i266.7620) | References ORCID License | 45.15 | 3 |
| 101 | Parallel Product of Event Structures (10.7146/dpb.v18i285.6663) | References ORCID License | 45.15 | 3 |
| 102 | A Human Activity Approach to User Interfaces (10.7146/dpb.v18i291.6552) | References ORCID License | 45.15 | 3 |
| 103 | Cooperative Prototyping Experiments: - Users and Designers E… (10.7146/dpb.v19i292.6683) | References ORCID License | 45.15 | 3 |
| 104 | A simple algorithm for computing the smallest enclosing circ… (10.7146/dpb.v19i314.6704) | References ORCID License | 45.15 | 3 |
| 105 | Coloured Petri Nets: A High Level Language for System Design… (10.7146/dpb.v19i338.6569) | References ORCID License | 45.15 | 3 |
| 106 | Elementary Transition Systems and Refinement (10.7146/dpb.v20i346.6576) | References ORCID License | 45.15 | 3 |
| 107 | Static Typing for Object-Oriented Programming (10.7146/dpb.v20i355.6585) | References ORCID License | 45.15 | 3 |
| 108 | On Action Algebras (10.7146/dpb.v21i381.6613) | References ORCID License | 45.15 | 3 |
| 109 | Making Type Inference Practical (10.7146/dpb.v21i385.6618) | References ORCID License | 45.15 | 3 |
| 110 | Efficient Inference of Partial Types (10.7146/dpb.v21i394.6629) | References ORCID License | 45.15 | 3 |
| 111 | Progress measures, immediate determinacy, and a subset const… (10.7146/dpb.v21i430.7953) | References ORCID License | 45.15 | 3 |
| 112 | Scenarios as springboards in design of CSCW (10.7146/dpb.v23i488.6982) | References ORCID License | 45.15 | 3 |
| 113 | Users and Computers - A Contextual Approach to Design of Com… (10.7146/dpb.v25i507.7036) | References ORCID License | 45.15 | 3 |
| 114 | Plans as Situated Action: An Activity Theory Approach to Wor… (10.7146/dpb.v26i525.7054) | References ORCID License | 45.15 | 3 |
| 115 | I Show You How I Like You: Human-Robot Interaction through E… (10.7146/dpb.v29i544.7078) | References ORCID License | 45.15 | 3 |
| 116 | Combining Predictors (10.7146/dpb.v29i550.7203) | References ORCID License | 45.15 | 3 |
| 117 | Mathematical Models for Cellular Organisms (10.7146/dpb.v2i12.6427) | References ORCID License | 45.15 | 3 |
| 118 | The Significance of Microprogramming (10.7146/dpb.v2i16.6435) | References ORCID License | 45.15 | 3 |
| 119 | Third Workshop and Tutorial on Practical Use of Coloured Pet… (10.7146/dpb.v30i554.7111) | References ORCID License | 45.15 | 3 |
| 120 | The Symmetry Method for Coloured Petri Nets (10.7146/dpb.v31i564.7121) | References ORCID License | 45.15 | 3 |
| 121 | On Extentions of Algol-like Languages (10.7146/dpb.v3i25.6444) | References ORCID License | 45.15 | 3 |
| 122 | A Variable Projection Method for Solving Separable Nonlinear… (10.7146/dpb.v3i27.6446) | References ORCID License | 45.15 | 3 |
| 123 | Circularity Testing of Attribute Grammars Requires Exponenti… (10.7146/dpb.v9i107.6522) | References ORCID License | 45.15 | 3 |
| 124 | K-Visit Attribute Grammars (10.7146/dpb.v9i121.6539) | References ORCID License | 45.15 | 3 |
| 125 | Systemudvikling og systemudviklingsmetode (10.7146/dpb.v10i136.6542) | References ORCID License | 35.78 | 2 |
| 126 | Control Flow Treatment in a Simple: Semantics-Directed Compi… (10.7146/dpb.v10i137.7411) | References ORCID License | 35.78 | 2 |
| 127 | High-Level Petri Nets (10.7146/dpb.v11i151.7425) | References ORCID License | 35.78 | 2 |
| 128 | A Proposition for a Theory of Testing: An Abstract Approach… (10.7146/dpb.v12i160.7434) | References ORCID License | 35.78 | 2 |
| 129 | Witness Hiding Proofs and Applications (10.7146/dpb.v13i477.6950) | References ORCID License | 35.78 | 2 |
| 130 | Symmetric Distributed Termination (10.7146/dpb.v14i189.7462) | References ORCID License | 35.78 | 2 |
| 131 | Four Different Perspectives on Human-Computer Interaction (10.7146/dpb.v14i203.7554) | References ORCID License | 35.78 | 2 |
| 132 | A Modal Logic for a Subclass of Event Structures (10.7146/dpb.v16i220.7571) | References ORCID License | 35.78 | 2 |
| 133 | A Distributed Spanning Tree Algorithm (10.7146/dpb.v16i226.7575) | References ORCID License | 35.78 | 2 |
| 134 | The Application of Claw Free Functions in Cryptography: - Un… (10.7146/dpb.v17i269.7622) | References ORCID License | 35.78 | 2 |
| 135 | An Introduction to Event Structures (10.7146/dpb.v18i278.6655) | References ORCID License | 35.78 | 2 |
| 136 | Hypertext in an Object-Oriented Programming Environment (10.7146/dpb.v18i280.6657) | References ORCID License | 35.78 | 2 |
| 137 | Discovering the Human Actors in Human Factors (10.7146/dpb.v18i290.6668) | References ORCID License | 35.78 | 2 |
| 138 | A Compositional Proof System on a Category of Labelled Trans… (10.7146/dpb.v18i294.6688) | References ORCID License | 35.78 | 2 |
| 139 | Types, Inheritance and Assignments: A collection of position… (10.7146/dpb.v20i357.6587) | References ORCID License | 35.78 | 2 |
| 140 | Parallel Construction of Irreducible Polynomials (10.7146/dpb.v20i358.7955) | References ORCID License | 35.78 | 2 |
| 141 | A New Characterization of Tree Medians with Applications to… (10.7146/dpb.v20i364.6595) | References ORCID License | 35.78 | 2 |
| 142 | ApplBuilder: An Object-Oriented Application Generator Suppor… (10.7146/dpb.v20i366.6597) | References ORCID License | 35.78 | 2 |
| 143 | Fitness Conditions for fixed Point Iteration (10.7146/dpb.v21i384.6617) | References ORCID License | 35.78 | 2 |
| 144 | Design of Information Systems: Things versus People (10.7146/dpb.v21i387.6620) | References ORCID License | 35.78 | 2 |
| 145 | Towards a Modular Analysis of Coloured Petri Nets (10.7146/dpb.v21i391.6626) | References ORCID License | 35.78 | 2 |
| 146 | Part Objects and Their Location (10.7146/dpb.v21i406.6640) | References ORCID License | 35.78 | 2 |
| 147 | From CML to process Algebras (10.7146/dpb.v22i433.6750) | References ORCID License | 35.78 | 2 |
| 148 | Completeness Results for Linear Logic on Petri Nets (10.7146/dpb.v22i435.6752) | References ORCID License | 35.78 | 2 |
| 149 | Communicative Action Notation with Shared Storage (10.7146/dpb.v22i452.6770) | References ORCID License | 35.78 | 2 |
| 150 | Complexity Results for 1-safe Nets (10.7146/dpb.v22i455.6773) | References ORCID License | 35.78 | 2 |
| 151 | Computing Near-Optimal Solutions to the Steiner Problem in a… (10.7146/dpb.v23i468.6941) | References ORCID License | 35.78 | 2 |
| 152 | Training of Neural Networks by means of Genetic Algorithms W… (10.7146/dpb.v23i486.6980) | References ORCID License | 35.78 | 2 |
| 153 | Termination analysis based on operational semantics (10.7146/dpb.v24i492.7020) | References ORCID License | 35.78 | 2 |
| 154 | Coloured Petri Nets - a Pragmatic Formal Method for Designin… (10.7146/dpb.v26i522.7051) | References ORCID License | 35.78 | 2 |
| 155 | Designing for the Dynamics of Cooperative Work Activities (10.7146/dpb.v27i536.7066) | References ORCID License | 35.78 | 2 |
| 156 | Ragnarok: An Architecture Based Software Development Environ… (10.7146/dpb.v28i540.7951) | References ORCID License | 35.78 | 2 |
| 157 | Prime Decompositions with Minimum Sum (10.7146/dpb.v2i19.6438) | References ORCID License | 35.78 | 2 |
| 158 | Facilitating the Practical Use of Coloured Petri Nets (10.7146/dpb.v31i562.7119) | References ORCID License | 35.78 | 2 |
| 159 | Performance Analysis using Coloured Petri Nets (10.7146/dpb.v31i563.7120) | References ORCID License | 35.78 | 2 |
| 160 | Programming with Hierarchical Maps (10.7146/dpb.v34i575.7215) | References ORCID License | 35.78 | 2 |
| 161 | Ninth Workshop and Tutorial on Practical Use of Coloured Pet… (10.7146/dpb.v37i588.7188) | References ORCID License | 35.78 | 2 |
| 162 | Nonterminals, Homomorphisms, and Codings in Different Variat… (10.7146/dpb.v3i21.6440) | References ORCID License | 35.78 | 2 |
| 163 | A PASCAL Environment Machine (P-code) (10.7146/dpb.v3i28.6447) | References ORCID License | 35.78 | 2 |
| 164 | Parallel Context-Free Languages (10.7146/dpb.v3i30.6449) | References ORCID License | 35.78 | 2 |
| 165 | The Mathematical Theory of L Systems (10.7146/dpb.v3i33.6453) | References ORCID License | 35.78 | 2 |
| 166 | Surface Tree Languages and Parallel Derivation Trees (10.7146/dpb.v4i44.6464) | References ORCID License | 35.78 | 2 |
| 167 | Use of Design Criteria for Intermediate Languages (10.7146/dpb.v5i59.6478) | References ORCID License | 35.78 | 2 |
| 168 | BETA Language Development: Survey Report, 1. November 1976 (10.7146/dpb.v6i65.6483) | References ORCID License | 35.78 | 2 |
| 169 | Delta Semantics Defined by Petri Nets (10.7146/dpb.v8i95.6511) | References ORCID License | 35.78 | 2 |
| 170 | A Constructive Approach to Compiler Correctness (10.7146/dpb.v9i118.6536) | References ORCID License | 35.78 | 2 |
| 171 | Using computation sequences to define evaluators for attribu… (10.7146/dpb.v10i139.7413) | References ORCID License | 22.58 | 1 |
| 172 | Specification and Design of Distributed Systems (10.7146/dpb.v10i141.7416) | References ORCID License | 22.58 | 1 |
| 173 | Early Experience from a Multi-Processor Project (10.7146/dpb.v11i142.7417) | References ORCID License | 22.58 | 1 |
| 174 | A Programming Language for the Inductive Sets, and Applicati… (10.7146/dpb.v11i143.7418) | References ORCID License | 22.58 | 1 |
| 175 | EPSILON: A System Description Language (10.7146/dpb.v11i150.7424) | References ORCID License | 22.58 | 1 |
| 176 | Program Models: Meaning and Proof (10.7146/dpb.v12i157.7431) | References ORCID License | 22.58 | 1 |
| 177 | Mapping Situations within a System Development Project.: An… (10.7146/dpb.v13i179.7454) | References ORCID License | 22.58 | 1 |
| 178 | How Readers Annotate Textbooks and Manuals (10.7146/dpb.v13i182.6546) | References ORCID License | 22.58 | 1 |
| 179 | Experiments with a Multiprocessor (10.7146/dpb.v13i185.7947) | References ORCID License | 22.58 | 1 |
| 180 | Logic Programming, Substitutions and Finite Computability (10.7146/dpb.v13i186.7459) | References ORCID License | 22.58 | 1 |
| 181 | Formalizations in Systems Development (10.7146/dpb.v14i193.7465) | References ORCID License | 22.58 | 1 |
| 182 | Problem-heap: A Paradigm for Multiprocessor Algorithms (10.7146/dpb.v14i200.7472) | References ORCID License | 22.58 | 1 |
| 183 | A Denotational Semantics for Logic Programming (10.7146/dpb.v14i201.7552) | References ORCID License | 22.58 | 1 |
| 184 | On Models and their Rôle in the Use of Computers (10.7146/dpb.v14i202.7580) | References ORCID License | 22.58 | 1 |
| 185 | Notions of Realizable Non-Sequential Processes (10.7146/dpb.v15i205.7556) | References ORCID License | 22.58 | 1 |
| 186 | The Potential Use of Action Semantics in Standards (10.7146/dpb.v15i206.7557) | References ORCID License | 22.58 | 1 |
| 187 | Free Blackboards and Anarchic Communities of Experts (10.7146/dpb.v15i207.7558) | References ORCID License | 22.58 | 1 |
| 188 | Inheritance Used to Factorize: Distributed Termination Detec… (10.7146/dpb.v15i210.7561) | References ORCID License | 22.58 | 1 |
| 189 | Block Structure and Object-Oriented Languages (10.7146/dpb.v16i230.7579) | References ORCID License | 22.58 | 1 |
| 190 | An Object-Oriented Metaprogramming System (10.7146/dpb.v16i236.7592) | References ORCID License | 22.58 | 1 |
| 191 | An Algebraic Model for Bounding Threshold Circuit Depth (10.7146/dpb.v17i239.7595) | References ORCID License | 22.58 | 1 |
| 192 | The Depth Efficacy of Unbounded: Characteristic Finite Field… (10.7146/dpb.v17i240.7596) | References ORCID License | 22.58 | 1 |
| 193 | Design and Professional Languages (10.7146/dpb.v17i244.7600) | References ORCID License | 22.58 | 1 |
| 194 | A Feeling for Systems Development Work: - Design of the ROSA… (10.7146/dpb.v17i246.7602) | References ORCID License | 22.58 | 1 |
| 195 | Transaction Supporting Systems and Organisational Change (10.7146/dpb.v17i248.7604) | References ORCID License | 22.58 | 1 |
| 196 | In Search of Cooperation: An Historical Analysis of Work Org… (10.7146/dpb.v17i256.7611) | References ORCID License | 22.58 | 1 |
| 197 | Unified Algebras and Action Semantics (10.7146/dpb.v18i272.7626) | References ORCID License | 22.58 | 1 |
| 198 | Semantic Domains and Denotational Semantics (10.7146/dpb.v18i276.7630) | References ORCID License | 22.58 | 1 |
| 199 | PB-277 Literal resolution: A Simple Proof of Resolution Comp… (10.7146/dpb.v18i277.6654) | References ORCID License | 22.58 | 1 |
| 200 | A Note on Model Cheking the Modal v-calculus (10.7146/dpb.v18i279.6656) | References ORCID License | 22.58 | 1 |
| 201 | DI-Domains as Information Systems* (10.7146/dpb.v18i282.6659) | References ORCID License | 22.58 | 1 |
| 202 | A Denotational Semantics af Inheritance and its Correctness (10.7146/dpb.v18i284.6662) | References ORCID License | 22.58 | 1 |
| 203 | Static Correctness of Hierarchical Procedures (10.7146/dpb.v18i295.6689) | References ORCID License | 22.58 | 1 |
| 204 | Reusability and Tailorability in the Mjølner BETA System (10.7146/dpb.v19i300.6694) | References ORCID License | 22.58 | 1 |
| 205 | Object oriented development: integrating analysis, design an… (10.7146/dpb.v19i302.6695) | References ORCID License | 22.58 | 1 |
| 206 | Graph Grammars for Knowledge Representation (10.7146/dpb.v19i304.6697) | References ORCID License | 22.58 | 1 |
| 207 | Partial orders and fully abstract models for concurrency (10.7146/dpb.v19i307.6555) | References ORCID License | 22.58 | 1 |
| 208 | True concurrency can be traced (10.7146/dpb.v19i308.6558) | References ORCID License | 22.58 | 1 |
| 209 | Types and automata (10.7146/dpb.v19i316.6706) | References ORCID License | 22.58 | 1 |
| 210 | Genericity and inheritance (10.7146/dpb.v19i318.6708) | References ORCID License | 22.58 | 1 |
| 211 | INTERFACE (10.7146/dpb.v19i319.6709) | References ORCID License | 22.58 | 1 |
| 212 | The development of interactive systems: bridging the gaps be… (10.7146/dpb.v19i320.6710) | References ORCID License | 22.58 | 1 |
| 213 | Systematic sources of sub-optimal interface design in large… (10.7146/dpb.v19i321.6711) | References ORCID License | 22.58 | 1 |
| 214 | Two analyses of CSCW and groupware (10.7146/dpb.v19i323.6713) | References ORCID License | 22.58 | 1 |
| 215 | On the compositional checking of validity (10.7146/dpb.v19i324.6714) | References ORCID License | 22.58 | 1 |
| 216 | A discrete logarithm blob for noninteractive XOR gates (10.7146/dpb.v19i327.6717) | References ORCID License | 22.58 | 1 |
| 217 | Compositional Characterization of Observable Program Propert… (10.7146/dpb.v19i328.6718) | References ORCID License | 22.58 | 1 |
| 218 | Object-Oriented Type Inference (10.7146/dpb.v20i345.6575) | References ORCID License | 22.58 | 1 |
| 219 | Design, Analysis and Reasoning about Tools: Abstracts from t… (10.7146/dpb.v20i367.6598) | References ORCID License | 22.58 | 1 |
| 220 | On-Line Reevaluation of Functions (10.7146/dpb.v21i380.6612) | References ORCID License | 22.58 | 1 |
| 221 | A Provably Correct Compiler Generator (10.7146/dpb.v21i382.6614) | References ORCID License | 22.58 | 1 |
| 222 | An Automatically Generated and Provably Correct Compiler for… (10.7146/dpb.v21i383.6615) | References ORCID License | 22.58 | 1 |
| 223 | Safety Analysis versus Type Inference (10.7146/dpb.v21i389.6624) | References ORCID License | 22.58 | 1 |
| 224 | Binding Time Analysis: Abstract Interpretation vs. Type Infe… (10.7146/dpb.v21i393.6628) | References ORCID License | 22.58 | 1 |
| 225 | Transition System Models for Concurrency (10.7146/dpb.v21i399.6633) | References ORCID License | 22.58 | 1 |
| 226 | Cryptanalysis of LOKI (10.7146/dpb.v21i403.6637) | References ORCID License | 22.58 | 1 |
| 227 | Safety Analysis versus Type Inference for Partial Types (10.7146/dpb.v21i404.6638) | References ORCID License | 22.58 | 1 |
| 228 | The Operational Semantics of Action Notation (10.7146/dpb.v21i418.6731) | References ORCID License | 22.58 | 1 |
| 229 | Length of Maximal Common Subsequences (10.7146/dpb.v21i426.6740) | References ORCID License | 22.58 | 1 |
| 230 | Performance of an Occam/transputer implementation of interva… (10.7146/dpb.v22i451.6769) | References ORCID License | 22.58 | 1 |
| 231 | Rewriting Extended Regular Expressions (10.7146/dpb.v22i461.6934) | References ORCID License | 22.58 | 1 |
| 232 | Tailorable Systems: Design, Support, Techniques, and Applica… (10.7146/dpb.v23i466.7950) | References ORCID License | 22.58 | 1 |
| 233 | Bisimulations, Games and Logic (10.7146/dpb.v23i467.6940) | References ORCID License | 22.58 | 1 |
| 234 | Verification of Pointers (10.7146/dpb.v23i470.6943) | References ORCID License | 22.58 | 1 |
| 235 | Provable Security Against a Differential Attack (10.7146/dpb.v23i473.6946) | References ORCID License | 22.58 | 1 |
| 236 | Patterns, Graphs and DNA (10.7146/dpb.v23i484.6977) | References ORCID License | 22.58 | 1 |
| 237 | Adaptive Approaches Towards Better GA Performance in Dynamic… (10.7146/dpb.v23i487.6981) | References ORCID License | 22.58 | 1 |
| 238 | A conceptual toolbox for designing CSCW applications (10.7146/dpb.v23i489.6983) | References ORCID License | 22.58 | 1 |
| 239 | Automated Design of Neural Network Architecture for Classifi… (10.7146/dpb.v24i500.7029) | References ORCID License | 22.58 | 1 |
| 240 | Polymorphic Subtyping for Effect Analysis: The Semantics (10.7146/dpb.v25i502.7031) | References ORCID License | 22.58 | 1 |
| 241 | Dynamically Extensible Objects in a Class-Based Language (10.7146/dpb.v25i504.7033) | References ORCID License | 22.58 | 1 |
| 242 | MetaBETA: Model and Implementation (10.7146/dpb.v25i506.7035) | References ORCID License | 22.58 | 1 |
| 243 | Design/CPN - A Computer Tool for Coloured Petri Nets (10.7146/dpb.v26i511.7040) | References ORCID License | 22.58 | 1 |
| 244 | Analysing Coloured Petri Nets by the Occurrence Graph Method (10.7146/dpb.v26i517.7046) | References ORCID License | 22.58 | 1 |
| 245 | Parametrisation of Coloured Petri Nets (10.7146/dpb.v26i521.7050) | References ORCID License | 22.58 | 1 |
| 246 | Behaviour Analysis for Validating Communication Patterns (10.7146/dpb.v26i527.7056) | References ORCID License | 22.58 | 1 |
| 247 | Polymorphic Subtyping for Side Effects (10.7146/dpb.v26i529.7058) | References ORCID License | 22.58 | 1 |
| 248 | Digital systems synthesis from Petri net descriptions (10.7146/dpb.v27i530.7059) | References ORCID License | 22.58 | 1 |
| 249 | Workshop on Practical Use of Coloured Petri Nets and Design/… (10.7146/dpb.v27i532.7649) | References ORCID License | 22.58 | 1 |
| 250 | Practical Use of High-level Petri Nets (10.7146/dpb.v29i547.7081) | References ORCID License | 22.58 | 1 |
| 251 | Software Engineering and Petri Nets (10.7146/dpb.v29i548.7196) | References ORCID License | 22.58 | 1 |
| 252 | Automatic Program Specialization for Java (10.7146/dpb.v29i551.7104) | References ORCID License | 22.58 | 1 |
| 253 | Partial Evaluation for Class-Based Object-Oriented Languages (10.7146/dpb.v29i552.7109) | References ORCID License | 22.58 | 1 |
| 254 | Proceedings of The First Danish Human-Computer Interaction R… (10.7146/dpb.v30i555.7112) | References ORCID License | 22.58 | 1 |
| 255 | Safe Dynamic Multiple Inheritance (10.7146/dpb.v31i556.7113) | References ORCID License | 22.58 | 1 |
| 256 | Method Mixins (10.7146/dpb.v31i557.7114) | References ORCID License | 22.58 | 1 |
| 257 | Designing to support Mobile Work with Mobile Devices (10.7146/dpb.v31i565.7122) | References ORCID License | 22.58 | 1 |
| 258 | Fifth Workshop and Tutorial on Practical Use of Coloured Pet… (10.7146/dpb.v33i570.7200) | References ORCID License | 22.58 | 1 |
| 259 | Proceedings of the First International Workshop on Activity… (10.7146/dpb.v33i574.7199) | References ORCID License | 22.58 | 1 |
| 260 | Vehicular Mobility Prediction by Bayesian Networks (10.7146/dpb.v36i582.7220) | References ORCID License | 22.58 | 1 |
| 261 | Eighth Workshop and Tutorial on Practical Use of Coloured Pe… (10.7146/dpb.v36i584.7197) | References ORCID License | 22.58 | 1 |
| 262 | Optimal Resilient Dynamic Dictionaries⋆ (10.7146/dpb.v36i585.7222) | References ORCID License | 22.58 | 1 |
| 263 | Analysis of Numerical Solution of the Stefan Problem (10.7146/dpb.v3i24.6443) | References ORCID License | 22.58 | 1 |
| 264 | Methods for Updating the Singular Value Decomposition (10.7146/dpb.v3i26.6445) | References ORCID License | 22.58 | 1 |
| 265 | A Description of the RIKKE 1 System (10.7146/dpb.v3i29.6448) | References ORCID License | 22.58 | 1 |
| 266 | EOL and ETOL Systems with Control Devices (10.7146/dpb.v3i37.6458) | References ORCID License | 22.58 | 1 |
| 267 | A Short Description of a Translator Writing System: (BOBS-Sy… (10.7146/dpb.v3i41.6462) | References ORCID License | 22.58 | 1 |
| 268 | ECSCW 2013 Adjunct Proceedings The 13th European Conference… (10.7146/dpb.v40i596.13587) | References ORCID License | 22.58 | 1 |
| 269 | Context-Free Grammars with Graph Controlled Tables (10.7146/dpb.v4i43.6463) | References ORCID License | 22.58 | 1 |
| 270 | The Emulated OCODE Machine for the Support of BCPL (10.7146/dpb.v4i45.7692) | References ORCID License | 22.58 | 1 |
| 271 | Top-down tree transducers with regular look-ahead (10.7146/dpb.v4i49.6468) | References ORCID License | 22.58 | 1 |
| 272 | A Description of the MATHILDA Processor (10.7146/dpb.v4i52.6471) | References ORCID License | 22.58 | 1 |
| 273 | A Non-technical Description of the EGG Real-Time Sound Synth… (10.7146/dpb.v5i56.6475) | References ORCID License | 22.58 | 1 |
| 274 | Implementation of the Delta Language Interrupt Concept withi… (10.7146/dpb.v5i58.6477) | References ORCID License | 22.58 | 1 |
| 275 | A Multi-Emulation System (10.7146/dpb.v5i62.6481) | References ORCID License | 22.58 | 1 |
| 276 | Upper Bounds on the Complexity of Some Problems Concerning L… (10.7146/dpb.v6i69.6487) | References ORCID License | 22.58 | 1 |
| 277 | Lower Bounds on the Complexity of Some Problems: Concerning… (10.7146/dpb.v6i70.6488) | References ORCID License | 22.58 | 1 |
| 278 | On Good ET0L Forms (10.7146/dpb.v6i74.6491) | References ORCID License | 22.58 | 1 |
| 279 | Blindfold Games are Harder than Games with Perfect Informati… (10.7146/dpb.v6i80.6496) | References ORCID License | 22.58 | 1 |
| 280 | Data Types as Functions (10.7146/dpb.v7i89.6504) | References ORCID License | 22.58 | 1 |
| 281 | The Copying Power of One-State Tree Transducers (10.7146/dpb.v7i91.6507) | References ORCID License | 22.58 | 1 |
| 282 | A Comparison of Monitors and Message Passing (10.7146/dpb.v7i92.6508) | References ORCID License | 22.58 | 1 |
| 283 | Methods for LR(k) Testing: (Informative Diagnostics on LALR(… (10.7146/dpb.v8i106.6521) | References ORCID License | 22.58 | 1 |
| 284 | BETA language Proposal as of April 1979 (10.7146/dpb.v8i98.6681) | References ORCID License | 22.58 | 1 |
| 285 | A General Algorithm for Solving a Set of Recursive Equations… (10.7146/dpb.v9i110.6526) | References ORCID License | 22.58 | 1 |
| 286 | On Solving Some Large Linear Problems: By Direct Methods (10.7146/dpb.v9i111.6529) | References ORCID License | 22.58 | 1 |
| 287 | Modified Diagonally Implicit Runge-Kutta Methods (10.7146/dpb.v9i112.6530) | References ORCID License | 22.58 | 1 |
| 288 | Direct Methods for Sparse Matrices (10.7146/dpb.v9i123.6541) | References ORCID License | 22.58 | 1 |
| 289 | Absolute stability properties of the explicit linear 3-step… (10.7146/dpb.v9i124.7693) | References ORCID License | 22.58 | 1 |