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 × Australia
1 × China
1 × Greece
2 × Germany
3 × USA
Collaborated with:
P.M.Melliar-Smith Y.S.Ramakrishna L.K.Dillon L.A.Tewksbury G.Kutty G.Miao X.Yan S.Tao N.Anerousis P.Narasimhan V.Kalogeraki G.Kutty Y.Chen Z.Guan J.Sun
Talks about:
system (4) graphic (3) toolset (2) concurr (2) interv (2) applic (2) logic (2) time (2) real (2) probabilist (1)

Person: Louise E. Moser

DBLP DBLP: Moser:Louise_E=

Contributed to:

KDD 20122012
KDD 20102010
ICSM 20012001
EDOC 19991999
CAV 19961996
TACAS 19961996
CAV 19931993
ICSE 19921992
CADE 19881988

Wrote 9 papers:

KDD-2012-MiaoGMYTAS #analysis #documentation
Latent association analysis of document pairs (GM, ZG, LEM, XY, ST, NA, JS), pp. 1415–1423.
KDD-2010-MiaoMYTCA #generative #modelling #network
Generative models for ticket resolution in expert networks (GM, LEM, XY, ST, YC, NA), pp. 733–742.
ICSM-2001-TewksburyMM #corba #replication #using
Live Upgrades of CORBA Applications Using Object Replication (LAT, LEM, PMMS), p. 488–?.
EDOC-1999-MoserMNTK #architecture #enterprise
The Eternal system: an architecture for enterprise applications (LEM, PMMS, PN, LAT, VK), pp. 214–222.
CAV-1996-MoserMRKD #logic #realtime #tool support #visual notation
The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
TACAS-1996-MoserM #automaton #probability #realtime
Probabilistic Duration Automata for Analyzing Real-Time Systems (LEM, PMMS), pp. 369–390.
CAV-1993-KuttyRMDM #concurrent #logic #tool support #verification #visual notation
A Graphical Interval Logic Toolset for Verifying Concurrent Systems (GK, YSR, LEM, LKD, PMMS), pp. 138–153.
ICSE-1992-DillonKMMR #concurrent #specification #visual notation
Graphical Specifications for Concurrent Software Systems (LKD, GK, LEM, PMMS, YSR), pp. 214–224.
CADE-1988-Moser #graph
A Decision Procedure for Unquantified Formulas of Graph Theory (LEM), pp. 344–357.

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.