-
DAIMI Report Series No. 492 (1995): PB-492 Termination analysis based on operational semantics - Articles
Termination analysis based on operational semantics
Abstract PDF -
DAIMI Report Series No. 334 (1990): PB-334 Activity Theory as a Challenge to Systems Design - Articles
Activity Theory as a Challenge to Systems Design
Abstract PDF -
DAIMI Report Series No. 493 (1995): PB-493 Particpants' Proceedings on the Workshop: Types for Program Analysis - Articles
Particpants' Proceedings on the Workshop: Types for Program Analysis
Abstract PDF -
DAIMI Report Series No. 335 (1990): PB-335 The Complexity of Malign Ensembles - Articles
The Complexity of Malign Ensembles
Abstract PDF -
DAIMI Report Series No. 494 (1995): PB-494 Type-Directed Partial Evaluation - Articles
Type-Directed Partial Evaluation
Abstract PDF -
DAIMI Report Series No. 495 (1995): PB-495 Electronic Payments of Small Amounts - Articles
Electronic Payments of Small Amounts
Abstract PDF -
DAIMI Report Series No. 336 (1990): PB-336 Type Inference with Inequalities - Articles
Type Inference with Inequalities
Abstract PDF -
DAIMI Report Series No. 496 (1995): PB-496 Constraints for Polymorphic Behaviours of Concurrent ML - Articles
Constraints for Polymorphic Behaviours of Concurrent ML
Abstract PDF -
DAIMI Report Series No. 224 (1987): PB-224 Through the Interface - a Human Activity Approach to User Interface Design - Articles
Through the Interface - a Human Activity Approach to User Interface Design
Abstract PDF -
DAIMI Report Series No. 497 (1995): PB-497 Type and Behaviour Reconstruction for Higher-Order Concurrent Programs - Articles
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs
Abstract PDF -
DAIMI Report Series No. 498 (1995): PB-498 Annotated Type Systems for Program Analysis - Articles
Annotated Type Systems for Program Analysis
Abstract PDF -
DAIMI Report Series No. 499 (1995): PB-499 Exponentiation, Modular Multiplication and VLSI Implementation of High-Speed RSA Cryptography - Articles
Exponentiation, Modular Multiplication and VLSI Implementation of High-Speed RSA Cryptography
Abstract PDF -
DAIMI Report Series No. 500 (1995): PB-500 Automated Design of Neural Network Architecture for Classification - Articles
Automated Design of Neural Network Architecture for Classification
Abstract PDF -
DAIMI Report Series No. 131 (1981): PB-131 Semantic Foundations of Data Flow Analysis - Articles
Semantic Foundations of Data Flow Analysis
Abstract PDF -
DAIMI Report Series No. 501 (1996): PB-501 Polymorphic Subtyping for Effect Analysis: The Integration - Articles
Polymorphic Subtyping for Effect Analysis: The Integration
Abstract PDF -
DAIMI Report Series No. 31 (1974): PB-31 The Design of a Programmable Computer: A Qualitative and Quantitative Analysis - Articles
The Design of a Programmable Computer: A Qualitative and Quantitative Analysis
Abstract PDF -
DAIMI Report Series No. 337 (1990): PB-337 Using Transformations in the Implementation of Higher-Order Functions - Articles
Using Transformations in the Implementation of Higher-Order Functions
Abstract PDF -
DAIMI Report Series No. 502 (1996): PB-502 Polymorphic Subtyping for Effect Analysis: The Semantics - Articles
Polymorphic Subtyping for Effect Analysis: The Semantics
Abstract PDF -
DAIMI Report Series No. 222 (1987): PB-222 Transformations and Abstract Presentations in a Language Development Environment - Articles
Transformations and Abstract Presentations in a Language Development Environment
Abstract PDF -
DAIMI Report Series No. 202 (1985): PB-202 On Models and their Role in the Use of Computers - Articles
On Models and their Rôle in the Use of Computers
Abstract PDF -
DAIMI Report Series No. 503 (1996): PB-503 Polymorphic Subtyping for Effect Analysis: the Algroithm - Articles
Polymorphic Subtyping for Effect Analysis: the Algroithm
Abstract PDF -
DAIMI Report Series No. 230 (1987): PB-230 Block Structure and Object-Oriented Languages - Articles
Block Structure and Object-Oriented Languages
Abstract PDF -
DAIMI Report Series No. 338 (1990): PB-338 Coloured Petri Nets: A High Level Language for System Design and Analysis - Articles
Coloured Petri Nets: A High Level Language for System Design and Analysis
Abstract PDF -
DAIMI Report Series No. 504 (1996): PB-504 Dynamically Extensible Objects in a Class-Based Language - Articles
Dynamically Extensible Objects in a Class-Based Language
Abstract PDF -
DAIMI Report Series No. 339 (1990): PB-339 A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning - Articles
A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning
Abstract PDF -
DAIMI Report Series No. 505 (1996): PB-505 Dynamic Reflection for a Statically Typed Language - Articles
Dynamic Reflection for a Statically Typed Language
Abstract PDF -
DAIMI Report Series No. 506 (1996): PB-506 MetaBETA: Model and Implementation - Articles
MetaBETA: Model and Implementation
Abstract PDF -
DAIMI Report Series No. 507 (1996): PB-507 Users and Computers - A Contextual Approach to Design of Computer Artifacts - Articles
Users and Computers - A Contextual Approach to Design of Computer Artifacts
Abstract PDF -
DAIMI Report Series No. 508 (1996): PB-508 Tools for Stored Interactive Multimedia - Articles
Tools for Stored Interactive Multimedia
Abstract PDF -
DAIMI Report Series No. 509 (1996): PB-509 Ragnarok - Articles
Ragnarok
Abstract PDF -
DAIMI Report Series No. 510 (1996): PB-510 Multi-Level Languages: a Descriptive Framework - Articles
Multi-Level Languages: a Descriptive Framework
Abstract PDF -
DAIMI Report Series No. 341 (1990): PB-341 A Unified Type System for Object-Oriented Programming - Articles
A Unified Type System for Object-Oriented Programming
Abstract PDF -
DAIMI Report Series No. 511 (1997): PB-511 Design/CPN - A Computer Tool for Coloured Petri Nets - Articles
Design/CPN - A Computer Tool for Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 6 (1972): PB-6 Virtual Programming - Articles
Virtual Programming
Abstract PDF -
DAIMI Report Series No. 229 (1987): PB-229 The BETA Programming Language - Articles
The BETA Programming Language
Abstract PDF -
DAIMI Report Series No. 512 (1997): PB-512 Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and... - Articles
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries
Abstract PDF -
DAIMI Report Series No. 342 (1990): PB-342 What is Type-Safe Code Reuse? - Articles
What is Type-Safe Code Reuse?
Abstract PDF -
DAIMI Report Series No. 513 (1997): PB-513 Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets - Articles
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 32 (1974): PB-32 An Integrated Approach to the Design of Fault Tolerant Computing Systems - Articles
An Integrated Approach to the Design of Fault Tolerant Computing Systems
Abstract PDF -
DAIMI Report Series No. 514 (1997): PB-514 Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets - Articles
Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 526 (1997): PB-526 Position Papers from The 7th Workshop for PhD Students in Object-Oriented Systems - Articles
Position Papers from The 7th Workshop for PhD Students in Object-Oriented Systems
Abstract PDF -
DAIMI Report Series No. 515 (1997): PB-515 Verification by State Spaces with Equivalence Classes - Articles
Verification by State Spaces with Equivalence Classes
Abstract PDF -
DAIMI Report Series No. 33 (1974): PB-33 The Mathematical Theory of L Systems - Articles
The Mathematical Theory of L Systems
Abstract PDF -
DAIMI Report Series No. 516 (1997): PB-516 Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method - Articles
Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method
Abstract PDF -
DAIMI Report Series No. 517 (1997): PB-517 Analysing Coloured Petri Nets by the Occurrence Graph Method - Articles
Analysing Coloured Petri Nets by the Occurrence Graph Method
Abstract PDF -
DAIMI Report Series No. 518 (1997): PB-518 Modelling the Work Flow of a Nuclear Waste Management Program - Articles
Modelling the Work Flow of a Nuclear Waste Management Program
Abstract PDF -
DAIMI Report Series No. 519 (1997): PB-519 Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components - Articles
Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components
Abstract PDF -
DAIMI Report Series No. 7 (1972): PB-7 Fibonaccifrugter - Articles
Fibonaccifrugter
Abstract PDF -
DAIMI Report Series No. 228 (1987): PB-228 Self-Timed Iteration - Articles
Self-Timed Iteration
Abstract PDF -
DAIMI Report Series No. 520 (1997): PB-520 Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course - Articles
Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course
Abstract PDF -
DAIMI Report Series No. 344 (1991): PB-344 What is an Efficient Implementation of the lambda-calculus? - Articles
What is an Efficient Implementation of the lambda-calculus?
Abstract PDF -
DAIMI Report Series No. 345 (1991): PB-345 Object-Oriented Type Inference - Articles
Object-Oriented Type Inference
Abstract PDF -
DAIMI Report Series No. 521 (1997): PB-521 Parametrisation of Coloured Petri Nets - Articles
Parametrisation of Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 522 (1997): PB-522 Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems - Articles
Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems
Abstract PDF -
DAIMI Report Series No. 523 (1997): PB-523 Organisational Prototyping: Adopting CSCW Applications in Organisations - Articles
Organisational Prototyping: Adopting CSCW Applications in Organisations
Abstract PDF -
DAIMI Report Series No. 524 (1997): PB-524 Modular State Space Analysis of Coloured Petri Nets - Articles
Modular State Space Analysis of Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 34 (1974): PB-34 An overview of the MATHILDA system - Articles
An overview of the MATHILDA system
Abstract PDF -
DAIMI Report Series No. 525 (1997): PB-525 Plans as Situated Action: An Activity Theory Approach to Workflow Systems - Articles
Plans as Situated Action: An Activity Theory Approach to Workflow Systems
Abstract PDF -
DAIMI Report Series No. 227 (1987): PB-227 The Computational Efficacy of Finite Field Arithmetic - Articles
The Computational Efficacy of Finite Field Arithmetic
Abstract PDF -
DAIMI Report Series No. 226 (1987): PB-226 A Distributed Spanning Tree Algorithm - Articles
A Distributed Spanning Tree Algorithm
Abstract PDF -
DAIMI Report Series No. 527 (1997): PB-527 Behaviour Analysis for Validating Communication Patterns - Articles
Behaviour Analysis for Validating Communication Patterns
Abstract PDF -
DAIMI Report Series No. 124 (1980): PB-124 Absolute stability properties of the explicit linear 3-step formulae - Articles
Absolute stability properties of the explicit linear 3-step formulae
Abstract PDF -
DAIMI Report Series No. 346 (1991): PB-346 Elementary Transition Systems and Refinement - Articles
Elementary Transition Systems and Refinement
Abstract PDF -
DAIMI Report Series No. 528 (1997): PB-528 Behaviour Analysis and Safety Conditions: a Case Study in CML - Articles
Behaviour Analysis and Safety Conditions: a Case Study in CML
Abstract PDF -
DAIMI Report Series No. 1 (1972): PB-1 Garden of Eden-konfigurationer i cellulære automater - Articles
Garden of Eden-konfigurationer i cellulære automater
Abstract PDF -
DAIMI Report Series No. 529 (1997): PB-529 Polymorphic Subtyping for Side Effects - Articles
Polymorphic Subtyping for Side Effects
Abstract PDF -
DAIMI Report Series No. 347 (1991): PB-347 A Modal Characterisation of Distributed Bisimulation - Articles
A Modal Characterisation of Distributed Bisimulation
Abstract PDF -
DAIMI Report Series No. 225 (1987): PB-225 Vurdering af systemudviklingsprojekter: - sammenfatning - Articles
Vurdering af systemudviklingsprojekter: - sammenfatning
Abstract PDF -
DAIMI Report Series No. 530 (1998): PB-530 Digital Systems Synthesis from Petri Net Descriptions - Articles
Digital systems synthesis from Petri net descriptions
Abstract PDF -
DAIMI Report Series No. 531 (1998): PB-531 Elements of a Theory of Design Artefacts: a contribution to critical systems development research. PhD Thesis - Articles
Elements of a Theory of Design Artefacts: a contribution to critical systems development research. PhD Thesis.
Abstract PDF -
DAIMI Report Series No. 533 (1998): PB-533 Collaboration, Coordination and Computer Support: An Activity Theoretical Approach to the Design of Computer... - Articles
Collaboration, Coordination and Computer Support: An Activity Theoretical Approach to the Design of Computer Supported Cooperative Work. Ph.D. Thesis
Abstract PDF -
DAIMI Report Series No. 534 (1998): PB-534 The Error of the Crank-Nicolson Method for Linear Parabolic Equations with a Derivative Boundary Condition - Articles
The Error of the Crank-Nicolson Method for Linear Parabolic Equations with a Derivative Boundary Condition
Abstract PDF -
DAIMI Report Series No. 535 (1998): PB-535 Position Papers from the 8th Workshop for PhD Students in Object-Oriented Systems - Articles
Position Papers from the 8th Workshop for PhD Students in Object-Oriented Systems
Abstract PDF -
DAIMI Report Series No. 348 (1991): PB-348 Properties of Unfolding-based Meta-level Systems - Articles
Properties of Unfolding-based Meta-level Systems
Abstract PDF -
DAIMI Report Series No. 223 (1987): PB-223 Graphics and Their Grammars - Articles
Graphics and Their Grammars
Abstract PDF -
DAIMI Report Series No. 536 (1998): PB-536 Designing for the Dynamics of Cooperative Work Activities - Articles
Designing for the Dynamics of Cooperative Work Activities
Abstract PDF -
DAIMI Report Series No. 537 (1998): PB-537 Lanczos Bidiagonalization With Partial Reorthogonalization - Articles
Lanczos Bidiagonalization With Partial Reorthogonalization
Abstract PDF -
DAIMI Report Series No. 538 (1998): PB-538 Interprocedural Control Flow Analysis (Extended version) - Articles
Interprocedural Control Flow Analysis (Extended version)
Abstract PDF -
DAIMI Report Series No. 349 (1991): PB-349 Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version - Articles
Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version
Abstract PDF -
DAIMI Report Series No. 539 (1998): PB-539 Mediating Technical Platforms to Support the Development of Shared Work Practices - Articles
Mediating Technical Platforms to Support the Development of Shared Work Practices
Abstract PDF -
DAIMI Report Series No. 541 (1999): PB-541 Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN. - Articles
Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN.
Abstract PDF -
DAIMI Report Series No. 542 (1999): PB-542 Computer Applications as Mediators of Design and Use - Articles
Computer Applications as Mediators of Design and Use
Abstract PDF -
DAIMI Report Series No. 543 (2000): PB-543 Improved Question-Guided Stubborn Set Methods for State Properties - Articles
Improved Question-Guided Stubborn Set Methods for State Properties
Abstract PDF -
DAIMI Report Series No. 544 (2000): PB-544 I Show You How I Like You: Human-Robot Interaction through Emotional Expression and Tactile Stimulation - Articles
I Show You How I Like You: Human-Robot Interaction through Emotional Expression and Tactile Stimulation
Abstract PDF -
DAIMI Report Series No. 35 (1974): PB-35 Hyper-AFLs and ETOL Systems - Articles
Hyper-AFLs and ET0L Systems
Abstract PDF -
DAIMI Report Series No. 545 (2000): PB-545 Designing Emotions for Activity Selection - Articles
Designing Emotions for Activity Selection
Abstract PDF -
DAIMI Report Series No. 546 (2000): PB-546 State Space Methods for Coloured Petri Nets - Articles
State Space Methods for Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 547 (2000): PB-547 Practical Use of High-level Petri Nets - Articles
Practical Use of High-level Petri Nets
Abstract PDF -
DAIMI Report Series No. 420 (1992): PB-420 Local Computation of Simultaneous Fixed-Points - Articles
Local Computation of Simultaneous Fixed-Points
Abstract PDF -
DAIMI Report Series No. 551 (2000): PB-551 Automatic Program Specialization for Java - Articles
Automatic Program Specialization for Java
Abstract PDF -
DAIMI Report Series No. 45 (1975): PB-45 The Emulated OCODE Machine for the Support of BCPL - Articles
The Emulated OCODE Machine for the Support of BCPL
Abstract PDF -
DAIMI Report Series No. 552 (2000): PB-552 Partial Evaluation for Class-Based Object-Oriented Languages - Articles
Partial Evaluation for Class-Based Object-Oriented Languages
Abstract PDF -
DAIMI Report Series No. 553 (2001): PB-553 Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001 - Articles
Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001
Abstract PDF -
DAIMI Report Series No. 554 (2001): PB-554 Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29 - Articles
Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29-31, 2001
Abstract PDF -
DAIMI Report Series No. 555 (2001): PB-555 Proceedings of The First Danish Human-Computer Interaction Research Symposium, Aarhus, Denmark, 27. November 2001 - Articles
Proceedings of The First Danish Human-Computer Interaction Research Symposium, Aarhus, Denmark, 27. November 2001
Abstract PDF -
DAIMI Report Series No. 556 (2002): PB-556 Safe Dynamic Multiple Inheritance - Articles
Safe Dynamic Multiple Inheritance
Abstract PDF -
DAIMI Report Series No. 557 (2002): PB-557 Method Mixins - Articles
Method Mixins
Abstract PDF -
DAIMI Report Series No. 558 (2002): PB-558 Five Ways of Reducing the Crank-Nicolson Oscillations - Articles
Five Ways of Reducing the Crank-Nicolson Oscillations
Abstract PDF -
DAIMI Report Series No. 559 (2002): PB-559 Experimental Object-Oriented Modelling - Articles
Experimental Object-Oriented Modelling
Abstract PDF -
DAIMI Report Series No. 560 (2002): PB-560 Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
Abstract PDF -
DAIMI Report Series No. 561 (2002): PB-561 Second Workshop on Modelling of Objects, Components and Agents - Articles
Second Workshop on Modelling of Objects, Components and Agents
Abstract PDF -
DAIMI Report Series No. 562 (2002): PB-562 Facilitating the Practical Use of Coloured Petri Nets - Articles
Facilitating the Practical Use of Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 563 (2002): PB-563 Performance Analysis using Coloured Petri Nets - Articles
Performance Analysis using Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 564 (2002): PB-564 The Symmetry Method for Coloured Petri Nets - Articles
The Symmetry Method for Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 565 (2002): PB-565 Designing to support Mobile Work with Mobile Devices - Articles
Designing to support Mobile Work with Mobile Devices
Abstract PDF -
DAIMI Report Series No. 566 (2002): PB-566 Towards Unifying Inheritance and Automatic Program Specialization - Articles
Towards Unifying Inheritance and Automatic Program Specialization
Abstract PDF -
DAIMI Report Series No. 567 (2002): PB-567 Proceedings of the Second Program Visualization Workshop, 2002 - Articles
Proceedings of the Second Program Visualization Workshop, 2002
Abstract PDF -
DAIMI Report Series No. 568 (2003): PB-568 Designing for Learning in Use of Everyday Artefacts - Articles
Designing for Learning in Use of Everyday Artefacts
Abstract PDF -
DAIMI Report Series No. 350 (1991): PB-350 An Overview of the Mjølner BETA System - Articles
An Overview of the Mjølner BETA System
Abstract PDF -
DAIMI Report Series No. 569 (2004): PB-569 Declarative Specialization for Object-Oriented-Program Specialization - Articles
Declarative Specialization for Object-Oriented-Program Specialization
Abstract PDF -
DAIMI Report Series No. 571 (2004): PB-571 Third Workshop on Modelling of Objects, Components, and Agents - Articles
Third Workshop on Modelling of Objects, Components, and Agents
Abstract PDF -
DAIMI Report Series No. 78 (1977): PB-78 Concurrent Program Schemes and their Interpretations - Articles
Concurrent Program Schemes and their Interpretations
Abstract PDF -
DAIMI Report Series No. 221 (1987): PB-221 GIPSY: - a Grammar Based Interactive Processing System - Articles
GIPSY: - a Grammar Based Interactive Processing System
Abstract PDF -
DAIMI Report Series No. 572 (2004): PB-572 Aesthetic Approaches to Human-Computer Interaction - Articles
Aesthetic Approaches to Human-Computer Interaction
Abstract PDF -
DAIMI Report Series No. 573 (2004): PB-573 On the Application of Zone Flooding in a Traffic Warning System - Articles
On the Application of Zone Flooding in a Traffic Warning System
Abstract PDF -
DAIMI Report Series No. 351 (1991): PB-351 Real-Time Action - Articles
Real-Time Action
Abstract PDF -
DAIMI Report Series No. 220 (1987): PB-220 A Modal Logic for a Subclass of Event Structures - Articles
A Modal Logic for a Subclass of Event Structures
Abstract PDF -
DAIMI Report Series No. 580 (2006): PB-580 Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium. - Articles
Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium.
Abstract PDF -
DAIMI Report Series No. 219 (1987): PB-219 Synchronized Transitions - Articles
Synchronized Transitions
Abstract PDF -
DAIMI Report Series No. 218 (1986): PB-218 Evaluation of System Development Projects - Articles
Evaluation of System Development Projects
Abstract PDF -
DAIMI Report Series No. 352 (1991): PB-352 A Model for Real-Time Systems - Articles
A Model for Real-Time Systems
Abstract PDF -
DAIMI Report Series No. 217 (1986): PB-217 The Use of Action Semantics - Articles
The Use of Action Semantics
Abstract PDF -
DAIMI Report Series No. 595 (2011): PB-595 TinyDebug: Multi-Purpose Passive Debugging Framework for Embedded Wireless Systems - Articles
TinyDebug: Multi-Purpose Passive Debugging Framework for Embedded Wireless Systems
Abstract PDF -
DAIMI Report Series No. 594 (2011): PB-594 ECSCW 2011 Conference Supplement: European Conference on Computer-Supported Cooperative Work - Articles
ECSCW 2011 Conference Supplement: European Conference on Computer-Supported Cooperative Work Aarhus, 24.-28. September 2011
Abstract PDF -
DAIMI Report Series No. 353 (1991): PB-353 Transition Systems, Event Structures and Unfoldings - Articles
Transition Systems, Event Structures and Unfoldings
Abstract PDF -
DAIMI Report Series No. 216 (1986): PB-216 Project Evaluation - Setting the Problem - Articles
Project Evaluation - Setting the Problem
Abstract PDF -
DAIMI Report Series No. 215 (1986): PB-215 Programmeringssprog - Begreber og undtagelser: (Resumé) - Articles
Programmeringssprog: Begreber og undtagelser: (Resumé)
Abstract PDF -
DAIMI Report Series No. 593 (2010): PB-593 Proceedings of Therapeutic Strategies: A Challenge for User Involvement in Design - Articles
Proceedings of Therapeutic Strategies A Challenge for User Involvement in Design Workshop in conjunction with NORDICHI 2010 17. October 2010, Reykjavik, Iceland
Abstract PDF -
DAIMI Report Series No. 214 (1986): PB-214 Static Exception Handling in Beta - Articles
Static Exception Handling in Beta
Abstract PDF -
DAIMI Report Series No. 592 (2010): PB-592 Wii i Trige: Et projekt om Wii, motivation og ældres træning - Articles
Wii i Trige Et projekt om Wii, motivation og ældres træning.
Abstract PDF -
DAIMI Report Series No. 213 (1986): PB-213 Viden om systemudvikling - Articles
Viden om systemudvikling
Abstract PDF -
DAIMI Report Series No. 212 (1986): PB-212 Nedarvning: (Resumé) - Articles
Nedarving: (Resumé)
Abstract PDF -
DAIMI Report Series No. 42 (1974): PB-42 Description of a model of a single helix pomatia brain neuron and an associated neurophysiological experiment - Articles
Description of a model of a single helix pomatia brain neuron and an associated neurophysiological experiment
Abstract PDF -
DAIMI Report Series No. 211 (1986): PB-211 Time Representation and Use in Expert Systems - Articles
Time Representation and Use in Expert Systems
Abstract PDF -
DAIMI Report Series No. 210 (1986): PB-210 Inheritance Used to Factorize Distributed Termination Detection Algorithms - Articles
Inheritance Used to Factorize: Distributed Termination Detection Algorithms
Abstract PDF -
DAIMI Report Series No. 209 (1986): PB-209 Multiple Inheritance, a Structuring Mechanism for Data, Processes, and Procedures - Articles
Multiple Inheritance, a Structuring Mechanism for Data, Processes and Procedures
Abstract PDF -
DAIMI Report Series No. 591 (2009): PB-591 DHRS 2009 Proceedings of the Ninth Danish Human-Computer Interaction Research Symposium - Articles
DHRS 2009 Proceedings of the Ninth Danish Human-Computer Interaction Research Symposium.
Abstract PDF -
DAIMI Report Series No. 36 (1974): PB-36 Developmental Systems with Fragmentation - Articles
Developmental Systems with Fragmentation
Abstract PDF -
DAIMI Report Series No. 590 (2009): PB-590 Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009
Abstract PDF -
DAIMI Report Series No. 588 (2008): PB-588 Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October - Articles
Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 20-22, 2008
Abstract PDF -
DAIMI Report Series No. 586 (2008): PB-586 Process Grammar and Process History for 2D Objects - Articles
Process grammar and process history for 2D objects
Abstract PDF -
DAIMI Report Series No. 354 (1991): PB-354 Language Evolution and Human-Computer Interaction - Articles
Language Evolution and Human-Computer Interaction
Abstract PDF -
DAIMI Report Series No. 8 (1973): PB-8 On Decomposition of Stochastic Finite-State Systems - Articles
On Decomposition of Stochastic Finite-State Systems
Abstract PDF -
DAIMI Report Series No. 548 (2000): PB-548 Software Engineering and Petri Nets - Articles
Software Engineering and Petri Nets
Abstract PDF -
DAIMI Report Series No. 584 (2007): PB-584 Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October - Articles
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007
Abstract PDF -
DAIMI Report Series No. 576 (2005): PB-576 Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005
Abstract PDF -
DAIMI Report Series No. 208 (1986): PB-208 A Calculus of Communicating Systems with Label Passing - Articles
A Calculus of Communicating Systems with Label Passing
Abstract PDF -
DAIMI Report Series No. 355 (1991): PB-355 Static Typing for Object-Oriented Programming - Articles
Static Typing for Object-Oriented Programming
Abstract PDF -
DAIMI Report Series No. 574 (2004): PB-574 Proceedings of the First International Workshop on Activity Theory Based Practical Methods for IT-Design - Articles
Proceedings of the First International Workshop on Activity Theory Based Practical Methods for IT-Design, Copenhagen, Denmark, September 2-3, 2004
Abstract PDF -
DAIMI Report Series No. 570 (2004): PB-570 Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 8-11, 2004
Abstract PDF -
DAIMI Report Series No. 550 (2000): PB-550 Combining Predictors - Articles
Combining Predictors
Abstract PDF -
DAIMI Report Series No. 575 (2005): PB-575 Programming with hierarchical maps - Articles
Programming with Hierarchical Maps
Abstract PDF -
DAIMI Report Series No. 37 (1974): PB-37 EOL and ETOL Systems with Control Devices - Articles
EOL and ETOL Systems with Control Devices
Abstract PDF -
DAIMI Report Series No. 356 (1991): PB-356 Distributed CCS - Articles
Distributed CCS
Abstract PDF -
DAIMI Report Series No. 38 (1974): PB-38 Decomposition Theorems for Various Kinds of Languages, Parallel in Nature. - Articles
Decomposition Theorems for Various Kinds of Languages, Parallel in Nature.
Abstract PDF -
DAIMI Report Series No. 581 (2007): PB-581 Erotic Aspects of Everyday Life as a Challenge for Ubiquitous Computing - Articles
Erotic Aspects of Everyday Life as a Challenge for Ubiquitous Computing
Abstract PDF -
DAIMI Report Series No. 582 (2007): PB-582 Vehicular Mobility Prediction by Bayesian Networks - Articles
Vehicular Mobility Prediction by Bayesian Networks
Abstract PDF -
DAIMI Report Series No. 357 (1991): PB-357 Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 - Articles
Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 (Geneva, Switzerland, 1991, 15-19 July)
Abstract PDF -
DAIMI Report Series No. 207 (1986): PB-207 Free Blackboards and Anarchic Communities of Experts - Articles
Free Blackboards and Anarchic Communities of Experts
Abstract PDF -
DAIMI Report Series No. 206 (1986): PB-206 The Potential Use of Action Semantics in Standards - Articles
The Potential Use of Action Semantics in Standards
Abstract PDF -
DAIMI Report Series No. 583 (2007): PB-583 GPU Accelerated Viscous-fluid Deformable Registration for Radiotherapy - Articles
GPU Accelerated Viscous-fluid Deformable Registration for Radiotherapy
Abstract PDF -
DAIMI Report Series No. 205 (1986): PB-205 Notions of Realizable Non-Sequential Processes - Articles
Notions of Realizable Non-Sequential Processes
Abstract PDF -
DAIMI Report Series No. 204 (1986): PB-204 A Hierarchical Co-operative Exception Handling Mechanism - Articles
A Hierarchical Co-operative Exception Handling Mechanism
Abstract PDF -
DAIMI Report Series No. 203 (1985): PB-203 Four Different Perspectives on Human-Computer Interaction - Articles
Four Different Perspectives on Human-Computer Interaction
Abstract PDF -
DAIMI Report Series No. 585 (2007): PB-585 Optimal Resilient Dynamic Dictionaries - Articles
Optimal Resilient Dynamic Dictionaries⋆
Abstract PDF -
DAIMI Report Series No. 587 (2008): PB-587 Scavenger - Mobile Remote Execution - Articles
Scavenger - Mobile Remote Execution
Abstract PDF -
DAIMI Report Series No. 589 (2008): PB-589 First-Class Object Sets - Articles
First-Class Object Sets
Abstract PDF -
DAIMI Report Series No. 201 (1985): PB-201 A Denotational Semantics for Logic Programming - Articles
A Denotational Semantics for Logic Programming
Abstract PDF -
DAIMI Report Series No. 577 (2005): PB-577 A Virtual Class Calculus - Articles
A Virtual Class Calculus
Abstract PDF -
DAIMI Report Series No. 40 (1974): PB-40 A Relationship between ETOL and EDTOL Languages - Articles
A Relationship between ETOL and EDTOL Languages
Abstract PDF -
DAIMI Report Series No. 578 (2006): PB-578 Family Genericity - Articles
Family Genericity
Abstract PDF -
DAIMI Report Series No. 579 (2006): PB-579 Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006
Abstract PDF -
DAIMI Report Series No. 127 (1980): PB-127 Firmware Development Systems: A Survey - Articles
Firmware Development Systems: A Survey
Abstract PDF -
DAIMI Report Series No. 128 (1981): PB-128 Flow Analysis of Lambda Expressions - Articles
Flow Analysis of Lambda Expressions
Abstract PDF -
DAIMI Report Series No. 129 (1981): PB-129 Analysis of Concurrent Algorithms - Articles
Analysis of Concurrent Algorithms
Abstract PDF -
DAIMI Report Series No. 130 (1981): PB-130 On Minimum Weight Binary Representation of Integers and Continued Fractions with Application to Computer Arithmet - Articles
On Minimum Weight Binary Representation of Integers and Continued Fractions with Application to Computer Arithmetic
Abstract PDF -
DAIMI Report Series No. 359 (1991): PB-359 Bounded Fixed Point Iteration - Articles
Bounded Fixed Point Iteration
Abstract PDF -
DAIMI Report Series No. 132 (1981): PB-132 A Semantic Algebra for Binding Constructs - Articles
A Semantic Algebra for Binding Constructs
Abstract PDF -
DAIMI Report Series No. 360 (1991): PB-360 Reuse of Invariants in Proofs of Implementation - Articles
Reuse of Invariants in Proofs of Implementation
Abstract PDF -
DAIMI Report Series No. 361 (1991): PB-361 Probabilistic Construction of Normal Basis: Note - Articles
Probabilistic Construction of Normal Basis
Abstract PDF -
DAIMI Report Series No. 135 (1981): PB-135 A Denotational Framework for Data Flow Analysis - Articles
A Denotational Framework for Data Flow Analysis
Abstract PDF -
DAIMI Report Series No. 137 (1981): PB-137 Control Flow Treatment in a Simple Semantics-Directed Compiler Generator - Articles
Control Flow Treatment in a Simple: Semantics-Directed Compiler Generator
Abstract PDF -
DAIMI Report Series No. 9 (1973): PB-9 A Computer Solution of Polygonal Jigsaw-Puzzles - Articles
A Computer Solution of Polygonal Jigsaw-Puzzles
Abstract PDF -
DAIMI Report Series No. 139 (1981): PB-139 Using computation sequences to define evaluators for attribute grammars - Articles
Using computation sequences to define evaluators for attribute grammars
Abstract PDF -
DAIMI Report Series No. 140 (1981): PB-140 Program Transformations in a Denotational Setting - Articles
Program Transformations in a Denotational Setting
Abstract PDF -
DAIMI Report Series No. 141 (1981): PB-141 Specification and Design of Distributed Systems - Articles
Specification and Design of Distributed Systems
Abstract PDF -
DAIMI Report Series No. 142 (1982): PB-142 Early Experience from a Multi-Processor Project - Articles
Early Experience from a Multi-Processor Project
Abstract PDF -
DAIMI Report Series No. 362 (1991): PB-362 Three Discussions on Object-Oriented Typing - Articles
Three Discussions on Object-Oriented Typing
Abstract PDF -
DAIMI Report Series No. 363 (1991): PB-363 A Linear Specification Language for Petri Nets - Articles
A Linear Specification Language for Petri Nets
Abstract PDF -
DAIMI Report Series No. 143 (1982): PB-143 A Programming Language for the Inductive Sets, and Applications - Articles
A Programming Language for the Inductive Sets, and Applications
Abstract PDF -
DAIMI Report Series No. 144 (1982): PB-144 Integer Factorization - Articles
Integer Factorization
Abstract PDF -
DAIMI Report Series No. 146 (1982): PB-146 Results on the Propositional µ-Calculus - Articles
Results on the Propositional µ-Calculus
Abstract PDF -
DAIMI Report Series No. 397 (1992): PB-397 Proceedings of the CLICS Workshop: Part I og II - Articles
Proceedings of the CLICS Workshop: Part I og II
Abstract PDF -
DAIMI Report Series No. 147 (1982): PB-147 Concurrent Algorithms for Root Searching - Articles
Concurrent Algorithms for Root Searching
Abstract PDF -
DAIMI Report Series No. 148 (1982): PB-148 Mathematical Foundation of A Semantic Directed Compiler Generator - Articles
Mathematical Foundation of A Semantic Directed Compiler Generator
Abstract PDF -
DAIMI Report Series No. 440 (1993): PB-440 Cryptanalysis of LOKI91 - Articles
Cryptanalysis of LOKI91
Abstract PDF -
DAIMI Report Series No. 149 (1982): PB-149 Mapping Integers and Hensel Codes Onto Farey Fractions - Articles
Mapping Integers and Hensel Codes Onto Farey Fractions
Abstract PDF -
DAIMI Report Series No. 364 (1991): PB-364 A New Characterization of Tree Medians with Applications to Distributed Algorithms - Articles
A New Characterization of Tree Medians with Applications to Distributed Algorithms
Abstract PDF -
DAIMI Report Series No. 343 (1991): PB-343 Some Results on Uniform Arithmetic Circuit Complexity - Articles
Some Results on Uniform Arithmetic Circuit Complexity
Abstract PDF -
DAIMI Report Series No. 150 (1982): PB-150 EPSILON: A System Description Language - Articles
EPSILON: A System Description Language
Abstract PDF -
DAIMI Report Series No. 151 (1982): PB-151 High-Level Petri Nets - Articles
High-Level Petri Nets
Abstract PDF -
DAIMI Report Series No. 365 (1991): PB-365 Open-Ended Interaction in Cooperative Prototyping: A Video-Based Analysis - Articles
Open-Ended Interaction in Cooperative Prototyping: A Video-Based Analysis
Abstract PDF -
DAIMI Report Series No. 152 (1982): PB-152 Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets - Articles
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
Abstract PDF -
DAIMI Report Series No. 153 (1982): PB-153 Specification and Verification of Networks in a Petri Net based Language - Articles
Specification and Verification of Networks in a Petri Net based Language
Abstract PDF -
DAIMI Report Series No. 154 (1982): PB-154 A Measure in Which Boolean Negation is Exponentially Powerful - Articles
A Measure in Which Boolean Negation is Exponentially Powerful
Abstract PDF -
DAIMI Report Series No. 155 (1982): PB-155 Syntax Directed Program Modularization - Articles
Syntax Directed Program Modularization
Abstract PDF -
DAIMI Report Series No. 200 (1985): PB-200 Problem-heap: A Paradigm for Multiprocessor Algorithms - Articles
Problem-heap: A Paradigm for Multiprocessor Algorithms
Abstract PDF -
DAIMI Report Series No. 199 (1985): PB-199 Learnability - Articles
Learnability
Abstract PDF -
DAIMI Report Series No. 2 (1972): PB-2 Confusion in the Garden of Eden - Articles
Confusion in the Garden of Eden
Abstract PDF -
DAIMI Report Series No. 156 (1983): PB-156 Type Algebras, Functor Categories, and Block Structure - Articles
Type Algebras, Functor Categories, and Block Structure
Abstract PDF -
DAIMI Report Series No. 157 (1983): PB-157 Program Models: Meaning and Proof - Articles
Program Models: Meaning and Proof
Abstract PDF -
DAIMI Report Series No. 125 (1980): PB-125 Software Engineering - Tools and Methods: Proceedings of the 1978 Aarhus Workshop - Articles
Software Engineering: Tools and Methods: Proceedings of the 1978 Aarhus Workshop
Abstract PDF -
DAIMI Report Series No. 158 (1983): PB-158 A Theory for Bipolar Synchronisation Schemes - Articles
A Theory for Bipolar Synchronisation Schemes
Abstract PDF -
DAIMI Report Series No. 160 (1983): PB-160 A Proposition for a Theory of Testing: An Abstract Approach to the Testing Process - Articles
A Proposition for a Theory of Testing: An Abstract Approach to the Testing Process
Abstract PDF -
DAIMI Report Series No. 161 (1983): PB-161 HSIM - a hardware simulator - Articles
HSIM - a hardware simulator
Abstract PDF -
DAIMI Report Series No. 162 (1983): PB-162 A Computational Model for ADA and other concurrent languages - Articles
A Computational Model for ADA and other concurrent languages
Abstract PDF -
DAIMI Report Series No. 163 (1983): PB-163 Categorial Heterogeneous Algebraic Models of Programming Languages - Articles
Categorial Heterogeneous Algebraic Models of Programming Languages
Abstract PDF -
DAIMI Report Series No. 164 (1983): PB-164 On Contractive Linear Multistep and One-Leg Methods - Articles
On Contractive Linear Multistep and One-Leg Methods
Abstract PDF -
DAIMI Report Series No. 165 (1983): PB-165 PAL - A Language for Multiple-Precision Algorithms - Articles
PAL - A Language for Multiple-Precision Algorithms
Abstract PDF -
DAIMI Report Series No. 166 (1983): PB-166 Finite Precision Rational Arithmetic: Slash Number Systems - Articles
Finite Precision Rational Arithmetic: Slash Number Systems
Abstract PDF -
DAIMI Report Series No. 549 (2000): PB-549 gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance - Articles
gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance
Abstract PDF -
DAIMI Report Series No. 167 (1983): PB-167 Experiments with a fast String Searching Algorithm - Articles
Experiments with a fast String: Searching Algorithm
Abstract PDF -
DAIMI Report Series No. 198 (1985): PB-198 Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets - Articles
Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets
Abstract PDF -
DAIMI Report Series No. 366 (1991): PB-366 ApplBuilder: An Object-Oriented Application Generator Supporting Rapid Prototyping - Articles
ApplBuilder: An Object-Oriented Application Generator Supporting Rapid Prototyping
Abstract PDF -
DAIMI Report Series No. 168 (1983): PB-168 Physical Datarepresentation in a Multiprocessor Database Machine - Articles
Physical Datarepresentation in a Multiprocessor Database Machine
Abstract PDF -
DAIMI Report Series No. 367 (1991): PB-367 Design, Analysis and Reasoning about Tools: Abstracts from the First Workshop - Articles
Design, Analysis and Reasoning about Tools: Abstracts from the First Workshop (Aarhus, Danmark, 1991, September 16-17
Abstract PDF -
DAIMI Report Series No. 170 (1983): PB-170 COMMON CLASS: - a tool for programming the access to shared data - Articles
COMMON CLASS: - a tool for programming the access to shared data
Abstract PDF -
DAIMI Report Series No. 169 (1983): PB-169 A Discussion of Prototyping within a Conceptual Framework - Articles
A Discussion of Prototyping within a Conceptual Framework
Abstract PDF -
DAIMI Report Series No. 171 (1984): PB-171 Metoder til teknologivurdering: - overvejelser over praksis i Utopia-projektet - Articles
Metoder til teknologivurdering: - overvejelser over praksis i Utopia-projektet
Abstract PDF -
DAIMI Report Series No. 172 (1984): PB-172 ISAC: A Case Study of Systems Description Tools - Articles
ISAC: A Case Study of Systems Description Tools
Abstract PDF -
DAIMI Report Series No. 173 (1984): PB-173 Comparative Semantics of Programming Languages - Articles
Comparative Semantics of Programming Languages
Abstract PDF -
DAIMI Report Series No. 197 (1985): PB-197 An Introduction to High-Level Petri Nets - Articles
An Introduction to High-Level Petri Nets
Abstract PDF -
DAIMI Report Series No. 174 (1984): PB-174 Towards Reachability Trees for High-level Petri Nets - Articles
Towards Reachability Trees for High-level Petri Nets
Abstract PDF -
DAIMI Report Series No. 196 (1985): PB-196 Step Change Strategies for Multistep Methods - Articles
Step Change Strategies for Multistep Methods
Abstract PDF -
DAIMI Report Series No. 368 (1991): PB-368 Correctness Preserving Transformations on a Multipass Occam Compiler - Articles
Correctness Preserving Transformations on a Multipass Occam Compiler
Abstract PDF -
DAIMI Report Series No. 175 (1984): PB-175 A Taxonomy for Programming Languages with Multi-Sequential Processes - Articles
A Taxonomy for Programming Languages wit h Multi-Sequential Processes
Abstract PDF -
DAIMI Report Series No. 41 (1974): PB-41 A Short Description of a Translator Writing System: (BOBS-System) - Articles
A Short Description of a Translator Writing System: (BOBS-System)
Abstract PDF -
DAIMI Report Series No. 176 (1984): PB-176 A Conceptual Framework for the Characterization of Petri Net Description Techniques - Articles
A Conceptual Framework for the Characterization of Petri Net Description Techniques
Abstract PDF -
DAIMI Report Series No. 177 (1984): PB-177 Kernel Languages - Articles
Kernel Languages
Abstract PDF -
DAIMI Report Series No. 178 (1984): PB-178 A Virtual Protocol Model for Computer-Human Interaction - Articles
A Virtual Protocol Model for Computer-Human Interaction
Abstract PDF -
DAIMI Report Series No. 179 (1984): PB-179 Mapping Situations within a System Development Project.: An Intervention Perspective on Organizational Change - Articles
Mapping Situations within a System Development Project.: An Intervention Perspective on Organizational Change
Abstract PDF -
DAIMI Report Series No. 43 (1975): PB-43 Context-Free Grammars with Graph Controlled Tables - Articles
Context-Free Grammars with Graph Controlled Tables
Abstract PDF -
DAIMI Report Series No. 180 (1984): PB-180 Degrees of Non-determinism and Concurrency: A Petri Net View - Articles
Degrees of Non-determinism and Concurrency: A Petri Net View
Abstract PDF -
DAIMI Report Series No. 369 (1991): PB-369 Parallelizing Feed-Forward Artificial Neural Networks on Transputers - Articles
Parallelizing Feed-Forward Artificial Neural Networks on Transputers
Abstract PDF -
DAIMI Report Series No. 181 (1984): PB-181 Learning Difficulties of Programmers Faced With a New Programming Environment - Articles
Learning Difficulties of Programmers: Faced With a New Programming Environment
Abstract PDF -
DAIMI Report Series No. 184 (1984): PB-184 Three Approaches to Teaching Software Ergonomics - Articles
Three Approaches to Teaching Software Ergonomics
Abstract PDF -
DAIMI Report Series No. 370 (1991): PB-370 An Introduction to Action Semantics - Articles
An Introduction to Action Semantics
Abstract PDF -
DAIMI Report Series No. 186 (1984): PB-186 Logic Programming, Substitutions, and Finite Computability - Articles
Logic Programming, Substitutions and Finite Computability
Abstract PDF -
DAIMI Report Series No. 187 (1984): PB-187 Program Development on Graphical Workstations - Articles
Program Development on Graphical Workstations
Abstract PDF -
DAIMI Report Series No. 371 (1991): PB-371 Optimal Bounds for the Change-Making Problem - Articles
Optimal Bounds for the Change-Making Problem
Abstract PDF -
DAIMI Report Series No. 188 (1985): PB-188 On Proving Limited Completeness - Articles
On Proving Limited Completeness
Abstract PDF -
DAIMI Report Series No. 189 (1985): PB-189 Symmetric Distributed Termination - Articles
Symmetric Distributed Termination
Abstract PDF -
DAIMI Report Series No. 191 (1985): PB-191 Galleries and Institutions - Articles
Galleries and Institutions
Abstract PDF -
DAIMI Report Series No. 192 (1985): PB-192 A Conceptual Framework for Programming Languages - Articles
A Conceptual Framework for Programming Languages
Abstract PDF -
DAIMI Report Series No. 44 (1975): PB-44 Surface Tree Languages and Parallel Derivation Trees - Articles
Surface Tree Languages and Parallel Derivation Trees
Abstract PDF -
DAIMI Report Series No. 372 (1991): PB-372 Relations and Non-commutative Linear Logic - Articles
Relations and Non-commutative Linear Logic
Abstract PDF -
DAIMI Report Series No. 193 (1985): PB-193 Formalizations in Systems Development - Articles
Formalizations in Systems Development
Abstract PDF -
DAIMI Report Series No. 194 (1985): PB-194 Generalizations of Liveness and Fairness Properties - Articles
Generalizations of Liveness and Fairness Properties
Abstract PDF -
DAIMI Report Series No. 195 (1985): PB-195 Systems Development: Possibilities for and Obstacles to Changing Practice - Articles
Systems Development: Possibilities for and Obstacles to Changing Practice
Abstract PDF -
DAIMI Report Series No. 373 (1991): PB-373 A Sweepline Algorithm for Generalized Delaunay Triangulations - Articles
A Sweepline Algorithm for Generalized Delaunay Triangulations
Abstract PDF -
DAIMI Report Series No. 374 (1991): PB-374 Towards Participatory Design: The Head and the Heart Revisited - Articles
Towards Participatory Design: The Head and the Heart Revisited
Abstract PDF -
DAIMI Report Series No. 375 (1991): PB-375 A Design of One's Own: Towards Participatory Design in the US - Articles
A Design of One's Own: Towards Participatory Design in the US
Abstract PDF -
DAIMI Report Series No. 46 (1975): PB-46 Århus-konferencen januar 1975: Arbejdsformer i systemudvikling... - Articles
Århus-konferencen januar 1975: Arbejdsformer i systemudvikling afholdt 27. januar -- 1. februar 1975 på Datalogisk afdeling, Matematisk institut, Århus universitet, Bind 1 - baggrund, indhold, kommentarer, Bind 2 - grupperapporter
Abstract PDF -
DAIMI Report Series No. 376 (1991): PB-376 Small Changes: Using Workshops for Giving Participants a Voice - Articles
Small Changes: Using Workshops for Giving Participants a Voice
Abstract PDF -
DAIMI Report Series No. 377 (1991): PB-377 Tight Bounds on the Round Complexity of Distributed 1-Solvable Tasks - Articles
Tight Bounds on the Round Complexity of Distributed 1-Solvable Tasks
Abstract PDF -
DAIMI Report Series No. 47 (1975): PB-47 IO and OI - Articles
IO and OI
Abstract PDF -
DAIMI Report Series No. 378 (1991): PB-378 Circuit Depth Relative to a Random Oracle - Articles
Circuit Depth Relative to a Random Oracle
Abstract PDF -
DAIMI Report Series No. 379 (1991): PB-379 Simulation Techniques - Articles
Simulation Techniques
Abstract PDF -
DAIMI Report Series No. 380 (1992): PB-380 On-Line Reevaluation of Functions - Articles
On-Line Reevaluation of Functions
Abstract PDF -
DAIMI Report Series No. 381 (1992): PB-381 On Action Algebras - Articles
On Action Algebras
Abstract PDF -
DAIMI Report Series No. 382 (1992): PB-382 A Provably Correct Compiler Generator - Articles
A Provably Correct Compiler Generator
Abstract PDF -
DAIMI Report Series No. 383 (1992): PB-383 An Automatically Generated and Provably Correct Compiler for a Subset of Ada - Articles
An Automatically Generated and Provably Correct Compiler for a Subset of Ada
Abstract PDF -
DAIMI Report Series No. 384 (1992): PB-384 Fitness Conditions for fixed Point Iteration - Articles
Fitness Conditions for fixed Point Iteration
Abstract PDF -
DAIMI Report Series No. 10 (1973): PB-10 BOBS-system. Brugervejledning - Articles
BOBS-system. Brugervejledning
Abstract PDF -
DAIMI Report Series No. 48 (1975): PB-48 Copying theorems - Articles
Copying theorems
Abstract PDF -
DAIMI Report Series No. 385 (1992): PB-385 Making Type Inference Practical - Articles
Making Type Inference Practical
Abstract PDF -
DAIMI Report Series No. 49 (1975): PB-49 Top-down tree transducers with regular look-ahead - Articles
Top-down tree transducers with regular look-ahead
Abstract PDF -
DAIMI Report Series No. 386 (1992): PB-386 Polyvariant Analysis of the Untyped Lambda Calculus - Articles
Polyvariant Analysis of the Untyped Lambda Calculus
Abstract PDF -
DAIMI Report Series No. 50 (1975): PB-50 The Growth Range Equivalence Problem for D0L Systems is Decidable - Articles
The Growth Range Equivalence Problem for D0L Systems is Decidable
Abstract PDF -
DAIMI Report Series No. 387 (1992): PB-387 Design of Information Systems: Things versus People - Articles
Design of Information Systems: Things versus People
Abstract PDF -
DAIMI Report Series No. 388 (1992): PB-388 Distributed Provers and Verifiable Secret Sharing Based on the Discrete Logarithm Problem - Articles
Distributed Provers and Verifiable Secret Sharing Based on the Discrete Logarithm Problem
Abstract PDF -
DAIMI Report Series No. 51 (1975): PB-51 Nested Interpreters and System Structure - Articles
Nested Interpreters and System Structure
Abstract PDF -
DAIMI Report Series No. 600 (2019): PB-600 Saul’yev and Group Explicit Methods - Articles
Saul’yev and Group Explicit Methods
Abstract PDF PDF -
DAIMI Report Series No. 52 (1975): PB-52 A Description of the MATHILDA Processor - Articles
A Description of the MATHILDA Processor
Abstract PDF -
DAIMI Report Series No. 389 (1992): PB-389 Safety Analysis versus Type Inference - Articles
Safety Analysis versus Type Inference
Abstract PDF -
DAIMI Report Series No. 390 (1992): PB-390 Coloured Petri Nets Extended with Channels for Synchronous Communication - Articles
Coloured Petri Nets Extended with Channels for Synchronous Communication
Abstract PDF -
DAIMI Report Series No. 11 (1973): PB-11 A Short Description of a Translator-Writing System (BOBS-System) - Articles
A Short Description of a Translator-Writing System (BOBS-System)
Abstract PDF -
DAIMI Report Series No. 53 (1975): PB-53 On Extended Context Free Grammars and LR-Parsing - Articles
On Extended Context Free Grammars and LR-Parsing
Abstract PDF -
DAIMI Report Series No. 391 (1992): PB-391 Towards a Modular Analysis of Coloured Petri Nets - Articles
Towards a Modular Analysis of Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 392 (1992): PB-392 Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24) - Articles
Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24)
Abstract PDF -
DAIMI Report Series No. 54 (1975): PB-54 On Type Definitions with Parameters - Articles
On Type Definitions with Parameters
Abstract PDF -
DAIMI Report Series No. 393 (1992): PB-393 Binding Time Analysis: Abstract Interpretation vs. Type Inference - Articles
Binding Time Analysis: Abstract Interpretation vs. Type Inference
Abstract PDF -
DAIMI Report Series No. 56 (1976): PB-56 A Non-technical Description of the EGG Real-Time Sound Synthesizer - Articles
A Non-technical Description of the EGG Real-Time Sound Synthesizer
Abstract PDF -
DAIMI Report Series No. 394 (1992): PB-394 Efficient Inference of Partial Types - Articles
Efficient Inference of Partial Types
Abstract PDF -
DAIMI Report Series No. 395 (1992): PB-395 CCS, Locations and Asynchronous Transition Systems - Articles
CCS, Locations and Asynchronous Transition Systems
Abstract PDF -
DAIMI Report Series No. 57 (1976): PB-57 A Technique for Implementing Interactive Conversations - Articles
A Technique for Implementing Interactive Conversations
Abstract PDF -
DAIMI Report Series No. 396 (1992): PB-396 The Bit Probe Complexity Measure Revisited - Articles
The Bit Probe Complexity Measure Revisited
Abstract PDF -
DAIMI Report Series No. 58 (1976): PB-58 Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula - Articles
Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula
Abstract PDF -
DAIMI Report Series No. 398 (1992): PB-398 Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs - Articles
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs
Abstract PDF -
DAIMI Report Series No. 399 (1992): PB-399 Transition System Models for Concurrency - Articles
Transition System Models for Concurrency
Abstract PDF -
DAIMI Report Series No. 400 (1992): PB-400 Partial Automata and Finitely Generated Congruences: An Extension of Nerode's Theorem - Articles
Partial Automata and Finitely Generated Congruences: An Extension of Nerode's Theorem
Abstract PDF -
DAIMI Report Series No. 401 (1992): PB-401 The Mentor Project Model: A Model for Experimental Development of Contract Software - Articles
The Mentor Project Model: A Model for Experimental Development of Contract Software
Abstract PDF -
DAIMI Report Series No. 402 (1992): PB-402 A General Software Architecture for Information Systems - Articles
A General Software Architecture for Information Systems
Abstract PDF -
DAIMI Report Series No. 403 (1992): PB-403 Cryptanalysis of LOKI - Articles
Cryptanalysis of LOKI
Abstract PDF -
DAIMI Report Series No. 404 (1992): PB-404 Safety Analysis versus Type Inference for Partial Types - Articles
Safety Analysis versus Type Inference for Partial Types
Abstract PDF -
DAIMI Report Series No. 59 (1976): PB-59 Use of Design Criteria for Intermediate Languages - Articles
Use of Design Criteria for Intermediate Languages
Abstract PDF -
DAIMI Report Series No. 532 (1998): PB-532 Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998 - Articles
Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998
Abstract PDF -
DAIMI Report Series No. 405 (1992): PB-405 Efficient Recursive Subtyping - Articles
Efficient Recursive Subtyping
Abstract PDF -
DAIMI Report Series No. 599 (2017): PB-599 On Saulyev's Methods - Articles
On Saulyev's Methods
Abstract PDF -
DAIMI Report Series No. 406 (1992): PB-406 Part Objects and Their Location - Articles
Part Objects and Their Location
Abstract PDF -
DAIMI Report Series No. 60 (1976): PB-60 Programmeringsundervisning og Systembeskrivelse - Articles
Programmeringsundervisning og Systembeskrive
Abstract PDF -
DAIMI Report Series No. 340 (1990): PB-340 Proceedings of the Third HOL Users Meeting: Aarhus University, 1-2 October 1990 - Articles
Proceedings of the Third {HOL} Users Meeting: Aarhus University, 1-2 October 1990
Abstract PDF -
DAIMI Report Series No. 407 (1992): PB-407 A General Lower Bound on the I/O-Complexity of Comparison-based Algorithms - Articles
A General Lower Bound on the I/O-Complexity of Comparison-based Algorithms
Abstract PDF -
DAIMI Report Series No. 277 (1989): PB-277 Literal resolution: A Simple Proof of Resolution Completeness - Articles
PB-277 Literal resolution: A Simple Proof of Resolution Completeness
Abstract PDF -
DAIMI Report Series No. 278 (1989): PB-278 An Introduction to Event Structures - Articles
An Introduction to Event Structures
Abstract PDF -
DAIMI Report Series No. 279 (1989): PB-279 A Note on Model Cheking the Modal v-calculus - Articles
A Note on Model Cheking the Modal v-calculus
Abstract PDF -
DAIMI Report Series No. 280 (1989): PB-280 Hypertext in an Object-Oriented Programming Environment - Articles
Hypertext in an Object-Oriented Programming Environment
Abstract PDF -
DAIMI Report Series No. 281 (1989): PB-281 Behavioural Notions for Elementary Net Systems - Articles
Behavioural Notions for Elementary Net Systems
Abstract PDF -
DAIMI Report Series No. 61 (1976): PB-61 An Investigation into Different Semantic Approaches - Articles
An Investigation into Different Semantic Approaches
Abstract PDF -
DAIMI Report Series No. 126 (1980): PB-126 The Meaning of Logical Programs - Articles
The Meaning of Logical Programs
Abstract PDF -
DAIMI Report Series No. 282 (1989): PB-282 DI-Domains as Information Systems* - Articles
DI-Domains as Information Systems*
Abstract PDF -
DAIMI Report Series No. 62 (1976): PB-62 A Multi-Emulation System - Articles
A Multi-Emulation System
Abstract PDF -
DAIMI Report Series No. 283 (1989): PB-283 Virtual Classes - a powerful mechanism in object-oriented programming - Articles
Virtual Classes - a powerful mechanism in object-oriented programming
Abstract PDF -
DAIMI Report Series No. 63 (1976): PB-63 Recognition of Deterministic ET0L Languages in Polynomial Time - Articles
Recognition of Deterministic ET0L Languages in Polynomial Time
Abstract PDF -
DAIMI Report Series No. 284 (1989): PB-284 A Denotational Semantics of Inheritance and its Correctness - Articles
A Denotational Semantics af Inheritance and its Correctness
Abstract PDF -
DAIMI Report Series No. 598 (2016): PB-598 On the Stability of ADI Methods - Articles
On the stability of ADI methods
Abstract PDF -
DAIMI Report Series No. 285 (1989): PB-285 Parallel Product of Event Structures - Articles
Parallel Product of Event Structures
Abstract PDF -
DAIMI Report Series No. 65 (1977): PB-65 BETA Language Development: Survey Report, 1. November 1976 - Articles
BETA Language Development: Survey Report, 1. November 1976
Abstract PDF -
DAIMI Report Series No. 286 (1989): PB-286 Community Technology? Issues in Computer-Supported Work - Articles
Community Technology? Issues in Computer-Supported Work
Abstract PDF -
DAIMI Report Series No. 358 (1991): PB-358 Parallel Construction of Irreducible Polynomials - Articles
Parallel Construction of Irreducible Polynomials
Abstract PDF -
DAIMI Report Series No. 287 (1989): PB-287 Hypermedia: Support for a more natural information organization - Articles
Hypermedia: Support for a more natural information organization
Abstract PDF -
DAIMI Report Series No. 288 (1989): PB-288 Beyond the Interface: Encountering Artifacts in Use - Articles
Beyond the Interface: Encountering Artifacts in Use
Abstract PDF -
DAIMI Report Series No. 3 (1972): PB-3 Karakterisation af oversættelse for de til Chomsky-hierarkiet hørende automater - Articles
Karakterisation af oversættelse for de til Chomsky-hierarkiet hørende automater
Abstract PDF -
DAIMI Report Series No. 66 (1977): PB-66 System Description as a Starting-Point for Teaching Simula - Articles
System Description as a Starting-Point for Teaching Simula
Abstract PDF -
DAIMI Report Series No. 289 (1989): PB-289 CSCW - Four Characters in Search of a Context - Articles
CSCW - Four Characters in Search of a Context
Abstract PDF -
DAIMI Report Series No. 290 (1989): PB-290 Discovering the Human Actors in Human Factors - Articles
Discovering the Human Actors in Human Factors
Abstract PDF -
DAIMI Report Series No. 67 (1977): PB-67 Complexity of some Problems Concerning L Systems. (Preliminary report) - Articles
Complexity of some Problems Concerning L Systems. (Preliminary report)
Abstract PDF -
DAIMI Report Series No. 98 (1979): PB-98 BETA language Proposal as of April 1979 - Articles
BETA language Proposal as of April 1979
Abstract PDF -
DAIMI Report Series No. 12 (1973): PB-12 Mathematical Models for Cellular Organisms - Articles
Mathematical Models for Cellular Organisms
Abstract PDF -
DAIMI Report Series No. 87 (1978): PB-87 System Modelling: A methodology for describing the structure of complex Software, Firmware, and Hardware systems.. - Articles
System Modelling: A methodology for describing the structure of complex Software, Firmware, and Hardware systems consisting of independent process components
Abstract PDF -
DAIMI Report Series No. 301 (1990): PB-301 Petri Nets as Models of Linear Logic - Articles
Petri Nets as Models of Linear Logic
Abstract PDF -
DAIMI Report Series No. 68 (1977): PB-68 The Complexity of Finite Memory Programs with Recursion - Articles
The Complexity of Finite Memory Programs with Recursion
Abstract PDF -
DAIMI Report Series No. 69 (1977): PB-69 Upper Bounds on the Complexity of Some Problems Concerning L Systems - Articles
Upper Bounds on the Complexity of Some Problems Concerning L Systems
Abstract PDF -
DAIMI Report Series No. 292 (1989): PB-292 Cooperative Prototyping Experiments: - Users and Designers Envision a Dental Case Record System - Articles
Cooperative Prototyping Experiments: - Users and Designers Envision a Dental Case Record System
Abstract PDF -
DAIMI Report Series No. 293 (1989): PB-293 Infinite Values in Hierarchical Imperative Types - Articles
Infinite Values in Hierarchical Imperative Types
Abstract PDF -
DAIMI Report Series No. 294 (1989): PB-294 A Compositional Proof System on a Category of Labelled Transition Systems - Articles
A Compositional Proof System on a Category of Labelled Transition Systems
Abstract PDF -
DAIMI Report Series No. 295 (1989): PB-295 Static Correctness of Hierarchical Procedures - Articles
Static Correctness of Hierarchical Procedures
Abstract PDF -
DAIMI Report Series No. 296 (1989): PB-296 Proceedings of the 12th IRIS: Information systems Research seminar In Scandinavia August 13-16, 1989, Skagen - Articles
Proceedings of the 12th IRIS: Information systems Research seminar In Scandinavia August 13-16, 1989, Skagen, Denmark, Part I and Part II
Abstract PDF -
DAIMI Report Series No. 276 (1989): PB-276 Semantic Domains and Denotational Semantics - Articles
Semantic Domains and Denotational Semantics
Abstract PDF -
DAIMI Report Series No. 297 (1989): PB-297 A Universal Relational Operator - Articles
A Universal Relational Operator
Abstract PDF -
DAIMI Report Series No. 13 (1973): PB-13 A Description of the MATHILDA System - Articles
A Description of the MATHILDA System
Abstract PDF -
DAIMI Report Series No. 298 (1989): PB-298 Logics of Domains - Articles
Logics of Domains
Abstract PDF -
DAIMI Report Series No. 299 (1989): PB-299 The Computer Reaches out: The Historical Continuity of Interface Design - Articles
The Computer Reaches out: The Historical Continuity of Interface Design
Abstract PDF -
DAIMI Report Series No. 300 (1990): PB-300 Reusability and Tailorability in the Mjølner BETA System - Articles
Reusability and Tailorability in the Mjølner BETA System
Abstract PDF -
DAIMI Report Series No. 70 (1977): PB-70 Lower Bounds on the Complexity of Some Problems Concerning L Systems - Articles
Lower Bounds on the Complexity of Some Problems: Concerning L Systems
Abstract PDF -
DAIMI Report Series No. 302 (1990): PB-302 Object oriented development: integrating analysis, design and implementation - Articles
Object oriented development: integrating analysis, design and implementation
Abstract PDF -
DAIMI Report Series No. 303 (1990): PB-303 A Note on the Jacobian Conjecture - Articles
A Note on the Jacobian Conjecture
Abstract PDF -
DAIMI Report Series No. 304 (1990): PB-304 Graph Grammars for Knowledge Representation - Articles
Graph Grammars for Knowledge Representation
Abstract PDF -
DAIMI Report Series No. 305 (1990): PB-305 Substitution Polymorphism for Object-Oriented Programming - Articles
Substitution Polymorphism for Object-Oriented Programming
Abstract PDF -
DAIMI Report Series No. 306 (1990): PB-306 Are There Elimination Algorithms for the Permanent? - Articles
Are There Elimination Algorithms for the Permanent?
Abstract PDF -
DAIMI Report Series No. 309 (1990): PB-309 A logical characterization of asynchronously communicating agents - Articles
A logical characterization of asynchronously communicating agents
Abstract PDF -
DAIMI Report Series No. 310 (1990): PB-310 Elementary transition systems - Articles
Elementary transition systems
Abstract PDF -
DAIMI Report Series No. 441 (1993): PB-441 Iterative Algorithms for Fixed Point Computation - Articles
Iterative Algorithms for Fixed Point Comutation
Abstract Untitled -
DAIMI Report Series No. 275 (1989): PB-275 A Correction to ''A Modal Logic for a Subclass of Event Structures'' - Articles
A Correction to ''A Modal Logic for a Subclass of Event Structures''
Abstract PDF -
DAIMI Report Series No. 311 (1990): PB-311 Optimal detection of query injectivity - Articles
Optimal detection of query injectivity
Abstract PDF -
DAIMI Report Series No. 430 (1992): PB-430 Progress measures, immediate determinacy, and a subset construction for tree automata - Articles
Progress measures, immediate determinacy, and a subset construction for tree automata
Abstract Untitled -
DAIMI Report Series No. 313 (1990): PB-313 A note on opaque types - Articles
A note on opaque types
Abstract PDF -
DAIMI Report Series No. 314 (1990): PB-314 A simple algorithm for computing the smallest enclosing circle - Articles
A simple algorithm for computing the smallest enclosing circle
Abstract PDF -
DAIMI Report Series No. 315 (1990): PB-315 Extended Smolensky's method - Articles
Extended Smolensky's method
Abstract PDF -
DAIMI Report Series No. 316 (1990): PB-316 Types and automata - Articles
Types and automata
Abstract PDF -
DAIMI Report Series No. 71 (1977): PB-71 The BOBS-System - Articles
The BOBS-System
Abstract PDF -
DAIMI Report Series No. 73 (1977): PB-73 A Model for and Discussion of Multi-Interpreter Systems - Articles
A Model for and Discussion of Multi-Interpreter Systems
Abstract PDF -
DAIMI Report Series No. 317 (1990): PB-317 Type substitution for object-oriented programming - Articles
Type substitution for object-oriented programming
Abstract PDF -
DAIMI Report Series No. 74 (1977): PB-74 On Good ET0L Forms - Articles
On Good ET0L Forms
Abstract PDF -
DAIMI Report Series No. 318 (1990): PB-318 Genericity and inheritance - Articles
Genericity and inheritance
Abstract PDF -
DAIMI Report Series No. 319 (1990): PB-319 INTERFACE - Articles
INTERFACE
Abstract PDF -
DAIMI Report Series No. 320 (1990): PB-320 The development of interactive systems: bridging the gaps between developers and users - Articles
The development of interactive systems: bridging the gaps between developers and users
Abstract PDF -
DAIMI Report Series No. 321 (1990): PB-321 Systematic sources of sub-optimal interface design in large product development organizations - Articles
Systematic sources of sub-optimal interface design in large product development organizations
Abstract PDF -
DAIMI Report Series No. 274 (1989): PB-274 Unified Algebras and Institutions - Articles
Unified Algebras and Institutions
Abstract PDF -
DAIMI Report Series No. 322 (1990): PB-322 Some new thoughts on Neural Networks with complex connection matrices - Articles
Some new thoughts on Neural Networks with complex connection matrices
Abstract PDF -
DAIMI Report Series No. 75 (1977): PB-75 A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata - Articles
A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata
Abstract PDF -
DAIMI Report Series No. 323 (1990): PB-323 Two analyses of CSCW and groupware - Articles
Two analyses of CSCW and groupware
Abstract PDF -
DAIMI Report Series No. 324 (1990): PB-324 On the compositional checking of validity - Articles
On the compositional checking of validity
Abstract PDF -
DAIMI Report Series No. 325 (1990): PB-325 Data flow analysis as model checking - Articles
Data flow analysis as model checking
Abstract PDF -
DAIMI Report Series No. 273 (1989): PB-273 What Object-Oriented Programming May Be - and What It Does Not Have to Be - Articles
What Object-Oriented Programming May Be: - and What It Does Not Have to Be
Abstract PDF -
DAIMI Report Series No. 326 (1990): PB-326 Strong typing of object-oriented languages revisited - Articles
Strong typing of object-oriented languages revisited
Abstract PDF -
DAIMI Report Series No. 76 (1977): PB-76 CONSTRUCT - et værktøj til systemudvikling. Rapport nr. 1 - Articles
CONSTRUCT - et værktøj til systemudvikling. Rapport nr. 1
Abstract PDF -
DAIMI Report Series No. 327 (1990): PB-327 A discrete logarithm blob for noninteractive XOR gates - Articles
A discrete logarithm blob for noninteractive XOR gates
Abstract PDF -
DAIMI Report Series No. 14 (1973): PB-14 A Small Group of Research Projects in Machine Design for Scientific Computation - Articles
A Small Group of Research Projects in Machine Design for Scientific Computation.
Abstract PDF -
DAIMI Report Series No. 77 (1977): PB-77 Communicating Concepts in an Interdisciplinary Project: Four Models of a Lake Described in the DELTA Language - Articles
Communicating Concepts in an Interdisciplinary Project: Four Models of a Lake Described in the DELTA Language
Abstract PDF -
DAIMI Report Series No. 272 (1988): PB-272 Unified Algebras and Action Semantics - Articles
Unified Algebras and Action Semantics
Abstract PDF -
DAIMI Report Series No. 328 (1990): PB-328 Compositional Characterization of Observable Program Properties - Articles
Compositional Characterization of Observable Program Properties
Abstract PDF -
DAIMI Report Series No. 79 (1977): PB-79 ESMERALDA --- An Intelligent Satellite for Interactive Graphics - Articles
ESMERALDA --- An Intelligent Satellite for Interactive Graphics
Abstract PDF -
DAIMI Report Series No. 330 (1990): PB-330 Convertible Undeniable Signatures - Articles
Convertible Undeniable Signatures
Abstract PDF -
DAIMI Report Series No. 271 (1988): PB-271 An Imperative Type Hierarchy with Partial Products - Articles
An Imperative Type Hierarchy with Partial Products
Abstract PDF -
DAIMI Report Series No. 270 (1988): PB-270 Rapid Prototyping with Fourth Generation Systems - An Empirical Study - Articles
Rapid Prototyping with Fourth Generation Systems: - An Empirical Study
Abstract PDF -
DAIMI Report Series No. 15 (1973): PB-15 Open House in Unusual Automata Theory, January 1972 - Articles
Open House in Unusual Automata Theory, January 1972
Abstract PDF -
DAIMI Report Series No. 331 (1990): PB-331 Improving Conditions for Cooperative System Design: shifting from a product to a process focus - Articles
Improving Conditions for Cooperative System Design: shifting from a product to a process focus
Abstract PDF -
DAIMI Report Series No. 269 (1988): PB-269 The Application of Claw Free Functions in Cryptography: - Unconditional Protection in Cryptographic Protocols - Articles
The Application of Claw Free Functions in Cryptography: - Unconditional Protection in Cryptographic Protocols
Abstract PDF -
DAIMI Report Series No. 267 (1988): PB-267 Designing for a Dollar a Day - Articles
Designing for a Dollar a Day
Abstract PDF -
DAIMI Report Series No. 408 (1992): PB-408 Bounds on Certain Multiplications of Affine Combinations - Articles
Bounds on Certain Multiplications of Affine Combinations
Abstract PDF -
DAIMI Report Series No. 80 (1977): PB-80 Blindfold Games are Harder than Games with Perfect Information - Articles
Blindfold Games are Harder than Games with Perfect Information
Abstract PDF -
DAIMI Report Series No. 16 (1973): PB-16 The Significance of Microprogramming - Articles
The Significance of Microprogramming
Abstract PDF -
DAIMI Report Series No. 409 (1992): PB-409 Efficient Rebalancing of Chromatic Search Trees - Articles
Efficient Rebalancing of Chromatic Search Trees
Abstract PDF -
DAIMI Report Series No. 410 (1992): PB-410 Unfold/fold Transformations Preserving Termination Properties - Articles
Unfold/fold Transformations Preserving Termination Properties
Abstract PDF -
DAIMI Report Series No. 411 (1992): PB-411 CSCW Challenges in Large-Scale Technical Projects: A Case Study - Articles
CSCW Challenges in Large-Scale Technical Projects: A Case Study
Abstract PDF -
DAIMI Report Series No. 81 (1978): PB-81 Construction of System Descriptions in SIMULA and DELTA - Articles
Construction of System Descriptions in SIMULA and DELTA
Abstract PDF -
DAIMI Report Series No. 266 (1988): PB-266 Unified Algebras and Modules - Articles
Unified Algebras and Modules
Abstract PDF -
DAIMI Report Series No. 412 (1992): PB-412 Towards a Prototyping Approach in Systems Development - Articles
Towards a Prototyping Approach in Systems Development
Abstract PDF -
DAIMI Report Series No. 82 (1978): PB-82 Ambiguity in Finite Automata - Articles
Ambiguity in Finite Automata
Abstract PDF -
DAIMI Report Series No. 413 (1992): PB-413 Using Artifacts as Triggers for Participatory Analysis - Articles
Using Artifacts as Triggers for Participatory Analysis
Abstract PDF -
DAIMI Report Series No. 414 (1992): PB-414 On Aggregation and Computation on Domain Values - Articles
On Aggregation and Computation on Domain Values
Abstract PDF -
DAIMI Report Series No. 415 (1992): PB-415 Strategies for Expression Evaluation Using Sort-Merge Algorithms - Articles
Strategies for Expression Evaluation Using Sort-Merge Algorithms
Abstract PDF -
DAIMI Report Series No. 416 (1992): PB-416 The Use of Sorts in Algebraic Specifications - Articles
The Use of Sorts in Algebraic Specifications
Abstract PDF -
DAIMI Report Series No. 417 (1992): PB-417 Design, analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August) - Articles
Design, analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August)
Abstract PDF -
DAIMI Report Series No. 418 (1992): PB-418 The Operational Semantics of Action Notation - Articles
The Operational Semantics of Action Notation
Abstract PDF -
DAIMI Report Series No. 419 (1992): PB-419 The Sun RPC Language Semantics - Articles
The Sun RPC Language Semantics
Abstract PDF -
DAIMI Report Series No. 83 (1978): PB-83 Proposal for a Context Concept in Delta - Articles
Proposal for a Context Concept in Delta
Abstract PDF -
DAIMI Report Series No. 84 (1978): PB-84 Succinctness of Descriptions of Context-Free, Regular, and Finite Languages - Articles
Succinctness of Descriptions of Context-Free, Regular, and Finite Languages
Abstract PDF -
DAIMI Report Series No. 422 (1992): PB-422 Provably Correct Compiler Generation - Articles
Provably Correct Compiler Generation
Abstract PDF -
DAIMI Report Series No. 423 (1992): PB-423 Layered Predicates - Articles
Layered Predicates
Abstract PDF -
DAIMI Report Series No. 85 (1978): PB-85 Complexity of Some Problems Concerning Lindenmayer Systems. (Revised version) - Articles
Complexity of Some Problems Concerning Lindenmayer Systems. (Revised version)
Abstract PDF -
DAIMI Report Series No. 424 (1992): PB-424 On the Action Semantics of Concurrent Programming Languages - Articles
On the Action Semantics of Concurrent Programming Languages
Abstract PDF -
DAIMI Report Series No. 425 (1992): PB-425 Technology as a Vehicle for Organisational Learning and Change - Articles
Technology as a Vehicle for Organisational Learning and Change
Abstract PDF -
DAIMI Report Series No. 426 (1992): PB-426 Length of Maximal Common Subsequences - Articles
Length of Maximal Common Subsequences
Abstract PDF -
DAIMI Report Series No. 427 (1992): PB-427 The Correctness of an Optimized Code Generation - Articles
The Correctness of an Optimized Code Generation
Abstract PDF -
DAIMI Report Series No. 428 (1992): PB-428 AVL Trees With Relaxed Balance - Articles
AVL Trees With Relaxed Balance
Abstract PDF -
DAIMI Report Series No. 17 (1973): PB-17 Some Interpolation Formulas for Approximating the Solution of the Heat Equation. - Articles
Some Interpolation Formulas for Approximating the Solution of the Heat Equation.
Abstract PDF -
DAIMI Report Series No. 429 (1992): PB-429 Models for Concurrency - Articles
Models for Concurrency
Abstract PDF -
DAIMI Report Series No. 431 (1993): PB-431 Consistency and Semantics of Equational Definitions over Predefined Algebras - Articles
Consistency and Semantics of Equational Definitions over Predefined Algebras
Abstract PDF -
DAIMI Report Series No. 86 (1978): PB-86 Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics - Articles
Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics
Abstract PDF -
DAIMI Report Series No. 432 (1993): PB-432 Exact Calculation of the Product of the Hessian Matrix of Feed-Forward Network Error Functions and a Vector in... - Articles
Exact Calculation of the Product of the Hessian Matrix of Feed-Forward Network Error Functions and a Vector in 0(N) Time
Abstract PDF -
DAIMI Report Series No. 421 (1992): PB-421 Graph Types - Articles
Graph Types
Abstract Untitled -
DAIMI Report Series No. 433 (1993): PB-433 From CML to process Algebras - Articles
From CML to process Algebras
Abstract PDF -
DAIMI Report Series No. 434 (1993): PB-434 High Level Efficiency in Database Languages - Articles
High Level Efficiency in Database Languages
Abstract PDF -
DAIMI Report Series No. 435 (1993): PB-435 Completeness Results for Linear Logic on Petri Nets - Articles
Completeness Results for Linear Logic on Petri Nets
Abstract PDF -
DAIMI Report Series No. 88 (1978): PB-88 Interpretation and Code Generation Based on Intermediate Languages - Articles
Interpretation and Code Generation Based on Intermediate Languages
Abstract PDF -
DAIMI Report Series No. 265 (1988): PB-265 A Note on the Complexity of the Transpose of a Matrix - Articles
A Note on the Complexity of the Transpose of a Matrix
Abstract PDF -
DAIMI Report Series No. 436 (1993): PB-436 Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance - Articles
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Abstract PDF -
DAIMI Report Series No. 18 (1973): PB-18 MACROS, Iterated Substitution and Lindenmayer AFLs - Articles
MACROS, Iterated Substitution and Lindenmayer AFLs
Abstract PDF -
DAIMI Report Series No. 437 (1993): PB-437 The Complexity of Finding Replicas Using Equality Tests - Articles
The Complexity of Finding Replicas Using Equality Tests
Abstract PDF -
DAIMI Report Series No. 89 (1978): PB-89 Data Types as Functions - Articles
Data Types as Functions
Abstract PDF -
DAIMI Report Series No. 264 (1988): PB-264 Emancipation of and by Computer Supported Cooperative Work - Articles
Emancipation of and by Computer Supported Cooperative Work
Abstract PDF -
DAIMI Report Series No. 438 (1993): PB-438 Dynamic Word problems - Articles
Dynamic Word problems
Abstract PDF -
DAIMI Report Series No. 90 (1978): PB-90 Attribute Grammars and Mathematical Semantics - Articles
Attribute Grammars and Mathematical Semantics
Abstract PDF -
DAIMI Report Series No. 263 (1988): PB-263 User Support: From Surface to Structure - Articles
User Support: From Surface to Structure
Abstract PDF -
DAIMI Report Series No. 439 (1993): PB-439 Iterative Characteristics of DES and S^2-DES - Articles
Iterative Characteristics of DES and S^2-DES
Abstract PDF -
DAIMI Report Series No. 442 (1993): PB-442 Historical Analysis and Conflicting Perspectives: Contextualising HCI - Articles
Historical Analysis and Conflicting Perspectives: Contextualising HCI
Abstract PDF -
DAIMI Report Series No. 443 (1993): PB-443 Re-framing Research in Human-Computer Interaction from the Point-of-View of Activity Theory? - Articles
Re-framing Research in Human-Computer Interaction from the Point-of-View of Activity Theory?
Abstract PDF -
DAIMI Report Series No. 444 (1993): PB-444 A New Characterization of Graphs Based on Interpretation Relations - Articles
A New Characterization of Graphs Based on Interpretation Relations
Abstract PDF -
DAIMI Report Series No. 91 (1978): PB-91 The Copying Power of One-State Tree Transducers - Articles
The Copying Power of One-State Tree Transducers
Abstract PDF -
DAIMI Report Series No. 261 (1988): PB-261 A Simple Mathematical Approach to Human Society - Articles
A Simple Mathematical Approach to Human Society
Abstract PDF -
DAIMI Report Series No. 445 (1993): PB-445 Verification of Temporal Properties of Concurrent Systems - Articles
Verification of Temporal Properties of Concurrent Systems
Abstract PDF -
DAIMI Report Series No. 446 (1993): PB-446 On Reasoning about Infinite-State Systems in the Modal µ-Calculus - Articles
On Reasoning about Infinite-State Systems in the Modal µ-Calculus
Abstract PDF -
DAIMI Report Series No. 447 (1993): Pb-447 Finiteness Conditions for Strictness Analysis - Articles
Finiteness Conditions for Strictness Analysis
Abstract PDF -
DAIMI Report Series No. 92 (1978): PB-92 A Comparison of Monitors and Message Passing - Articles
A Comparison of Monitors and Message Passing
Abstract PDF -
DAIMI Report Series No. 448 (1993): PB-448 Strictness Types: An Inference Algorithm and an Application - Articles
Strictness Types: An Inference Algorithm and an Application
Abstract PDF -
DAIMI Report Series No. 449 (1993): PB-449 The breaking of the AR Hash Function - Articles
The breaking of the AR Hash Function
Abstract PDF -
DAIMI Report Series No. 93 (1979): PB-93 A Note on the Complexity of General D0L Membership - Articles
A Note on the Complexity of General D0L Membership
Abstract PDF -
DAIMI Report Series No. 260 (1988): PB-260 Neural Networks With Complex Connection Matrices - Articles
Neural Networks With Complex Connection Matrices
Abstract PDF -
DAIMI Report Series No. 450 (1993): PB-450 Layout Construction: A Case Study In Algorithm Engineering - Articles
Layout Construction: A Case Study In Algorithm Engineering
Abstract PDF -
DAIMI Report Series No. 94 (1979): PB-94 Specification and Verification of Concurrent Programs - Articles
Specification and Verification of Concurrent Programs
Abstract PDF -
DAIMI Report Series No. 259 (1988): PB-259 Some Behavioural Aspects of Net Theory - Articles
Some Behavioural Aspects of Net Theory
Abstract PDF -
DAIMI Report Series No. 19 (1973): PB-19 Prime Decompositions with Minimum Sum - Articles
Prime Decompositions with Minimum Sum
Abstract PDF -
DAIMI Report Series No. 95 (1979): PB-95 Delta Semantics Defined by Petri Nets - Articles
Delta Semantics Defined by Petri Nets
Abstract PDF -
DAIMI Report Series No. 451 (1993): PB-451 Performance of an Occam/transputer implementation of interval arithmetic - Articles
Performance of an Occam/transputer implementation of interval arithmetic
Abstract PDF -
DAIMI Report Series No. 540 (1999): PB-540 Ragnarok: An Architecture Based Software Development Environment - Articles
Ragnarok: An Architecture Based Software Development Environment
Abstract PDF -
DAIMI Report Series No. 452 (1993): PB-452 Communicative Action Notation with Shared Storage - Articles
Communicative Action Notation with Shared Storage
Abstract PDF -
DAIMI Report Series No. 453 (1993): PB-453 Sharing of Computations - Articles
Sharing of Computations
Abstract PDF -
DAIMI Report Series No. 454 (1993): PB-454 The AT-project: practical research in cooperative design - Articles
The AT-project: practical research in cooperative design
Abstract PDF -
DAIMI Report Series No. 455 (1993): PB-455 Complexity Results for 1-safe Nets - Articles
Complexity Results for 1-safe Nets
Abstract PDF -
DAIMI Report Series No. 466 (1994): PB-466 Tailorable Systems: Design, Support, Techniques, and Applications - Articles
Tailorable Systems: Design, Support, Techniques, and Applications
Abstract PDF -
DAIMI Report Series No. 96 (1979): PB-96 A Petri Net Definition of a System Description Language - Articles
A Petri Net Definition of a System Description Language
Abstract PDF -
DAIMI Report Series No. 64 (1976): PB-64 Not published - Articles
The BETA Project.
Abstract -
DAIMI Report Series No. 20 (1973): PB-20 On the Decidability of some Equivalence Problems for D0L-Systems - Articles
On the Decidability of some Equivalence Problems for D0L-Systems
Abstract PDF -
DAIMI Report Series No. 97 (1979): PB-97 Optimizing the Evaluation of Calculus Expressions in a Relational Database System - Articles
Optimizing the Evaluation of Calculus Expressions in a Relational Database System
Abstract PDF -
DAIMI Report Series No. 257 (1988): PB-257 Five Easy Pieces: Reframing the Design of Office Systems - Articles
Five Easy Pieces: Reframing the Design of Office Systems
Abstract PDF -
DAIMI Report Series No. 256 (1988): PB-256 In Search of Cooperation: An Historical Analysis of Work Organization and Management Strategies - Articles
In Search of Cooperation: An Historical Analysis of Work Organization and Management Strategies
Abstract PDF -
DAIMI Report Series No. 597 (2014): PB-597 Proceedings of Designing Self-care for Everyday Life. Workshop in conjunction with NordiCHI 2014, 27th October. - Articles
Proceedings of Designing Self-care for Everyday Life. Workshop in conjunction with NordiCHI 2014, 27th October.
Abstract PDF -
DAIMI Report Series No. 55 (1976): PB-55 Multi-Interpreter Systems - Articles
Multi-Interpreter Systems
Abstract PDF -
DAIMI Report Series No. 21 (1974): PB-21 Nonterminals, Homomorphisms, and Codings in Different Variations of 0L-Systems - Articles
Nonterminals, Homomorphisms, and Codings in Different Variations of 0L-Systems
Abstract PDF -
DAIMI Report Series No. 99 (1979): PB-99 Systems Development and Trade Union Activities - Articles
Systems Development and Trade Union Activities
Abstract PDF -
DAIMI Report Series No. 100 (1979): PB-100 An Experimental Comparison Between a Light Pen and a Joystick when Used for Free-Hand Drawing - Articles
An Experimental Comparison Between a Light Pen and a Joystick when Used for Free-Hand Drawing
Abstract PDF -
DAIMI Report Series No. 101 (1979): PB-101 Methods for Computing LALR(k) Lookahead - Articles
Methods for Computing LALR(k) Lookahead
Abstract PDF -
DAIMI Report Series No. 4 (1972): PB-4 Appendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejl. - Articles
Appendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejledning
Abstract PDF -
DAIMI Report Series No. 102 (1979): PB-102 Regions of Absolute Stability - Articles
Regions of Absolute Stability
Abstract PDF -
DAIMI Report Series No. 104 (1979): PB-104 Coloured Petri Nets and the Invariant-Method - Articles
Coloured Petri Nets and the Invariant-Method
Abstract PDF -
DAIMI Report Series No. 105 (1979): PB-105 Extended Attribute Grammars - Articles
Extended Attribute Grammars
Abstract PDF -
DAIMI Report Series No. 255 (1988): PB-255 From High-level Descriptions to VLSI Circuits - Articles
From High-level Descriptions to VLSI Circuits
Abstract PDF -
DAIMI Report Series No. 134 (1981): PB-134 An Integrated Rational Arithmetic Unit - Articles
An Integrated Rational Arithmetic Unit
Abstract PDF -
DAIMI Report Series No. 106 (1979): PB-106 Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts) - Articles
Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts)
Abstract PDF -
DAIMI Report Series No. 159 (1983): PB-159 Event Structure Semantics for CCS and Related Languages - Articles
Event Structure Semantics for CCS and Related Languages
Abstract PDF -
DAIMI Report Series No. 107 (1980): PB-107 Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof - Articles
Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof
Abstract PDF -
DAIMI Report Series No. 108 (1980): PB-108 A method to compare the descriptive power of different types of Petri nets - Articles
A method to compare the descriptive power of different types of Petri nets
Abstract PDF -
DAIMI Report Series No. 253 (1988): PB-253 A Framework for Computer Supported Cooperative Work - Articles
A Framework for Computer Supported Cooperative Work
Abstract PDF -
DAIMI Report Series No. 109 (1980): PB-109 On Defining Semantics by Means of Extended Attribute Grammars - Articles
On Defining Semantics by Means of Extended Attribute Grammars
Abstract PDF -
DAIMI Report Series No. 251 (1988): PB-251 Teaching Object-Oriented Programming is more than teaching Object-Oriented Programming Languages - Articles
Teaching Object-Oriented Programming is more than teaching: Object-Oriented Programming Languages
Abstract PDF -
DAIMI Report Series No. 22 (1974): PB-22 BOBS-SYSTEM Tilføjelser og ændringer til brugervejledning - Articles
BOBS-SYSTEM Tilføjelser og ændringer til brugervejledning
Abstract PDF -
DAIMI Report Series No. 110 (1980): PB-110 A General Algorithm for Solving a Set of Recursive Equations: Exemplified by LR-theory - Articles
A General Algorithm for Solving a Set of Recursive Equations: Exemplified by LR-theory
Abstract PDF -
DAIMI Report Series No. 103 (1979): PB-103 Parallelism in ADA: Program Design and Meaning - Articles
Parallelism in ADA: Program Design and Meaning
Abstract PDF -
DAIMI Report Series No. 111 (1980): PB-111 On Solving Some Large Linear Problems: By Direct Methods - Articles
On Solving Some Large Linear Problems: By Direct Methods
Abstract PDF -
DAIMI Report Series No. 112 (1980): PB-112 Modified Diagonally Implicit Runge-Kutta Methods - Articles
Modified Diagonally Implicit Runge-Kutta Methods
Abstract PDF -
DAIMI Report Series No. 113 (1980): PB-113 Compiler Generation from Denotational Semantics - Articles
Compiler Generation from Denotational Semantics
Abstract PDF -
DAIMI Report Series No. 114 (1980): PB-114 Subclasses of Attribute Grammars - Articles
Subclasses of Attribute Grammars
Abstract PDF -
DAIMI Report Series No. 5 (1972): PB-5 Alice - A Language Improving Computer Education - Articles
Alice - A Language Improving Computer Education
Abstract PDF -
DAIMI Report Series No. 115 (1980): PB-115 A Practical State Splitting Algorithm for Constructing LR-Parsers - Articles
A Practical State Splitting Algorithm for Constructing LR-Parsers
Abstract PDF -
DAIMI Report Series No. 133 (1981): PB-133 A Cook's Tour of Countable Nondeterminism - Articles
A Cook's Tour of Countable Nondeterminism
Abstract PDF -
DAIMI Report Series No. 116 (1980): PB-116 Petri Nets and Semantics of System Descriptions - Articles
Petri Nets and Semantics of System Descriptions
Abstract PDF -
DAIMI Report Series No. 117 (1980): PB-117 Space-Restricted Attribute Grammars - Articles
Space-Restricted Attribute Grammars
Abstract PDF -
DAIMI Report Series No. 118 (1980): PB-118 A Constructive Approach to Compiler Correctness - Articles
A Constructive Approach to Compiler Correctness
Abstract PDF -
DAIMI Report Series No. 23 (1974): PB-23 Proposal for a Nucleus I/O System - Articles
Proposal for a Nucleus I/O System
Abstract PDF -
DAIMI Report Series No. 119 (1980): PB-119 Attribute-Influenced LR Parsing - Articles
Attribute-Influenced LR Parsing
Abstract PDF -
DAIMI Report Series No. 120 (1980): PB-120 How to find Invariants for Coloured Petri Nets - Articles
How to find Invariants for Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 250 (1988): PB-250 Name Collision in Multiple Classification Hierarchies - Articles
Name Collision in Multiple Classification Hierarchies
Abstract PDF -
DAIMI Report Series No. 249 (1988): PB-249 Anonymous and Verifiable Registration in Databases - Articles
Anonymous and Verifiable Registration in Databases
Abstract PDF -
DAIMI Report Series No. 248 (1988): PB-248 Transaction Supporting Systems and Organisational Change - Articles
Transaction Supporting Systems and Organisational Change
Abstract PDF -
DAIMI Report Series No. 121 (1980): PB-121 K-Visit Attribute Grammars - Articles
K-Visit Attribute Grammars
Abstract PDF -
DAIMI Report Series No. 24 (1974): PB-24 Analysis of Numerical Solution of the Stefan Problem - Articles
Analysis of Numerical Solution of the Stefan Problem
Abstract PDF -
DAIMI Report Series No. 122 (1980): PB-122 Comparison of two pivotal strategies in sparse plane rotations - Articles
Comparison of two pivotal strategies in sparse plane rotations
Abstract PDF -
DAIMI Report Series No. 247 (1988): PB-247 Object Oriented Programming and Computerised Shared Material - Articles
Object Oriented Programming and Computerised Shared Material
Abstract PDF -
DAIMI Report Series No. 246 (1988): PB-246 A Feeling for Systems Development Work - Design of the ROSA Project - Articles
A Feeling for Systems Development Work: - Design of the ROSA Project
Abstract PDF -
DAIMI Report Series No. 245 (1988): PB-245 Sprogbrug og Design - sammenfattende redegørelse - Articles
Sprogbrug og Design: - sammenfattende redegørelse
Abstract PDF -
DAIMI Report Series No. 123 (1980): PB-123 Direct Methods for Sparse Matrices - Articles
Direct Methods for Sparse Matrices
Abstract PDF -
DAIMI Report Series No. 244 (1988): PB-244 Design and Professional Languages - Articles
Design and Professional Languages
Abstract PDF -
DAIMI Report Series No. 25 (1974): PB-25 On Extentions of Algol-like Languages - Articles
On Extentions of Algol-like Languages
Abstract PDF -
DAIMI Report Series No. 243 (1988): PB-243 Breakthrough by Breakdown: Metaphors and Structured Domains - Articles
Breakthrough by Breakdown: Metaphors and Structured Domains
Abstract PDF -
DAIMI Report Series No. 136 (1981): PB-136 Systemudvikling og systemudviklingsmetode - Articles
Systemudvikling og systemudviklingsmetode
Abstract PDF -
DAIMI Report Series No. 242 (1988): PB-242 Information Systems Assessment as a Learning Process - Articles
Information Systems Assessment as a Learning Process
Abstract PDF -
DAIMI Report Series No. 241 (1988): PB-241 An Exact and Efficient Implementation of Threshold Gates with Arbitrary Real Weights - Articles
An Exact and Efficient Implementation of Threshold Gates with Arbitrary Real Weights
Abstract PDF -
DAIMI Report Series No. 145 (1982): PB-145 Abstract Semantic Algebras! - Articles
Abstract Semantic Algebras!
Abstract PDF -
DAIMI Report Series No. 240 (1988): PB-240 The Depth Efficacy of Unbounded Characteristic Finite Field Arithmetic - Articles
The Depth Efficacy of Unbounded: Characteristic Finite Field Arithmetic
Abstract PDF -
DAIMI Report Series No. 26 (1974): PB-26 Methods for Updating the Singular Value Decomposition - Articles
Methods for Updating the Singular Value Decomposition
Abstract PDF -
DAIMI Report Series No. 182 (1984): PB-182 How Readers Annotate Textbooks and Manuals - Articles
How Readers Annotate Textbooks and Manuals
Abstract PDF -
DAIMI Report Series No. 190 (1985): PB-190 A Tool Perspective on Design of Interactive Computer Support for Skilled Workers - Articles
A Tool Perspective on Design of Interactive Computer Support for Skilled Workers
Abstract PDF -
DAIMI Report Series No. 27 (1974): PB-27 A Variable Projection Method for Solving Separable Nonlinear Least Squares Problems - Articles
A Variable Projection Method for Solving Separable Nonlinear Least Squares Problems
Abstract PDF -
DAIMI Report Series No. 239 (1988): PB-239 An Algebraic Model for Bounding Threshold Circuit Depth - Articles
An Algebraic Model for Bounding Threshold Circuit Depth
Abstract PDF -
DAIMI Report Series No. 596 (2013): PB-596 ECSCW 2013 Adjunct Proceedings The 13th European Conference on Computer Supported Cooperative Work - Articles
ECSCW 2013 Adjunct Proceedings The 13th European Conference on Computer Supported Cooperative Work 21 - 25. September 2013, Paphos, Cyprus
Abstract PDF -
DAIMI Report Series No. 237 (1987): PB-237 The Head and the Heart - Articles
The Head and the Heart
Abstract PDF -
DAIMI Report Series No. 238 (1987): PB-238 ZEN and the Art of Teaching Systems Development - Articles
ZEN and the Art of Teaching Systems Development
Abstract PDF -
DAIMI Report Series No. 185 (1984): PB-185 Experiments with a Multiprocessor - Articles
Experiments with a Multiprocessor
Abstract PDF -
DAIMI Report Series No. 262 (1988): PB-262 Computer Support for Cooperative Design - Articles
Computer Support for Cooperative Design
Abstract PDF -
DAIMI Report Series No. 28 (1974): PB-28 A PASCAL Environment Machine (P-code) - Articles
A PASCAL Environment Machine (P-code)
Abstract PDF -
DAIMI Report Series No. 138 (1981): PB-138 Computation sequences: A way to characterize subclasses of attribute grammars - Articles
Computation sequences: A way to characterize subclasses of attribute grammars.
Abstract PDF -
DAIMI Report Series No. 268 (1988): PB-268 A Non Trivial Pursuit: - systems development as cooperation - Articles
A Non Trivial Pursuit: - systems development as cooperation
Abstract PDF -
DAIMI Report Series No. 236 (1987): PB-236 An Object-Oriented Metaprogramming System - Articles
An Object-Oriented Metaprogramming System
Abstract PDF -
DAIMI Report Series No. 29 (1974): PB-29 A Description of the RIKKE 1 System - Articles
A Description of the RIKKE 1 System
Abstract PDF -
DAIMI Report Series No. 456 (1993): PB-456 Relationships between Models of Concurency - Articles
Relationships between Models of Concurency
Abstract PDF -
DAIMI Report Series No. 457 (1993): PB-457 Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop - Articles
Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop
Abstract PDF -
DAIMI Report Series No. 458 (1993): PB-458 Design Issues for a Dexter-based Hypermedia System - Articles
Design Issues for a Dexter-based Hypermedia System
Abstract PDF -
DAIMI Report Series No. 291 (1989): PB-291 A Human Activity Approach to User Interfaces - Articles
A Human Activity Approach to User Interfaces
Abstract PDF -
DAIMI Report Series No. 235 (1987): PB-235 Coroutine Sequencing in BETA - Articles
Coroutine Sequencing in BETA
Abstract PDF -
DAIMI Report Series No. 459 (1993): PB-459 Designing Dexter-based Cooperative Hypermedia Systems - Articles
Designing Dexter-based Cooperative Hypermedia Systems
Abstract PDF -
DAIMI Report Series No. 234 (1987): PB-234 A Cooperative Work Perspective on Use and Development of Computer Artifacts - Articles
A Cooperative Work Perspective on Use and Development of Computer Artifacts
Abstract PDF -
DAIMI Report Series No. 460 (1993): PB-460 Determinizing Asynchronous Automata - Articles
Determinizing Asynchronous Automata
Abstract PDF -
DAIMI Report Series No. 233 (1987): PB-233 Prototyping Revisited - design with users in a cooperative setting - Articles
Prototyping Revisited: - design with users in a cooperative setting
Abstract PDF -
DAIMI Report Series No. 307 (1990): PB-307 Partial orders and fully abstract models for concurrency - Articles
Partial orders and fully abstract models for concurrency
Abstract PDF -
DAIMI Report Series No. 461 (1993): PB-461 Rewriting Extended Regular Expressions - Articles
Rewriting Extended Regular Expressions
Abstract PDF -
DAIMI Report Series No. 462 (1993): PB-462 Fibrations, Logical Predicates and Indeterminates - Articles
Fibrations, Logical Predicates and Indeterminates
Abstract PDF -
DAIMI Report Series No. 463 (1993): PB-463 Models for Concurrency - Articles
Models for Concurrency
Abstract PDF -
DAIMI Report Series No. 464 (1993): PB-464 Efficient Training of Feed-Forward Neural Networks - Articles
Efficient Training of Feed-Forward Neural Networks
Abstract PDF -
DAIMI Report Series No. 465 (1994): PB-465 Challenging Practice: an approach to Cooperative Analysis - Articles
Challenging Practice: an approach to Cooperative Analysis
Abstract PDF -
DAIMI Report Series No. 467 (1994): PB-467 Bisimulations, Games and Logic - Articles
Bisimulations, Games and Logic
Abstract PDF -
DAIMI Report Series No. 468 (1994): PB-468 Computing Near-Optimal Solutions to the Steiner Problem in a Graph Using a Genetic Algorithm - Articles
Computing Near-Optimal Solutions to the Steiner Problem in a Graph Using a Genetic Algorithm
Abstract PDF -
DAIMI Report Series No. 469 (1994): PB-469 Graphs and Decidable Transductions based on Edge Constraints: Extended abstract - Articles
Graphs and Decidable Transductions based on Edge Constraints: Extended abstract
Abstract PDF -
DAIMI Report Series No. 308 (1990): PB-308 True concurrency can be traced - Articles
True concurrency can be traced
Abstract PDF -
DAIMI Report Series No. 470 (1994): PB-470 Verification of Pointers - Articles
Verification of Pointers
Abstract PDF -
DAIMI Report Series No. 254 (1988): PB-254 A Discussion of Computer Supported Cooperative Work: Overview Paper - Articles
A Discussion of Computer Supported Cooperative Work: Overview Paper
Abstract PDF -
DAIMI Report Series No. 471 (1994): PB-471 Oasis: An Optimizing Action-based Compiler Generator - Articles
Oasis: An Optimizing Action-based Compiler Generator
Abstract PDF -
DAIMI Report Series No. 472 (1994): PB-472 Practically Secure Feistel Ciphers - Articles
Practically Secure Feistel Ciphers
Abstract PDF -
DAIMI Report Series No. 473 (1994): PB-473 Provable Security Against a Differential Attack - Articles
Provable Security Against a Differential Attack
Abstract PDF -
DAIMI Report Series No. 312 (1990): PB-312 Teaching object-oriented programming using BETA - Articles
Teaching object-oriented programming using BETA
Abstract PDF -
DAIMI Report Series No. 474 (1994): PB-474 Strictness and Totality Analysis - Articles
Strictness and Totality Analysis
Abstract PDF -
DAIMI Report Series No. 258 (1988): PB-258 Verification of VLSI Circuits Using LP - Articles
Verification of VLSI Circuits Using LP
Abstract PDF -
DAIMI Report Series No. 475 (1994): PB-475 What's Connectionism got to do with IT?! - Articles
What's Connectionism got to do with IT?!
Abstract PDF -
DAIMI Report Series No. 476 (1994): PB-476 An Introduction to the Theoretical Aspects of Coloured Petri Nets - Articles
An Introduction to the Theoretical Aspects of Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 477 (1994): PB-477 Witness Hiding Proofs and Applications - Articles
Witness Hiding Proofs and Applications
Abstract PDF -
DAIMI Report Series No. 478 (1994): PB-478 Adaptive Performance Network?: Is it the Answer to our Prayers? - Articles
Adaptive Performance Network?: Is it the Answer to our Prayers?
Abstract PDF -
DAIMI Report Series No. 479 (1994): PB-479 Creating Conditions for Participation: Conflicts and Resources in Systems Design - Articles
Creating Conditions for Participation: Conflicts and Resources in Systems Design
Abstract PDF -
DAIMI Report Series No. 480 (1994): PB-480 From Implementation to Design: Tailoring and the Emergence of Systematization in CSCW - Articles
From Implementation to Design: Tailoring and the Emergence of Systematization in CSCW
Abstract PDF -
DAIMI Report Series No. 30 (1974): PB-30 Parallel Context-Free Languages - Articles
Parallel Context-Free Languages
Abstract PDF -
DAIMI Report Series No. 252 (1988): PB-252 Programming Environments and System Development Environments - Articles
Programming Environments and System Development Environments
Abstract PDF -
DAIMI Report Series No. 481 (1994): PB-481 Group Signatures: Unconditional Security for Members - Articles
Group Signatures: Unconditional Security for Members
Abstract PDF -
DAIMI Report Series No. 482 (1994): PB-482 The Cocktail Party Listener - Articles
The Cocktail Party Listener
Abstract PDF -
DAIMI Report Series No. 329 (1990): PB-329 Theoretical Aspects of Semantics-Based Language Implementation - Articles
Theoretical Aspects of Semantics-Based Language Implementation
Abstract PDF -
DAIMI Report Series No. 483 (1994): PB-483 Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages - Articles
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
Abstract PDF -
DAIMI Report Series No. 484 (1994): PB-484 Patterns, Graphs, and DNA - Articles
Patterns, Graphs and DNA
Abstract PDF -
DAIMI Report Series No. 485 (1994): PB-485 Block Ciphers: Analysis, Design and Applications - Articles
Block Ciphers: Analysis, Design and Applications
Abstract PDF -
DAIMI Report Series No. 486 (1994): PB-486 Training of Neural Networks by means of Genetic Algorithms Working on very long Chromosomes - Articles
Training of Neural Networks by means of Genetic Algorithms Working on very long Chromosomes
Abstract PDF -
DAIMI Report Series No. 487 (1994): PB-487 Adaptive Approaches Towards Better GA Performance in Dynamic Fitness Landscapes - Articles
Adaptive Approaches Towards Better GA Performance in Dynamic Fitness Landscapes
Abstract PDF -
DAIMI Report Series No. 488 (1994): PB-488 Scenarios as springboards in design of CSCW - Articles
Scenarios as springboards in design of CSCW
Abstract PDF -
DAIMI Report Series No. 232 (1987): PB-232 A Distributed Election and Spanning Tree Algorithm Based on Depth First Search Traversals - Articles
A Distributed Election and Spanning Tree Algorithm Based on Depth First Search
Abstract PDF -
DAIMI Report Series No. 489 (1994): PB-489 A conceptual toolbox for designing CSCW applications - Articles
A conceptual toolbox for designing CSCW applications
Abstract PDF -
DAIMI Report Series No. 332 (1990): PB-332 Cooperative Prototyping: Users and Designers in Mutual Activity - Articles
Cooperative Prototyping: Users and Designers in Mutual Activity
Abstract PDF -
DAIMI Report Series No. 333 (1990): PB-333 Supporting Active User Involvement in Prototyping - Articles
Supporting Active User Involvement in Prototyping
Abstract PDF -
DAIMI Report Series No. 231 (1987): PB-231 Classification of Actions - or Inheritance also for Methods - Articles
Classification of Actions or Inheritance also for Methods
Abstract PDF -
DAIMI Report Series No. 490 (1994): PB-490 A pictorial illustration of conventional cryptography - Articles
A pictorial illustration of conventional cryptography
Abstract PDF -
DAIMI Report Series No. 491 (1994): PB-491 Placement and global routing of VLSI macro-Cell layouts using genetic algorithms - Articles
Placement and global routing of VLSI macro-Cell layouts using genetic algorithms
Abstract PDF