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: Moser:Louise_E=
Contributed to:
20122010
2001
1999
1996
19961993
1992
1988Wrote 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.