Travelled to:1 × Canada
1 × Germany
1 × Ireland
1 × USA
Collaborated with:∅ C.Kühnel I.Wechsung S.Möller S.Fagel J.Guillory J.Spiegel M.Drislane W.Donner J.T.Hancock V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova T.Ridge J.Smans S.Tobies T.Tuerk M.Ulbrich
Talks about:calculus (2) abstract (2) program (2) predic (2) logic (2) comparison (1) distribut (1) contagion (1) interact (1) competit (1)
Person: Benjamin Weiß
DBLP: Weiss_0001:Benjamin
Contributed to:
2011
2011
2009
20092011Wrote 5 papers:
- CHI-2011-GuillorySDWDH #distributed
- Upset now?: emotion contagion in distributed groups (JG, JS, MD, BW, WD, JTH), pp. 745–748.
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
- HCI-AUII-2009-WeissKWMF #comparison
- Comparison of Different Talking Heads in Non-Interactive Settings (BW, CK, IW, SM, SF), pp. 349–357.
- IFM-2009-Weiss #abstraction #calculus #logic
- Predicate Abstraction in a Program Logic Calculus (BW), pp. 136–150.
- IFM-J-2009-Weiss11 #abstraction #calculus #logic
- Predicate abstraction in a program logic calculus (BW), pp. 861–876.