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 × Canada
1 × China
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
S.Höck S.Blom J.v.d.Pol T.D.Mahler M.Hermann V.Shah C.Ren B.Bollig M.Leucker F.Schaub J.Seifert F.Honold M.Müller E.Rukzio C.Cascaval S.Fowler P.Montesinos-Ortego W.Piekarski M.Reshadi B.Robatmili V.Bhavsar
Talks about:
parallel (2) interfac (2) interact (2) display (2) broken (2) mobil (2) telecooper (1) constraint (1) smartphon (1) framework (1)

Person: Michael Weber

DBLP DBLP: Weber:Michael

Contributed to:

CHI 20142014
PPoPP 20132013
CAV 20102010
HCI p3 20092009
SCAM 20012001
TACAS 20012001
EDOC 19971997

Wrote 7 papers:

CHI-2014-SchaubSHMR0 #interactive #interface #quote #smarttech
“Broken display = broken interface”: the impact of display damage on smartphone interaction (FS, JS, FH, MM, ER, MW), pp. 2337–2346.
PPoPP-2013-CascavalFMPRRWB #manycore #mobile #named #parallel #web
ZOOMM: a parallel web browser engine for multicore mobile devices (CC, SF, PMO, WP, MR, BR, MW, VB), pp. 271–280.
CAV-2010-BlomPW #distributed #named #reachability
LTSmin: Distributed and Symbolic Reachability (SB, JvdP, MW), pp. 354–359.
HCI-AUII-2009-MahlerHW #interactive #interface #mobile
Mobile Interfaces in Tangible Mnemonics Interaction (TDM, MH, MW), pp. 58–66.
SCAM-2001-WeberSR #case study #constraints #detection #optimisation #security #using
A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization (MW, VS, CR), pp. 3–13.
TACAS-2001-BolligLW #calculus #model checking #parallel #μ-calculus
Parallel Model Checking for the Alternation Free μ-Calculus (BB, ML, MW), pp. 543–558.
EDOC-1997-HockW #framework
A Telecooperation Framework Based on Broker and Trading Services (SH, MW), pp. 272–281.

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.