| 6376 | Object oriented development: integrating analysis, design an… (10.7146/dpb.v19i302.6695) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6377 | Graph Grammars for Knowledge Representation (10.7146/dpb.v19i304.6697) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6378 | Partial orders and fully abstract models for concurrency (10.7146/dpb.v19i307.6555) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6379 | True concurrency can be traced (10.7146/dpb.v19i308.6558) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6380 | Types and automata (10.7146/dpb.v19i316.6706) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6381 | Genericity and inheritance (10.7146/dpb.v19i318.6708) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6382 | INTERFACE (10.7146/dpb.v19i319.6709) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6383 | The development of interactive systems: bridging the gaps be… (10.7146/dpb.v19i320.6710) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6384 | Systematic sources of sub-optimal interface design in large… (10.7146/dpb.v19i321.6711) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6385 | Two analyses of CSCW and groupware (10.7146/dpb.v19i323.6713) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6386 | On the compositional checking of validity (10.7146/dpb.v19i324.6714) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6387 | A discrete logarithm blob for noninteractive XOR gates (10.7146/dpb.v19i327.6717) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6388 | Compositional Characterization of Observable Program Propert… (10.7146/dpb.v19i328.6718) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6389 | Object-Oriented Type Inference (10.7146/dpb.v20i345.6575) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6390 | Design, Analysis and Reasoning about Tools: Abstracts from t… (10.7146/dpb.v20i367.6598) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6391 | On-Line Reevaluation of Functions (10.7146/dpb.v21i380.6612) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6392 | A Provably Correct Compiler Generator (10.7146/dpb.v21i382.6614) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6393 | An Automatically Generated and Provably Correct Compiler for… (10.7146/dpb.v21i383.6615) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6394 | Safety Analysis versus Type Inference (10.7146/dpb.v21i389.6624) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6395 | Binding Time Analysis: Abstract Interpretation vs. Type Infe… (10.7146/dpb.v21i393.6628) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6396 | Transition System Models for Concurrency (10.7146/dpb.v21i399.6633) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6397 | Cryptanalysis of LOKI (10.7146/dpb.v21i403.6637) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6398 | Safety Analysis versus Type Inference for Partial Types (10.7146/dpb.v21i404.6638) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6399 | The Operational Semantics of Action Notation (10.7146/dpb.v21i418.6731) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6400 | Length of Maximal Common Subsequences (10.7146/dpb.v21i426.6740) | References ORCID License | 22.58 | 1 | 2245-9316 |