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 × France
1 × Russia
1 × Switzerland
1 × USA
2 × Germany
2 × The Netherlands
Collaborated with:
S.Mauw R.L.Krikhaar N.Goga J.Tretmans A.Engels J.Kierkels N.H.v.Schijndel M.v.Lieshout W.Chen I.Ayoola S.Bambang-Oetomo R.d.Jong J.Medema F.A.C.Meijs J.R.Moonen J.v.Wamel B.Eggen Mark de Graaf Peter Peters 0002 Jingya Li Erik D. Van der Spek Jun Hu 0001 R.J.Bril A.Glas T.Winter A.Belinfante J.Feenstra R.G.d.Vries L.Heerink
Talks about:
use (6) test (4) game (4) system (3) intervent (2) interact (2) express (2) physic (2) comput (2) relat (2)

Person: Loe M. G. Feijs

DBLP DBLP: Feijs:Loe_M=_G=

Contributed to:

HCI/DUXU p3 20132013
DATE 20102010
TestCom 20022002
CSMR 20002000
CSMR 19991999
World Congress on Formal Methods 19991999
IWTCS 19991999
IWTCS 19981998
TACAS 19971997
DiGRA 20032003
CHI PLAY 20192019

Wrote 11 papers:

DUXU-NTE-2013-FeijsKSL #design #using
Design for Relaxation during Milk Expression Using Biofeedback (LMGF, JK, NHvS, MvL), pp. 494–503.
DATE-2010-ChenABF #monitoring #using
Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter (WC, IA, SBO, LMGF), pp. 1530–1535.
TestCom-2002-FeijsGMT #distance #heuristic #testing
Test Selection, Trace Distance and Heuristics (LMGF, NG, SM, JT), pp. 267–282.
CSMR-2000-BrilFGKW #algebra #multi #using
Hiding Expressed Using Relation Algebra with Multi-Relations — Oblique Lifting and Lowering for Unbalanced Systems (RJB, LMGF, AG, RLK, TW), pp. 33–44.
CSMR-1999-KrikhaarFJM #architecture #comprehension #tool support
Architecture Comprehension Tools for a PBX System (RLK, LMGF, RdJ, JM), pp. 31–41.
FM-v2-1999-Feijs #modelling #using #π-calculus
Modelling Microsoft COM Using π-Calculus (LMGF), pp. 1343–1363.
IWTCS-1999-BelinfanteFVTGFMH #automation #empirical #testing
Formal Test Automation: A Simple Experiment (AB, JF, RGdV, JT, NG, LMGF, SM, LH), pp. 179–196.
IWTCS-1998-FeijsMMW #consistency #multi #testing #using
Conformance Testing of a Multimedia System Using PHACT (LMGF, FACM, JRM, JvW), pp. 193–210.
TACAS-1997-EngelsFM #generative #model checking #network #testing #using
Test Generation for Intelligent Networks Using Model Checking (AE, LMGF, SM), pp. 384–398.
DiGRA-2003-EggenFGP #game studies #interactive #physics
Breaking the flow: Intervention in computer game play through physical and Intervention in computer game play through physical and on-screen interaction (BE, LMGF, MdG, PP0).
CHI-PLAY-2019-LiS0F #feedback #game studies #interactive #motivation
Turning Your Book into a Game: Improving Motivation through Tangible Interaction and Diegetic Feedback in an AR Mathematics Game for Children (JL, EDVdS, JH0, LMGF), pp. 73–85.

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.