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: Weber:Michael
Contributed to:
2014
2013
2010
2009
2001
2001
1997Wrote 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.