BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Italy
1 × Poland
1 × Portugal
1 × Spain
1 × The Netherlands
Collaborated with:
H.R.Andersen S.M.Burns G.Behrmann K.G.Larsen J.Lind-Nielsen P.F.Williams J.B.Møller J.Lichtenberg K.J.Kristoffersen
Talks about:
diagram (3) use (3) composit (2) express (2) boolean (2) analysi (2) system (2) verif (2) state (2) event (2)

Person: Henrik Hulgaard

DBLP DBLP: Hulgaard:Henrik

Contributed to:

TACAS 20012001
CSL 19991999
TACAS 19991999
TACAS 19981998
LICS 19971997
CAV 19951995

Wrote 6 papers:

TACAS-2001-WilliamsAH #diagrams #satisfiability #using
Satisfiability Checking Using Boolean Expression Diagrams (PFW, HRA, HH), pp. 39–51.
CSL-1999-MollerLAH #diagrams #difference
Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.
TACAS-1999-BehrmannLAHL #composition #reuse #usability #using #verification
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality (GB, KGL, HRA, HH, JLN), pp. 163–177.
TACAS-1998-Lind-NielsenABHKL #analysis #composition #dependence #scalability #using #verification
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (JLN, HRA, GB, HH, KJK, KGL), pp. 201–216.
LICS-1997-AndersenH #diagrams
Boolean Expression Diagrams (HRA, HH), pp. 88–98.
CAV-1995-HulgaardB #analysis #performance #petri net
Efficient Timing Analysis of a Class of Petri Nets (HH, SMB), pp. 423–436.

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.