Accès à distance ? S'identifier sur le proxy UCLouvain | Saint-Louis
Displaying 19 results.
-
-
- Speech
(2009) 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009) — Eindhoven, Netherlands -
- Speech
(2009) 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009) — Eindhoven, Netherlands -
-
- Speech
(2015) EMOOCS 2015 (Third MOOC European Stakeholders Summit) — Mons, Belgium -
- Speech
(2015) HybridEd Workshop on MOOC-based Models for Hybrid Pedagogies — Toledo, Spain -
- Journal article
(2013) Olympiads in Informatics — Vol. 7, p. 3-13 (2013) -
- Journal article
(2012) Olympiads in Informatics — Vol. 6, p. 31-43 (2012) -
- Journal article
(2011) Olympiads in Informatics — Vol. 5, p. 131-139 (2011) -
- Speech
(2012) AIPU 2012 — trois-rivières, Canada -
- Speech
(2014) AAAI 2014 Symposium "Modeling in Human Machine Systems: Challenges for Formal Verification" — Palo Alto, 2014 -
- Speech
(2015) Workshop on Formal Methods in Human Computer Interaction (FoMHCI), in conjunction with ACM SIGCHI Symposium on Enginnering Interactive Computing Systems (EICS) 2015 — Duisburg, Germany -
- Journal article
(2016) IEEE Transactions on Human-Machine Systems — Vol. 46, no. 2, p. 267-278 (2016) -
- BookChapter
(2017) Formal Methods in Human Computer Interactions — -
- Speech
(2011) The Java Pathfinder Workshop 2011 — Oread, Lawrence, Kansas -
- Speech
(2011) International Workshop on Machine Learning Technologies in Software Engineering — Lawrence, Kansas -
- Speech
(2011) International Conference on Systems, Man, and Cybernetics — Anchorage, Alaska -
- Speech
(2009) the acm sigchi symposium on engineering interactive computing systems — Pittsburgh, Pennsylvania, USA. -
- Speech
(2014) EMOOCs 2014, the Second MOOC European Stakeholders Summit — Lausanne, Switzerland
