BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Greece
1 × Ireland
1 × Sweden
1 × USA
Collaborated with:
K.Krukow M.Carbone V.Sassone C.Palamidessi F.D.Valencia K.Havelund K.R.Wagner C.George
Talks about:
languag (2) formal (2) trust (2) model (2) whi (2) constraint (1) program (1) partial (1) network (1) express (1)

Person: Mogens Nielsen

DBLP DBLP: Nielsen:Mogens

Facilitated 6 volumes:

FoSSaCS 2002Ed
ICALP 1999Ed
CSL 1997Ed
ICALP 1982Ed
TAPSOFT CAAP/FASE 1995Ed
TAPSOFT 1995Ed

Contributed to:

PPDP 20032003
SEFM 20032003
PPDP 20022002
ICALP 20012001
VDM Europe 19881988

Wrote 5 papers:

PPDP-2003-NielsenK #towards #trust
Towards a formal notion of trust (MN, KK), pp. 4–7.
SEFM-2003-CarboneNS #formal method #network #trust
A Formal Model for Trust in Dynamic Networks (MC, MN, VS), p. 54–?.
PPDP-2002-NielsenPV #concurrent #constraints #on the #power of #programming language
On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.
ICALP-2001-Nielsen #modelling #partial order #question #why
Modelling with Partial Orders — Why and Why Not? (MN), pp. 61–63.
VDME-1988-NielsenHWG #tool support
The RAISE Language, Method and Tools (MN, KH, KRW, CG), pp. 376–405.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.