dblp.uni-trier.dewww.uni-trier.de

Sigurd Meldal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
19EEJerry Gao, Yumei Wu, Lee Chang, Sigurd Meldal: Measuring Component-Based Systems Using a Systematic Approach and Environment. SOSE 2006: 121-129
2001
18EEMichal 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
13EEMichal 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
10EEMichal 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
7EENeel 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)

Coauthor Index

1D. L. Bryan [3]
2Lee Chang [19]
3Jerry Zeyu Gao (Jerry Z. Gao, Jerry Gao) [19]
4M. A. Haberler [3]
5Magne Haveraaen [16]
6David P. Helmbold [3]
7Adis Hodzic [18]
8David C. Luckham [3] [15]
9Neel Madhav [5] [7]
10John C. Mitchell [5]
11Aida Pliuskeviciene [8]
12Regimantas Pliuskevicius [8]
13Sriram Sankar [6]
14James Vera [6]
15Anca I. Vermesan [12]
16Michal Walicki [8] [9] [10] [11] [13] [14] [16] [17] [18]
17Yumei Wu [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)