2006 |
19 | EE | Jerry Gao,
Yumei Wu,
Lee Chang,
Sigurd Meldal:
Measuring Component-Based Systems Using a Systematic Approach and Environment.
SOSE 2006: 121-129 |
2001 |
18 | EE | Michal Walicki,
Adis Hodzic,
Sigurd Meldal:
Compositional Homomorphisms of Relational Structures.
FCT 2001: 359-371 |
17 | | Michal Walicki,
Sigurd Meldal:
Nondeterminism vs. Underspecification.
ISAS-SCI (1) 2001: 551-555 |
16 | | Michal Walicki,
Magne Haveraaen,
Sigurd Meldal:
Computation Algebras.
Mathematical Structures in Computer Science 11(5): 597-636 (2001) |
1997 |
15 | | Sigurd Meldal,
David C. Luckham:
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification.
Requirements Targeting Software and Systems Engineering 1997: 293-329 |
14 | | Michal Walicki,
Sigurd Meldal:
Singular and Plural Nondeterministic Parameters.
SIAM J. Comput. 26(4): 991-1005 (1997) |
1996 |
13 | EE | Michal Walicki,
Sigurd Meldal:
Algebraic Approaches to Nondeterminism: An Overview.
ACM Comput. Surv. 29(1): 30-81 (1996) |
1995 |
12 | | Anca I. Vermesan,
Sigurd Meldal:
An Algebraic Approach to Refinement of KBS Specification.
EUROVAV 1995: 265-276 |
11 | | Michal Walicki,
Sigurd Meldal:
Generated Models and the omega-Rule: The Nondeterministic Case.
TAPSOFT 1995: 424-438 |
10 | EE | Michal Walicki,
Sigurd Meldal:
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.
ACM Trans. Program. Lang. Syst. 17(2): 366-393 (1995) |
1994 |
9 | | Michal Walicki,
Sigurd Meldal:
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions.
COMPASS/ADT 1994: 453-468 |
8 | | Aida Pliuskeviciene,
Regimantas Pliuskevicius,
Michal Walicki,
Sigurd Meldal:
On Specialization of Derivations in Axiomatic Equality Theories.
LFCS 1994: 291-303 |
1991 |
7 | EE | Neel Madhav,
Sigurd Meldal:
An object-oriented approach to formal specification of reactive systems.
ICDCS 1991: 134-141 |
6 | | Sigurd Meldal,
Sriram Sankar,
James Vera:
Exploiting Locality in Maintaining Potential Causality.
PODC 1991: 231-239 |
5 | | John C. Mitchell,
Sigurd Meldal,
Neel Madhav:
An Extension of Standard ML Modules with Subtyping and Inheritance.
POPL 1991: 270-278 |
4 | | Sigurd Meldal:
A Complete Axiomatic Semantics of Spawning.
Distributed Computing 5: 159-174 (1991) |
1986 |
3 | | David C. Luckham,
David P. Helmbold,
Sigurd Meldal,
D. L. Bryan,
M. A. Haberler:
Task Sequencing Languages for Specifying Distributed Ada Systems.
System Development and Ada 1986: 249-305 |
2 | | Sigurd Meldal:
An Axiomatic Semantics for Nested Concurrency.
BIT 26(2): 164-174 (1986) |
1 | | Sigurd Meldal:
Partial Correctness of Exits from Concurrent Structures.
BIT 26(3): 295-302 (1986) |