CS Professors

University URL Location Professopr Name Professor's Profile Url Person's Email
https://www.maastrichtuniversity.nl/
Netherlands Gerhard Weiss (G.B.) https://www.maastrichtuniversity.nl/gerhard.weiss
gerhard.weiss@maastrichtuniversity.n
http://www.uu.nl/EN/ Netherlands Prof. dr. G.T. (Gerard) Ba https://www.uu.nl/sta G.T.Barkema@uu.nl
Prof. dr. M.M. (Mehdi) Dahttps://www.uu.nl/staff/MMDastani&t=0

M.M.Dastani@uu.nl
Prof. dr. J.T. (Johan) Jeurinhttps://www.uu.nl/staff/JTJeuring&t=0

Prof. L. (Lambert) Meerte https://www.uu.nl/staff/LMeertens&t=0
L.Meertens@uu.nl
Prof. dr. J.J.C. (John-Jules https://www.uu.nl/staff/JJCMeyer&t=0

J.J.C.Meyer@uu.nl
Prof. dr. Peter Werkhovenhttps://www.uu.nl/staff/PJWerkhoven&t=0

P.J.Werkhoven@uu.nl
https://www.tudelft.nl/en/
Netherlands Prof.dr.ir. K.L.M. Bertels https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/quan
K.L.M.Bertels@tudelft.nl
Peter Hofstee https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/quan

h.p.hofstee@tudelft.nl
Prof.dr.ir. G.J.P.M. (Geer https://www.tudelft.nl/staff/g.j.p.m.houben/

G.J.P.M.Houben@tudelft.nl
Prof.dr. SDC Wehner https://www.tudelft.nl/staff/s.d.c.wehner/

S.D.C.Wehner@tudelft.nl
Prof.dr.ir. JLG Dietz https://www.tudelft.nl/staff/j.l.g.dietz/

J.L.G.Dietz@tudelft.nl
WIL VAN DER AALST https://www.tue.nl/en/research/researchers/wil-van-der-aals

w.m.p.v.d.aalst@tue.nl
LUCA ALLODI https://www.tue.nl/en/research/researchers/luca-allodi/
l.allodi@tue.nl
NIKHIL BANSAL https://www.tue.nl/en/research/researchers/nikhil-bansal/

n.bansal@tue.nl
MARK DE BERG https://www.tue.nl/en/research/researchers/mark-de-berg/

m.t.d.berg@tue.nl
Kees van Berkel http://www.tue.nl/staff/c.h.v.berkel

c.h.v.berkel@tue.nl
prof.dr. P.M.E. (Paul) De Bhttp://www.tue.nl/staff/debra

P.M.E.D.Bra@tue.nl
MARK VAN DEN BRAND https://www.tue.nl/en/research/researchers/mark-van-den-b

m.g.j.v.d.brand@tue.nl
dr. M. (Michael) Burch https://www.tue.nl/en/our-university/departments/mathema
m.burch@tue.nl
LOEK CLEOPHAS https://www.tue.nl/en/research/researchers/loek-cleophas/

l.g.w.a.cleophas@tue.nl
PIETER CUIJPERS https://www.tue.nl/en/research/researchers/pieter-cuijpers/

p.j.l.cuijpers@tue.nl
BOUDEWIJN VAN DONGEhttps://www.tue.nl/en/research/researchers/boudewijn-van-

b.f.v.dongen@tue.nl
SANDRO ETALLE https://www.tue.nl/en/research/researchers/sandro-etalle/

s.etalle@tue.nl
DIRK FAHLAND https://www.tue.nl/en/research/researchers/dirk-fahland/

d.fahland@tue.nl
GEORGE FLETCHER https://www.tue.nl/en/research/researchers/george-fletcher

g.h.l.fletcher@tue.nl
dr. L. (Laura) Genga http://www.tue.nl/staff/l.genga
l.genga@tue.nl
ARTHUR VAN GOETHEM https://www.tue.nl/en/research/researchers/arthur-van-goet

a.i.v.goethem@tue.nl
JAN FRISO GROOTE https://www.tue.nl/en/research/researchers/jan-friso-groote

j.f.groote@tue.nl
dr.ing. M. (Marwan) Hass http://www.tue.nl/staff/m.hassani

m.hassani@tue.nl
prof.dr. K.M. (Kees) van H http://www.tue.nl/staff/k.m.v.hee

k.m.v.hee@TUE.nl
MIKE HOLENDERSKI https://www.tue.nl/en/research/researchers/mike-holenders
m.holenderski@tue.nl
EKATERINI IOANNOU https://www.tue.nl/en/research/researchers/ekaterini-ioanno

e.ioannou@tue.nl
BART JANSEN https://www.tue.nl/en/research/researchers/bart-jansen/

b.m.p.jansen@tue.nl
dr. D.S. (Dmitri) Jarnikov http://www.tue.nl/staff/dmitri.jarnikov

D.S.Jarnikov@tue.nl
dr.ir. J.J.A. (Jeroen) Keiren http://www.tue.nl/staff/j.j.a.keiren

j.j.a.keiren@tue.nl
dr. R. (Ruurd) Kuiper http://www.tue.nl/staff/r.kuiper

r.kuiper@tue.nl
prof.dr.ir. R. (Robert) van http://www.tue.nl/staff/r.v.liere

r.v.liere@tue.nl
dr.ir. B.J. (Bas) van der Li http://www.tue.nl/staff/b.j.v.d.linden
B.J.v.d.Linden@TUE.nl
JOHAN LUKKIEN https://www.tue.nl/en/research/researchers/johan-lukkien/

j.j.lukkien@tue.nl
YAPING LUO https://www.tue.nl/en/research/researchers/yaping-luo/

y.luo2@tue.nl
BAS LUTTIK https://www.tue.nl/en/research/researchers/bas-luttik/

s.p.luttik@tue.nl
dr. R.H. (Rudolf) Mak http://www.tue.nl/staff/r.h.makv

r.h.mak@tue.nl
RENATA MEDEIROS DE C https://www.tue.nl/en/research/researchers/renata-medeiro

r.medeiros.de.carvalho@tue.nl
dr. V. (Vlado) Menkovski http://www.tue.nl/staff/v.menkovski

v.menkovski@tue.nl
WOUTER MEULEMANS https://www.tue.nl/en/research/researchers/wouter-meulem
w.meulemans@tue.nl
JESPER NEDERLOF https://www.tue.nl/en/research/researchers/jesper-nederlof

j.nederlof@tue.nl
ODYSSEAS PAPAPETROU https://www.tue.nl/en/research/researchers/odysseas-papap

o.papapetrou@tue.nl
MYKOLA PECHENIZKIY https://www.tue.nl/en/research/researchers/mykola-pechen

m.pechenizkiy@tue.nl
HAJO REIJERS https://www.tue.nl/en/research/researchers/hajo-reijers/

h.a.reijers@tue.nl
RAMON SCHIFFELERS https://www.tue.nl/en/research/researchers/ramon-schiffele

r.r.h.schiffelers@tue.nl
ALEXANDER SEREBRENIK https://www.tue.nl/en/research/researchers/alexander-sereb

a.serebrenik@tue.nl
dr. N. (Natalia) Sidorova http://www.tue.nl/staff/n.sidorova
n.sidorova@tue.nl
JOAQUIN VANSCHOREN https://www.tue.nl/en/research/researchers/joaquin-vansch

j.vanschoren@tue.nl
TOM VERHOEFF https://www.tue.nl/en/research/researchers/tom-verhoeff/

t.verhoeff@tue.nl
JURGEN VINJU https://www.tue.nl/en/research/researchers/jurgen-vinju/

j.j.vinju@tue.nl
ERIK DE VINK https://www.tue.nl/en/research/researchers/erik-de-vink/

e.p.d.vink@tue.nl
JACK VAN WIJK https://www.tue.nl/en/research/researchers/jack-van-wijk/

j.j.v.wijk@tue.nl
ANTON WIJS https://www.tue.nl/en/research/researchers/anton-wijs/
a.j.wijs@tue.nl
TIM WILLEMSE https://www.tue.nl/en/research/researchers/tim-willemse/

t.a.c.willemse@tue.nl
NIKOLAY YAKOVETS https://www.tue.nl/en/research/researchers/nikolay-yakovet

n.yakovets@tue.nl
dr. N. (Nicola) Zannone http://www.tue.nl/staff/n.zannone

n.zannone@tue.nl
http://www.utwente.nl/en
Netherlands PROF.DR.IR. M.R. VAN S https://people.utwente.nl/m.r.vansteen
m.r.vansteen@utwente.nl
PROF.DR. M. HUISMAN (Mhttps://people.utwente.nl/m.huisman?tab=about-me

m.huisman@utwente.nl
PROF.DR. J.C. VAN DE POLhttps://people.utwente.nl/j.c.vandepol
j.c.vandepol@utwente.nl
PROF.DR.IR. G.J. HEIJENK https://people.utwente.nl/geert.heijenk

geert.heijenk@utwente.nl
PROF.DR.IR. A. RENSINK https://people.utwente.nl/arend.rensink

arend.rensink@utwente.nl
PROF.DR.IR. M. AKSIT (M https://people.utwente.nl/m.aksit
m.aksit@utwente.nl
PROF.DR.IR. A. PRAS (AIK https://people.utwente.nl/a.pras?tab=education

a.pras@utwente.nl
PROF.DR. W. JONKER (WI https://people.utwente.nl/w.jonker?tab=about-me

w.jonker@utwente.nl
PROF.DR. J.L. VAN DEN B https://people.utwente.nl/j.l.vandenberg?tab=about-me

j.l.vandenberg@utwente.nl
PROF.DR. P.J.M. HAVINGAhttps://people.utwente.nl/p.j.m.havinga
p.j.m.havinga@utwente.nl
PROF.DR. D.K.J. HEYLEN ( https://people.utwente.nl/d.k.j.heylen?tab=about-me

d.k.j.heylen@utwente.nl
PROF.DR. T.W.C. HUIBERS https://people.utwente.nl/t.w.c.huibers?tab=about-me

t.w.c.huibers@utwente.nl
http://www.wur.nl/en.htm dr. JM (Joske) Houtkamp https://www.wur.nl/en/Persons/Joske-dr.-JM-Joske-Houtkamp
ing. JJ (John) Wolters https://www.wur.nl/en/Persons/John-ing.-JJ-John-Wolters.htm
drs. MR (Mark) Kramer https://www.wur.nl/en/Persons/Mark-drs.-MR-Mark-Kramer.h
C (Cagatay) Catal PhD https://www.wur.nl/en/Persons/Cagatay-C-Cagatay-Catal-PhD
V (Vahid) Garousi PhD https://www.wur.nl/en/Persons/Vahid-V-Vahid-Garousi-PhD.h
prof.dr.ir. B (Bedir) Tekin https://www.wur.nl/en/Persons/Bedir-prof.dr.ir.-B-Bedir-Tekin

Education Backgro Work experience
University of Maastricht, The Research
Netherlands
PhD in Computer ScUniversity of Liverpool, Department
MiSS (Mining Social Stru
of Computer Science
Modelling
Software Competence Center Hagenberg GmbH and Discoveri
, Austria
Train your brain, think
Analyzing and controllin
EU/EFRE funding of basi
Algemeen FBW,
Doctor of PhilosophUniversiteit
Simulation ofUtrecht Critical dynamical expo
Complex Systems,
Université Utrecht Generalized Langevin equ
Optimal data structures
Senior Research Qual

2018-now: Full Professor, ChaiSupervision of Autonom
Basis Education Qual2012-2018: Associate Professo
Golden Agents: creative
Ph.D. in Humanities2002-2011: Assistant ProfessoAgent-based Driver Coll
M.Sc. in Philosophy2001-2002: Postdoc, ICS, UtreVirtual Organisation
M.Sc. in Computer S1999-2001: Postdoc, Vrije UnProgramming Cognitive
Coordination and Compo
Virtual characters: Mode
Modularization of 2APL
Dutch Boon Companion
Science, TOP Support for collaborations 01.09.2015 to 01.02.2020

PhD in Computer SciInformation
Science, and computing sciences
MSc in Mathematics,
Information and computing sciences
Information and computing sciences,
ertens@uu.nl Software Systems
at Utrecht University
PhD Mathematics anScience, Information and computing
Agent technology
sciences, Artificial
(incl Intelligence / Intelligent Systems
at TNO Human Factors Cognitive robotics
University Nijmegen Artificial intelligence
Semantics of programmi
Doctor of PhilosophyCorporate Science Director atGame

TNO Research
Professor 'Multimedia Interaction' at University of Amsterdam
at TNO Corporate ICT Staff
M.Bertels@tudelft.nl of Upsilon S.A. Multi and Many-core arc
Theoretical and practica
ofstee@tudelft.nl Professor at the Accelerated Big Data Systems Group
(M.Sc.) Field Of StudyComputer

Web Information
Science,
Systems
Eindhoven University of Technology
Web Engineering
at Vrije Universiteit Brussel
.Wehner@tudelft.nl
Dietz@tudelft.nl Professor of Web InformationWeb Information Syste
at Eindhoven University of Technology

PhD in Mathematics
ir. Field Of Studycomputer
at RWTHscience
Aachen
from
University
Eindhovenworkflow management
University of Technology
process
at Queensland University of Technologymining
Petri nets
business process mana
process modeling, and p
Ph.D. Computer Scieat Durham University vulnerability laws, with

Master in Network S
2009 – 2011: Project Manager and CEO
at BRT Solutions
B.Tech, Computer Scat

Full Professor and Chair of VICI-funded reserch, ‘M
Hotelogix
at Crown It (GoldVIP)
.berg@tue.nl
MSc in computer science from Utrecht University (the Netherlands) in 1
berkel@tue.nl 1996- .. : TUe, as part-time fu1986 - 1996: asynchron

1980-2006: Philips Researc1996 - 2006: embedded
2006-2008: NXP Research,2006 - 2016: embedded
2008-2013: ST-NXP Wireless 2016 - : high performa
2013-2015: Ericsson, as fellow.
E.D.Bra@tue.nl professor in computer science from the Eindhove
at Technical University of Eindhoven

PhD in Computer Sc
Dr. rer. nat. degree Assistant Professor in the Department of Mathematic
MSc (with honors) aAssistant Professor of Model algorithm engineering
PhD in Computer ScAssistant Professor in the S application of quantitat

MSc in Electrical Engineering
Eindhoven University
atof
Eindhoven
TechnologyUniversity of Technology
Degree NamePhD
Eindhoven Field
University ofOf
2016 – StudyProcess
Technology Mining
2018: Associate and Verification
Professor
Degree NameMSc Field
at Eindhoven
2009 Of– StudyComputer
UniversityProfessor
2016: Assistant Science
of Technology
PhD in Computer Science, from Universiteit van Amsterdam

network monitoring and i
at dcypher-NL policy specification an
Humboldt University2013of Berlin

– Present: Assistant Professor
Dr. rer.-nat. Computer
Eindhoven University Eindhoven
Science
2010-2012: University
of Technology of Technology
Post-Doctoral describing and analyzin
Researcher
PhD in Computer
National Science
University Eindhoven
of
Singapore, of Technology
Teaching Assistant analyzing data and syst
Computer Science Humboldt-Universität zu Berlin
PhD in computer science from Indiana Universit data intensive systems a

2017-present: Postdoctoral Researcher
Doctor of Philosoph Technische
Università Politecnica
2016-2017: Universiteit
delle Marche: EindhovenFellow,
Temporary Research
Engineer's degree,Computer
UniversitàEngineering
Politecnica delle Marche
MSc Computing science

at Technische Universiteit Eindhoven
Ir./ Master Computer Science/Informatica

1991 – 1996: AssistantGradeComputer
Computer
professor Science
systems,from
at Universiteit archiUniversiteit Twente / Twente University
Utrecht
tyft/tyxt format for oper
formal analysis techniq
TU/e Eindhoven University of Technology

Dr. -Ing. Data Stream2015
Mining
– 2016: Postdoctoral Research Assistant
Dipl. Ing. Computer at
at NuanceAachen
Engineering
RWTH University
Communications
Bachelor of Engineering (B.Eng.) Computer Engineering
v.hee@TUE.nl
2016- present: Assistant Professor at Eindhoven University of Technology
(PhD) Computer Science andApps
at Mike Engineering from Eindhoven
machine learning
University
which
of Technology
system architecture asp
nnou@tue.nl information integration with an emphasis on the challenges of managing data

blocking-based mechanisms for entity resolution over very large data collectio
p.jansen@tue.nl Parameterized complexit

MSc in Applied Computing Science from Utrecht University
PhD in Computer Science from Technische Universiteit Eindhoven
Eindhoven University of Technology

PhD Computer Science from Professor
Assistant EindhovenatUniversity of Technology
Delft University of Technology

Vrije Universiteit
Ph.D. in computer science from University of A interactive visualizatio

master degree in computer science from University of Delft
d.Linden@TUE.nl
kkien@tue.nl
Doctor of PhilosophyOct
- PhD
2018 – Present - Dev Engineer & Research Lead, Software Engineering
graduation 2012 – 2016
at ING
Master's degree ,Computer Nederland
Dates EmployedJul
Science 2016
,Bachelor
2009 – 2012
of Education (BEd) ,Computer Science
2005 – 2009 Dec 2016 – Oct 2018 - Scientific Programmer (Via TN
MSc Computer Science

1991 – 1996
University 2009
of Amsterdam – Present
Jul 2003 - Visiting
– Present res concurrency
- Assistant theory, in pUniversity of Technology
professor at Eindhoven
,Computer Science 2001 – 2003 - Postdoctoral researcher
unique parallel
at Vrijedecompos
Universiteit Amsterdam
deiros.de.carvalho@tue.nl adaptive and declarati

Object-Centric Behavior
Oct 2016 – Present - Assistant Professor at TU/e Eindhoven University of Technology
Oct
Apr 2014
2013 –– Sep
Sep 2016
2014 -- Research Scientist
Data Scientist at Philips
at Adversitement
eulemans@tue.nl algorithms, computationa
erlof@tue.nl Nov 2014 – Present

at Maastricht - Assistanalgorithms
University for and
School of Business discrete
Economics
at Utrecht University exact algorithms for NP
Nov 2008 – Dec 2011 - PhD student at University of Bergen

MSc Computer Science fromEPFL
at DIAS, Universität des Saarlandes
at SoftNet
Jul 2016 – Present - Full Professor at TU/e Eindhoven University of Technology

data science, knowledge
Jan 2006 – Sep 2006 - Researcresponsible analytics, i
context-aware predictive
handling concept drift a
automation of feature c
analytics on evolving n
Jan 2019 – Present - Full Professor Business Process Management & Analytics at Utrecht University
business
Sep 2012 – Present - Full professor process
Business redesiTechnologies at Eindhoven University of Technology
Process
Jul 2009 – Present - Member how to letboard
advisory people and c
at Fluxicon
theory,
Jan 2013 – Present - Sr. Architect methods and too
at ASML
-Mechanical engineering
Associate Professor, Dr., Eindhoven University of Technology

Ph.D. Computer Sciencem, KU Leuven analysis of models and
2004 – 2013: Assistant Profesaddressing
External Collaborator at UMONS software eng
Yaroslavl Demidov State University
1988 – 1993 20 yrs 6 mos - Assistant Prof., Dr. at Eindhoven Unive
progressive
Dec 2012 – Dec 2013 - Data Scientist automation
at Mobile Vikings
1985 – Present - Assistant Pr Software Engineering (S

Dec 2015 – Present - Chair a data analytics, programm
PhD in Computer Science, University of Amsterdam

Vinju’s research encompa
Master's Degree in software complexity and
strengthening cooperati
2006 – Present - associated research fellow at Centrum voor Wiskunde en Informatica

Oct 2000 – Present Associate formal modeling
Professor at TU/eand ana
languages Paradigm and
Dr -Computer Science
1982 – 1986 2001 – Present - Professor at information visualization
flow visualization and m
hierarchical data and ne
development of parallel
12 yrs 7 mos - Associate Prof applying, developing and

receives financial supp
Doctor of Philosophy - ,Computer Science

2012 – 2016 databases and data inte
foundations of database
Aug 2016 – Present - Associate Professor at TU/e Eindhoven University of Technology

Jul 2018 – Aug 2018 - Visitingcomputer security,
Researcher requ
at Aix-Marseille Université
Doctor of PhilosophyJan
(Ph.D.)
2018 -Computer
– Present - Science
Scientific Director at University of Twente
1984
Master of Science (M.Sc.) -Applied Mathematics parallel computing
– 1988
1977 – 1983 Mar 2002 – Dec 2014 - Professor at Vrije Universite
,Computer Science
1996 – 2000Science Jul
,Computer Oct2017
2001––Present
Jul 2008- Professor
- Chargee at
deUniversity
RechercheofatTwente
INRIA
1991 – 1996
MSc, ,Computer Science
Nov 2018 – Present - Professor of Computer Science at Aarhus University
1987 – 1996 2007 – Present - Professor of Formal Methods and Tools at University of Twente
2004 – 2007 - Associate Professor at Eindhoven University of Technology
-Computer Science Jul 2017 – Present - Full Professor at University of Twente

1980 – 2012 Wireless Networks & Mo
architectures, algorithm
protocols for Cellular, A
Vehicular Networks
1999 – 2003
ir. -Computer Science
Employed1998 – Present - Full Professor at University of Twente
1982 – 1986 1993 – 1998 - Akademischer Rat at University of Hildesheim
,Computer Science
1987 – 1989 Programming languages
1990 – 2000 - Associate ProfeSoftware design
1983 – 1987 - Researcher at Oce Nederland
Product-line and/or sof
Enhancing software quali
University – Industry c
Ir. -Electrical Engineering

1974 – 1983 2013 – Present - Full ProfessoDDoS attacks, DNS securi
at Inria
Doctor of Philosophy (Ph.D.) -Artificial Intelligence

1986 – 1990
Master's degree -Mathematics and Computer Science
1980 – 1985
Senior Executive Programme
2008 – 2008
Amsterdam University of Applied Sciences

-HBO Bedrijfskunde
,Computer Science
1995 – 2002 wireless
Mar 2019 – Present - Full Professor sensor networks
Univeristy of Twente & Science Director - TNO ICT at TNO
2015 – Present - Research Scientist at Locus Positioning
2011 – Present - Professor at University of Twente

heylen@utwente.nl 2010 - visiting professor at CNRS
1994 – 1998 - PhD Student at Universiteit Utrecht
1999 – 2001
Master -InformaticaJun 2016 – Present - Chairman of the Supervisory Board at RNW Media
1987 – 1992
Aug 2010 – Present - Researcher Visualization and Communication at Alterra Wageningen UR
ons/Joske-dr.-JM-Joske-Houtkamp.htm
Sep 2006 – Aug 2011 - Researcher virtual training applications and serious games at Utrecht University, and
ons/John-ing.-JJ-John-Wolters.htm
ons/Mark-drs.-MR-Mark-Kramer.htm
2018-present: Universitair Docent

Doctor of PhilosophyWageningen
(PhD)in Computer
Engineering,
Associate & Research
Professor Yıldız Teknik Üniversitesi
Master of Science (M.Sc.)Computer
at Istanbul Kultur
2002-2012: Engineering,
SeniorUniversity
Researcherİstanbul Teknik Üniversitesi
at TÜBİTAK MARMARA ARAŞTIRMA MERKEZİ
PhD in Software Engineering, 2006

Carleton University,
MSc in Computer Ottawa,
2015Canada
Engineering,
Feb – 2003
Sep 2017 - Associate Professor of Software Engineering at Hacettepe University
University of Waterloo,
Jan 2014 – FebCanada
Waterloo, 2015 - Associate Professor of Software Engineering at Atilim University
,Computer Science/ Software Engineering

1995 – 2000Science -Sep
,Computer Software
2008 –Engineering
Dec 2014 - Faculty Professor at Bilkent University
1989 – 1994
High School (Academic Stream)
1982 – 1988
Publications Students Projects
Spanakis, G., Weiss, G., Boh, B., Lemmens, L., & Roe N/A MiSS (Mining Social Structures)
Vrancken, T., Tenbrock, D., Reick, S., Bozhinovski, D., Weiss, G., & Spanakis, G. (2017). Multi-Agent Parking Place Simulation. In Y
Sorger, B., Tumanov, K., Benitez Andonegui, A., Lührs, M., Boeijkens, H., Weiss, G., ... Möckel, R. (2017). An fNIRS-based brain-m
Spanakis, G., & Weiss, G. (2017). Enhancing Visual Clustering Using Adaptive Moving Self-Organizing Maps (AMSOM). In Agents
Chen, S., Hao, J., Zhou, S., & Weiss, G. (2017). Negotiating with unknown opponents: Toward multi-lateral agreement in real-tim
Spanakis, G., Weiss, G., & Roefs, A. (2016). Enhancing Classification of Ecological Momentary Assessment Data Using Bagging a
Boh, B., Lemmens, L. H. J. M., Jansen, A., Nederkoorn, C., Kerkhofs, V., Spanakis, G., ... Roefs, A. (2016). An Ecological Momenta
Spanakis, G., & Weiss, G. (2016). AMSOM: Adaptive Moving Self-organizing Map for Clustering and Visualization. 129-140. http
Rahmani, H., Weiss, G., Mendez-Lucio, O., & Bender, A. (2016). ARWAR: a Network Approach for Predicting Adverse Drug Reacti
Spanakis, G., Weiss, G., & Roefs, A. (2016). Bagged Boosted Trees for Classification of Ecological Momentary Assessment Data.
All Publications URL:- https://cris.maastrichtuniversity.nl/portal/en/persons/gerhard-weiss(597a237c-9e84-4b20-84de-f7cf3b3
Panja, D., Barkema, G.T., Zhong, W. & Ball, R. C. (19.12.2018). Critical dynamical exponent of the two-dimensional scalar ?4 mo
Panja, D., Barkema, G.T., Zhong, W. & Ball, Robin (2018). Generalized Langevin equation formulation for anomalous diffusion in
D'Ambrosio, Federico, Barkema, Gerard T. & Bodlaender, Hans L. (07.02.2018). Optimal data structures for stochastic driven sim
Jain, S.K. & Barkema, G.T. (2018). Rupture of amorphous graphene via void formation. Physical Chemistry Chemical Physics, 20
Schram, R.D. & Barkema, G.T. (2018). Simulation of ring polymer melts with GPU acceleration. Journal of Computational Physic
All publications URL:- https://www.uu.nl/staff/GTBarkema&t=0/Research%20output
Mehdi Dastani, Alexander Pankov, Other-CondemningBirnaM van Riemsdijk

Mehdi Dastani, Leendert W. N. van der Torre, Neil Yo Bas Steunebrink
Nils Bulling and Mehdi Dastani. Norm-based mechanism Nick Tinnemeier
Mehdi Dastani and Alexander Pankov. Other-Condemni Lacramioara Astefanoaei
Mehdi Dastani and Bas Testrink. Design Patterns for Michal Sindler
Mehdi Dastani, Leendert van der Torre and Neil York Max Knobbout
Mehdi Dastani. Programming multi-agent systems. KnPouyan Ziafati
Michael Fisher, Leendert
Mehdi Dastani, van der
Davide Grossi, andTorre, MehdiMeyer.
John-Jules DastaniABas Testerink
Logic for Normative Multi-Agent Programs. Journal of Logic and Compu
Mahdieh Shadi
Lacramioara Astefanoaei, Frank de Boer, Mehdi Dastani, John-Jules Meyer. A Weakest Precondition Calculus for BUnity. Science
Rainer Reisenzein, Eva Hudlicka, Mehdi Dastani, Jonathan Gratch, Koen V. Hindriks, Emiliano Lorini, John-Jules Ch. Meyer. Comp
Mehdi
Tristan Dastani, John-Jules
M. Behrens, Mehdi Meyer,
Dastani,and NickDix,
Jurgen Tinnemeier. Programming
Jomi Hubner, Norm Change.
Michael Koster, Journal
Peter Novak andofFederico
AppliedSchlesinger.
Non-Classical Logics
The 22
Multi-A
Bas Steunebrink, Mehdi Dastani, John-Jules Meyer. A Formal Model of Emotion Triggers: An Approach for BDI Agents. Synthese
Natasha
Rafael H.Alechina, MehdiDastani,
Bordini, Mehdi Dastani,Jurgen
Brian Logan, John-Jules
Dix, and Meyer. Reasoning about
Amal El Fallah-Seghrouchni. GuestPlan Revision
editorial: in BDIissue
Special Agent
onPrograms. Theor
Multi-Agent Prog
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Meyer. Reasoning About Agent Deliberation. International Journal of
All Publications URL:- https://www.uu.nl/staff/MMDastani&t=0/Research%20output
Naus, N. & Jeuring, J.T. (21.02.2019). Building a Generic Feedback Sy TOP Support for collaborations 01.09.2015 to 01.02.2020
Keuning, Hieke, Jeuring, J.T. & Heeren, Bastiaan (2018). A systematic literature review of automated feedback generation for pr
Pel-Littel, Ruth, van Zeijts, Henk, Schram, Nadine, Nap, Henk Herman & Jeuring, J.T. (2018). A training simulation for practicing
Heeren, Bastiaan, Jeuring, Johan, Sosnovsky, Sergey A., Drijvers, Paul, Boon, Peter, Tacoma, Sietske, Koops, Jesse, Weinberger, A
Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. In Viktoria Pammer-Schindler, Mar Pér
Tacoma, S.G., Sosnovsky, S.A., Boon, P.B.J., Jeuring, J.T. & Drijvers, P.H.M. (2018). The Interplay between Inspectable Student M
Buwalda, Milo, Jeuring, J.T. & Naus, N. (2018). Use expert knowledge instead of data: generating hints for hour of code exercise
All Publications URL:- https://www.uu.nl/staff/JTJeuring&t=0/Research%20output
Meertens, Lambert & Fitzpatrick, S. (2002). Asynchronous execution and communication latency in distributed constraint optim
Fitzpatrick, S. & Meertens, Lambert (2002). Experiments on dense graphs with a stochastic, peer-to-peer colorer. In Carla Gome
Hogenbirk, H., van de Hoef, M. & Meyer, J.J.C. (2018). Clarifying Inc TOP Support for collaborations 01.09.2015 to 01.02.2020
Duijf, H.W.A., Broersen, J.M. & Meyer, J.J.C. (20.02.2018). Conflicting intentions: rectifying the consistency requirements. Philos
Souza, M., Moreira, A., Vieira, R. & Meyer, J.J.C. (2017). A Dynamic Preference Logic for Reasoning about Agent Programming. I
Luo, Jieting & Meyer, John-Jules (2017). A formal account of opportunism based on the situation calculus. AI and Society, 32 (4
Timmer, S.T., Meyer, J.J.C., Prakken, H., Renooij, S. & Verheij, B. (2017). A two-phase method for extracting explanatory argume
Moergestel, Leo van, Uding, Hylco, Schaaphuizen, Nathan, Leijen, Daan, Van Den Berg, Daniël, Cornelisse, Hendrik, Veldhuizen,
Moergestel, Leo van & Meyer, John Jules (2017). Is knowledge of mathematics a key for success for studying ICT?. CEUR Works
Luo, Jieting, Meyer, John Jules & Knobbout, Max (2017). Monitoring opportunism in multi-agent systems. In Stephen Cranefield
Dastani, Mehdi, Lorini, Emiliano, Meyer, John Jules & Pankov, Alexander (2017). Other-Condemning Anger = Blaming Accountab
Luo, Jieting, Meyer, John-Jules & Knobbout, Max (2017). Reasoning About Opportunistic Propensity in Multi-agent Systems. In
Luo, Jieting, Meyer, John-Jules & Knobbout, Max (2017). Towards a Framework for Predicting Opportunism in Multi-agent Syste
All Publications URL:- https://www.uu.nl/staff/JJCMeyer&t=0/Research%20output
Rosa, N.E., Hürst, W.O., Veltkamp, R.C. & Werkhoven, P.J. (2017). Pl Sleep Care: Persuasive Technology for Personalized Sleep
Rosa, N.E., Werkhoven, P.J. & Hürst, W.O. (2016). (Re-)Examination of Multimodal Augmented Reality. MVAR '16 : Proceedings
Rosa, N.E., Hürst, W.O., Werkhoven, P.J. & Veltkamp, R.C. (2016). Visuotactile Integration for Depth Perception in Augmented R
van der Vijgh, Benny, Beun, Robbert Jan, van Rood, Maarten & Werkhoven, Peter (2015). Meta-analysis of digital game and stu
Rosa, N.E., Hürst, W.O., Vos, Wouter & Werkhoven, P.J. (2015). The Influence of Visual Cues on Passive Tactile Sensations in a M
Werkhoven, Peter, Philippi, Tom & van Erp, J.B.F. (2014). Audiovisual navigation in virtual mazes - The benefits of audiovisual la
van der Vijgh, Benny, Beun, Robert-Jan, van Rood, Maarten & Werkhoven, Peter (08.12.2014). GASICA - Generic automated str
Thurlings, Marieke, Brouwer, Anne-Marie, Erp, van, Jan B.F. & Werkhoven, Peter (2014). Gaze-independent ERP-BCIs: augmenti
van Erp, J.B.F., Philippi, Tom, de Winkel, Ksander & Werkhoven, Peter (06.03.2014). Pre- and post-stimulus EEG patterns associa
Thurlings, Marieke, Brouwer, Anne-Marie, van Erp, J.B.F. & Werkhoven, Peter (2013). Controlling a tactile ERP-BCI in a dual-task
de Winkel, Ksander, Soyka, Barnett-Cowan, Bülthoff, Heinrich H., Groen, Eric L. & Werkhoven, Peter (2013). Integration of Visua
Philippi, Tom, van Erp, J.B.F. & Werkhoven, Peter (2013). Observers can reliably identify illusory flashes in the illusory flash para
Thurlings, Marieke, Brouwer, Anne-Marie, van Erp, J.B.F., Blankertz, B. & Werkhoven, Peter (2012). Control-Display Mapping Co
van der Vijgh, B.H., Beun, R.J. & Werkhoven, P.J. (2012). Controlled game-based stress manipulation. In A J Spink, F Grieco, O E
Thurlings, Marieke, Brouwer, Anne-Marie, van Erp, J.B.F., Blankertz, B. & Werkhoven, Peter (2012). Does bimodal stimulus pres
de Winkel, Ksander, Werkhoven, Peter & Groen, Eric L. (2012). The perception of verticality in lunar and Martian gravity conditi
Jansen, S.E.M., Toet, A. & Werkhoven, P.J. (2011). Human Locomotion through a Multiple Obstacle Environment: Strategy Chan
Philippi, Tom, van Erp, J.B.F. & Werkhoven, Peter (2011). Multisensory effects differ for counting small and large pulse numbers
Jansen, S.E.M., Toet, A. & Werkhoven, P.J. (2011). Obstacle Crossing with Lower Visual Field Restriction: Shifts in Strategy. Journ
de Winkel, K.N., Weesie, H.M., Werkhoven, P.J. & Groen, E.L. (2010). Integration of visual and inertial cues in perceived heading
Werkhoven, Peter, van Erp, J.B.F. & Philippi, Tom (2009). Counting visual and tactile events: The effect of attention on multisens
van Diggelen, J., Beun, Robbert Jan, van Eijk, Rogier & Werkhoven, Peter (2009). Efficient Semantic Information Exchange for Am
van der Kleij, Rick, Schraagen, Jan-Maarten & Werkhoven, Peter (2009). How conversations change over time in face-to-face an
van Diggelen, J., Beun, R.J., van Eijk, R.M. & Werkhoven, P.J. (2008). Agent Communication in Ubiquitous Computing: the Ubism
van Diggelen, J., Beun, R.J., van Eijk, R.M. & Werkhoven, P.J. (2008). Information Supply Mechanisms in Ubiquitous Computing,
van Diggelen, J., Beun, R.J., van Eijk, R.M. & Werkhoven, P.J. (2008). Modeling Decentralized Information Flow in Ambient Envir
Philippi, T.G., van Erp, J.B.F. & Werkhoven, P.J. (2008). Multisensory Temporal Numerosity Judgment. Brain Research, 1242, (pp
Shanshan Ren, Nauman Ahmed, Koen Bertels, Zaid Al-Ars (2019). GPU Accelerated Sequence Alignment with Trace-back for GA
Jintao Yu, Razvan Nane, Imran Ashraf, Mottaqiallah Taouil, Said Hamdioui, Henk Corporaal, Koen Bertels (2019). Skeleton-based
Ernst Houtgast, Vlad Sima, Koen Bertels, Zaid Al-Ars (2018). Comparative Analysis of System-Level Acceleration Techniques in B
Savvas Varsamopoulos, Ben Criger, Koen Bertels (2018). Decoding small surface codes with feedforward neural networks. Quan
Yehuda Naveh, Elham Kashefi, James R. Wootton, Koen Bertels (2018). Theoretical and practical aspects of verification of quan
Ernst Houtgast, Vlad Sima, Koen Bertels, Zaid Al-Ars (2018). Hardware acceleration of BWA-MEM genomic short read mapping
Carmina García Almudever, Nader Khammassi, L. Hutin, M. Vinet, Masoud Babaie, Fabio Sebastiano, Edoardo Charbon, Koen B
Imran Ashraf, Nader Khammassi, Mottaqiallah Taouil, Koen Bertels (2018). Memory and Communication Profiling for Accelerato
Lingling Lao, Bert van Wee, Imran Ashraf, Hans van Someren, Nader Khammassi, Koen Bertels, Carmina García Almudever (Eds.
Lei Xie, Hoang Anh Du Nguyen, Mottaqiallah Taouil, Said Hamdioui, Koen Bertels (2018). A Mapping Methodology of Boolean L
All Publications URL:- https://pure.tudelft.nl/portal/en/persons/klm-bertels(0b073081-5286-4f5b-8fc6-5e66f5f24b50)/publica
Jian Fang, Jianyu Chen, Zaid Al-Ars, Peter Hofstee, Jan Hidders (2018). A High-Bandwidth Snappy Decompressor in Reconfigurab
Bedri Sendir, Madhusudhan Govindaraju, Rei Odaira, Peter Hofstee (2018). CAPI-Flash Accelerated Persistent Read Cache for Ap
Jianyu Chen, Zaid Al-Ars, Peter Hofstee (2018). A matrix-multiply unit for posits in reconfigurable logic leveraging (Open)CAPI. I
Hamid Mushtaq, Frank Liu, Carlos Costa, Gang Liu, Peter Hofstee, Zaid Al-Ars (2017). SparkGA. In ACM-BCB '17 Proceedings of t
Crowd-Mapping Urban Objects from Street-Level Imagery

Qiu, S., Psyllidis,
Supporting A., Bozzon,Learning
Self-Regulated A. & Houben, G-J.,Learning
in Online 2019, (Accepted/In
Environments press)
Twitcident
and Proceedings of the 2019
MOOCs: A Systematic World Wide Web Conferenc
Review
Wong,
TSE-NER:J., Baars, M., Davis,
An Iterative D., Van
Approach forDer Zee, T.,Entity
Long-Tail Houben, G. J. & in
Extraction Paas, F., 2019,
Scientific In : International Journal of Human-Computer Inte
Publications
Mesbah, S., Bozzon, A., Lofi, C. & Houben, G-J., Oct 2018, Int. Semantic
Activating Learning at Scale: A Review of Innovations in Online Learning Strategies Web Conference (ISWC). Monterey, USA
Davis,
ConceptD.,Focus:
Chen, Semantic
G., Hauff, Meta-Data
C. & Houben, ForG-J., 2018, InMOOC
Describing : Computers
Content& Education. 125, p. 327-344 18 p.
Mesbah, S., Chen, G., Torre, M. V., Bozzon, A., Lofi, C. & Houben, G-J., 2018, Lifelong Technology-Enhanced Learning: 13th Euro
All Publications URL:- https://pure.tudelft.nl/portal/en/persons/gjpm-houben(3f77eaf9-d538-4448-9035-a34b160676eb)/publ
Efficient unitarity randomized benchmarking of few-qubit Clifford gates
Dirkse,
Quantum B., codes
Helsen, forJ.quantum
& Wehner, S., 2019, of
simulation In fermions
: Physical on
Review A. 99,
a square 1, 35ofp.,qubits
lattice 012315.
Steudtner, M. & Wehner,
Capacity estimation S., 2019, Inof
and verification : Physical
quantum Review A. 99,
channels 2, 32
with p., 022308.
arbitrarily correlated errors
Pfister, C., Rol, M. A., Mantri, A., Tomamichel,
Transforming graph states using single-qubit operations M. & Wehner, S., 1 Dec 2018, In : Nature Communications. 9, 1, 9 p., 27.
Dahlberg, A. & Wehner, S., 13 Jul 2018, In
A crossbar network for silicon quantum dot qubits : Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engin
Li, R., Petit, L., Franke, D. P., Dehollain, J. P., Helsen, J., Steudtner, M., Thomas, N. K., Yoscovits, Z. R., Singh, K. J., Wehner, S., Van
All Publications URL:- https://pure.tudelft.nl/portal/en/persons/sdc-wehner(84f804d5-d367-4112-ba72-d766be8f7899)/public
Preface
Fred, A., Dietz,
Foreword: J., Aveiro, D., conference
6th international Liu, K., Bernardino, J. & Filipe,
on knowledge J., 2019, and
engineering In : Communications in Computer and Information Science.
ontology development
Dietz, JLG.,5th
Foreword: Aveiro, D. & Filipe,
international J., 2014, Proceedings
conference on knowledgeof 6th international
engineering conference
and ontology on knowledge engineering and ontology de
development
Dietz, JLG. &
Foreword: Filipe, J., 2013,
Proceedings of theProceedings of 5th international
15th international conference on conference
enterpriseoninformation
knowledgesystems
engineering and ontology developmen
Hammoudi,
The disciplineS.,ofMaciaszek,
enterpriseL., Cordeiro, J. & Dietz, JLG., 2013, Proceedings of the 15th international conference on enterprise in
engineering
Dietz, JLG., Hoogervorst, JAP., Albani, A., Aveiro, D., Babkin, E., Barjis, J., Caetano, A., Huysmans, P., Iijima, L., van Kervel, SJH., M
All Publications URL:- https://pure.tudelft.nl/portal/en/persons/jlg-dietz(2c7dee36-b602-4ad5-86f1-337e3e886bd3)/publicatio
Discovering more precise process models from event logs by filtering out chaotic activities Journal of Intelligent Information Sy
N. TAX,N. SIDOROVA,W.M.P. VAN DER AALST
Generating time-based label refinements to discover more precise process models Journal of Ambient Intelligence and Smart E
Software process analysis methodology-a methodology based on lessons learned in embracing legacy software 34th IEEE ntern
Lifecycle-Based Process Performance Analysis Confederated International Conferences: Cooperative Information Systems, Coop
Recomposing conformance Information Sciences (2018)
https://research.tue.nl/en/persons/wil-mp-van-der-aalst/publications/
The effect of security education and expertise on security assessments: the case of software vulnerabilities 17th Annual Works
Economic incentives on DNSSEC deployment 2018 IEEE/IFIP Network Operations and Management Symposium, NOMS 2018 (2
Underground
A bug bounty Economics
perspectivefor
onVulnerability Risk
the disclosure of ;login: (2018)
web vulnerabilities 17th Annual Workshop on the Economics of Information Sec
JUKKA RUOHONEN,L. ALLODI
The work-averse cyber attacker model : theory and evidence from two million attack signatures 16th Annual Workshop on the
L. ALLODI,F. MASSACCI,J. WILLIAMS
https://research.tue.nl/en/persons/luca-allodi/publications/
The gram-Schmidt walk 50th Annual ACM Symposium on Theory of Computing, STOC 2018 (2018)
NIKHIL BANSAL,SHASHWAT
Tight bounds GARG,DANIEL
for double coverage DADUSH,SHACHAR
against weak LOVETT
adversaries Theory ofCrown it Systems (2018)
Computing
N. BANSAL,M.
Competitive ELIAS,L. JEZ,G.
algorithms KOUMOUTSOS,K.
for generalized k-serverPRUHS Naukri
in uniform metrics. 29th Annual ACM-SIAM Symposium on Discrete Algorithms
N. BANSAL,M. ELIAS,G. KOUMOUTSOS,J. NEDERLOF NaukriGulf
Nested convex bodies are chaseable. 29th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2018) (2018)
N.
OnBANSAL,M. BOHM,M.
the Lovász Theta ELIAS,G.
function KOUMOUTSOS,S.W.
for independent UMBOH
sets in sparse FrogJournal
graphs SIAM Dissection (Leap Motion
on Computing Device)
(2018)
NIKHIL BANSAL,ANUPAM GUPTA,GURU GURUGANESH Jar on a Bar
https://research.tue.nl/en/persons/nikhil-bansal/publications/
Dynamic conflict-free colorings in the plane Computational Geometry: Theory and Applications (2019)
MARK DE BERG,ALEKSANDAR
Independent-set MARKOVIC
reconfiguration thresholds of hereditary graph classes Discrete Applied Mathematics (2018)
MARK
Non-monochromatic and conflict-free coloring MUKHERJEE
DE BERG,BART M.P. JANSEN,DEBANKUR on tree spaces and planar network spaces 24th International Conference on Co
BORIS ARONOV,MARK DE BERG,ALEKSANDAR MARKOVIC,GERHARD
A framework for ETH-Tight algorithms and lower bounds in geometric WOEGINGER
intersection graphs ∗† 50th Annual ACM Symposium on
MARK DE BERG,HANS L. BODLAENDER,SÁNDOR KISFALUDI-BAK,DÁNIEL MARX,TOM
Framework for ETH-tight algorithms and lower bounds in geometric intersection C. VAN
graphs DER
arXiv ZANDEN
(2018)
MARK DE BERG,HANS L. BODLAENDER,SÁNDOR KISFALUDI-BAK,DÁNIEL MARX,TOM C. VAN DER ZANDEN
https://research.tue.nl/en/persons/mark-t-de-berg/publications/
Lele, Alok, Moreira, Orlando, Cuijpers, P.J.L. & van Berkel, C.H.V. (2016). Response modeling runtime schedulers for timing analy
Salunkhe, H.L., Moreira, Orlando & van Berkel, C.H. (2016). Modeling & analysis of an LTE-advanced receiver using mode-contr
Salunkhe, H.L., Lele, A., Moreira, Orlando & van Berkel, C.H. (2016). Buffer allocation for real-time streaming applications runni
Rijshouwer, E.J.C. & Berkel, van, C.H. (2010). A programmable, scalable-throughput interleaver. Eurosip Journal on Wireless Com
Berkel, van, C.H. & van Roermund, T.A. (2009). Scalable multi-input-multi-output queues with application to variation-tolerant
Dielissen, J.T.M.H., Engin, N., Sawitzki, S. & Berkel, van, C.H. (2008). Multistandard FEC decoders for wireless devices. IEEE Trans
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
De Bra, Paul (2017). Challenges in user modeling and personalization. IEEE Intelligent Systems, 32(5):8070896 In Scopus Cited 0
De Bra, P.M.E., Knutov, E., Smits, D., Stash, N. & Ramos, V.F.C. (2013). GALE : a generic open source extensible adaptation engin
Knutov, E., De Bra, P.M.E. & Pechenizkiy, M. (2011). Generic Adaptation Framework : a process-oriented perspective. Journal of
Knutov, E., Bra, de, P.M.E. & Pechenizkiy, M. (2009). AH 12 years later: a comprehensive survey of adaptive hypermedia method
Romero, C., Ventura, S., Zafra, A. & Bra, de, P.M.E. (2009). Applying Web usage mining for personalizing hyperlinks in Web-base
Romero, C., Ventura, S. & De Bra, P.M.E. (2009). Using mobile and web-based computerized tests to evaluate university studen
Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod Computer Languages, S
A.M. SUTII,M.G.J. VAN
Tool demonstration DEN
track of BRAND,T. VERHOEFF
MODELS'2016 Science of Computer Programming (2017)
P.J. CLARKE,J. DE LARA,M. VAN DEN BRAND
Metrics design for safety assessment Information and Software Technology (2016)
YAPING LUO,M.G.J.
Eclipse API VANgood
usage : the DENand
BRAND
the bad (2011)
J.
Software engineering : redundancyBRAND,
BUSINGE,A. SEREBRENIK,M.G.J. VAN DEN
is key Science of Computer Programming (2015)
M.G.J. BRAND, VAN DEN,J.F. GROOTE
https://research.tue.nl/en/persons/mark-gj-van-den-brand/publications/
Burch, Michael, Kurzhals, Kuno, Kleinhans, Niklas & Weiskopf, Danie evaluating public transport maps
Burch, Michael (2018). Visual notifier : a timeline-based visualizati dynamic graph analytics
Burch, Michael & Schmauder, Hansjörg (2018). Challenges and perspectives of interacting with hierarchy visualizations on large
Burch, Michael, Baulig, Gerald, Boley, Tobias, Mehmeti, Arjana, Kurbanismailova, Dina, Roswag, Marc, Streicher, Oliver, Wittig, S
Burch, Michael (2018). Property-driven dynamic call graph exploration. VINCI 2018 - 11th International Symposium on Visual In
Hierarchical clustering of metamodels for comparative analysis and visualization Modelling Foundations and Applications (2016
Ö. BABUR,L.G.W.A.
A taxonomy CLEOPHAS,M.G.J.
of minimisation VAN
algorithms forDEN BRAND tree automata Journal of Universal Computer Science (2016)
deterministic
J. BJORKLUND,L. CLEOPHAS ∧ taxonomies ⇒ deep comprehension of algorithm families 7th International Symposium on Leve
Correctness-by-construction
L. CLEOPHAS,D.G.
VPDSL KOURIE,V.inPIETERSE,I.
: a DSL for software SCHAEFER,B.W.
the loop simulations WATSON
covering material flow conference; 17th IEEE International Conference on En
I. NAGY,L.G.W.A. CLEOPHAS,M.G.J. BRAND, VAN DEN,L.J.P. ENGELEN,L.V.
A new taxonomy of sublinear right-to-left scanning keyword pattern matching RAULEA,XAVIER
algorithmsLOBO ERNEST
Science MITHUNProgramming (2
of Computer
L.G.W.A. CLEOPHAS,B.W. WATSON,G. ZWAAN
https://research.tue.nl/en/persons/loek-gwa-cleophas/publications/
Independent WCRT analysis for individual priority classes in Ethernet AVB Real-Time Systems (2018)
JINGYUE
PredictingCAO,PIETER J.L. CUIJPERS,REINDER
student performance in a blendedJ.MOOC
BRIL,JOHAN
Jingyue
J. of
Journal LUKKIEN
Cao data-intensive
Computer sensing (2018)
Assisted Learning
M.A. CONIJN,A. VAN
An independent DEN BEEMT,P.J.L.
yet efficient analysis ofCUIJPERS Nan Yang for credit-based
bandwidth reservation evolution of software
shaping components
14th IEEE International Workshop on F
JINGYUE CAO,MOHAMMAD ASHJAEI,PIETER J.L. CUIJPERS,REINDER
Jeroen Redegel
Work-in-progress 38th IEEE Real-Time Systems Symposium (RTSS 2017) (2018)J. platform
BRIL,JOHANfor sharing
J. LUKKIEN
mobility data
HECTOR JOAO RIVERA-VERDUZCO,PIETER J.L. CUIJPERS,JINGYUE CAO
Stakeholder impact on the software architecture of intelligent transport systems implementations 2017 IEEE International Conf
J. REDEGELD,P.J.L. CUIJPERS,J.J. LUKKIEN
https://research.tue.nl/en/persons/pieter-jl-cuijpers/publications/
Native directly follows operator arXiv (2018)
ALIFAH SYAMSIYAH,BOUDEWIJN
Component F. VAN
interface identification and DONGEN,REMCO
behavioral model M. DIJKMAN
discovery from software execution data ACM/IEEE 26th Internationa
CONG LIU,BOUDEWIJN VAN DONGEN,NOUR ASSY,WIL M.P. VAN DER AALST Conference on Software Engineering (ICSE 2018) (
A general framework to detect behavioral design patterns 40th International
CONG LIU,BOUDEWIJN
Discovering VANusing
workflow nets DONGEN,NOUR ASSY,WIL
integer linear M.P. VAN
programming DER AALST
Computing (2018)
S.J. VAN ZELST,B.F. VAN DONGEN,W.M.P. VAN DER AALST,H.M.W. VERBEEK
Similarity resonance for improving process model matching accuracy 33rd Annual ACM Symposium on Applied Computing, SAC
NOUR ASSY,BOUDEWIJN F. VAN DONGEN,WIL M.P. VAN DER AALST
https://research.tue.nl/en/persons/boudewijn-f-van-dongen/publications/
Leveraging semantics for actionable intrusion detection in building automation systems 13th International Conference on Critic
DAVIDE
Eventpad:FAURI,MICHAIL
Rapid Malware KAPSALAKIS,DANIEL
Analysis and ReverseRICARDO DOS SANTOS,ELISA
Engineering HCM
using Visual COSTANTE,JERRY
Analytics DEN HARTOG,SANDRO
IEEE Symposium on Visualization ETALLE
for Cyber S
B.C.M. CAPPERS,J.J. VAN WIJK,S. ETALLE,PAULUS MEESSEN
Eventpad : a visual analytics approach to network intrusion detection and reverse engineering European Cyper Security Perspe
B.C.M.
BehaviorCAPPERS,J.J.
analysis in VAN WIJK,S. sector
the medical ETALLE33rd Annual ACM Symposium on Applied Computing, SAC 2018 (2018)
MAHDI ALIZADEH,SANDER
ECFI: Asynchronous ControlPETERS,SANDRO
Flow Integrity forETALLE,NICOLA
ProgrammableZANNONE
Logic Controllers Annual Computer Security Applications Conferen
A. ABBASI,T. HOLZ,E. ZAMBON,S. ETALLE
https://research.tue.nl/en/persons/sandro-etalle/publications/
Scalable process discovery and conformance checking Software and Systems Modeling (2018)
S.J.J.
LinkingLEEMANS,D. FAHLAND,W.M.P.
data and process VAN
perspectives forDER AALST
conformance analysis Computers and Security (2018)
M.
The imprecisions of precision measures in process mining DER
ALIZADEH,X. LU,D. FAHLAND,N. ZANNONE,W.M.P. VAN AALST Processing Letters (2018)
Information
N. TAX,X. LU,N. SIDOROVA,D. FAHLAND,W.M.P. VAN DER AALST
Workshop on Petri Nets and Modeling 2018 (PeMod'2018) CEUR Workshop Proceedings (2018)
DIRK
DynamicFAHLAND,MICHAEL KÖHLER-BUSSMEIER,DANIEL
skipping and blocking, dead path elimination MOLDT
for cyclic workflows, and a local semantics for inclusive gateways Inform
DIRK FAHLAND,HAGEN VÖLZER
https://research.tue.nl/en/persons/dirk-fahland/publications/
Generating flexible workloads for graph databases Proceedings of the VLDB Endowment (2016)
G.H.L. FLETCHER,G.
Similarity BAGAN,A.
and bisimilarity BONIFATI,R.
notions CIUCANU,A.
appropriate LEMAY,N.indistinguishability
for characterizing ADVOKAAT in fragments of the calculus of relations Jou
G.H.L. FLETCHER,M. GYSSENS,D. LEINDERS,J. VAN DEN BUSSCHE,D. VAN GUCHT,S. VANSUMMEREN
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs Annals of Mathem
G.H.L. FLETCHER,M.
Relative GYSSENS,D.
expressive power LEINDERS,J.
of navigational VAN DEN
querying BUSSCHE,D.
on graphs VAN GUCHT,S.
Information SciencesVANSUMMEREN,Y.
(2015) WU
G.H.L. FLETCHER,M.
Relative GYSSENS,D.
expressive power LEINDERS,D.
of navigational SURINX,J.
querying VAN DEN
on graphs BUSSCHE,D.
using VAN GUCHT,S.
transitive closure VANSUMMEREN,Y.
Logic Journal WU
of the IGPL (2015)
D. SURINX,G.H.L. FLETCHER,M. GYSSENS,D. LEINDERS,J. VAN DEN BUSSCHE,D. VAN GUCHT,S. VANSUMMEREN,Y. WU
https://research.tue.nl/en/persons/george-hl-fletcher/publications/
Genga, Laura, Alizadeh, Mahdi, Potena, Domenico, Diamantini, Claudia & Zannone, Nicola (2018). Discovering anomalous frequ
Diamantini, C., Genga, L., Potena, D. & van der Aalst, W.P.M. (2016). Building instance graphs for highly variable processes. Expe
Cameranesi, Marco, Diamantini, Claudia, Genga, Laura & Potena, Domenico (2017). Tell the student : evidence-based advantag
Genga, Laura, Tax, Niek & Zannone, Nicola (2019). Mining local process models and their correlations. In Kilian Stoffel, Maurice
Cameranesi, Marco, Diamantini, Claudia, Genga, Laura & Potena, Domenico (2017). Tell the student : evidence-based advantag
Cameranesi, Marco, Diamantini, Claudia, Genga, Laura & Potena, Domenico (2017). Students' careers analysis : a process minin
Diamantini, Claudia, Genga, Laura, Marozzo, Fabrizio, Potena, Domenico & Trunfio, Paolo (2017). Discovering mobility patterns
Genga, L., Potena, D., Martino, O., Alizadeh, M., Diamantini, C. & Zannone, Nicola (2017). Subgraph mining for anomalous patte
Genga, L., Alizadeh, M., Potena, D., Diamantini, C. & Zannone, Nicola (2017). APD tool : Mining anomalous patterns from event
Tax, N., Genga, L. & Zannone, N. (2017). On the use of hierarchical subtrace mining for efficient local process model mining. In
Genga, L., Potena, D., Martino, O., Alizadeh, M., Diamantini, C. & Zannone, N. (2016). Subgraph mining for anomalous pattern d
Diamantini, C., Genga, L., Potena, D. & van der Aalst, W.M.P. (2015). Towards process instances building for spaghetti processes
Grouping time-varying data for interactive exploration 32nd International Symposium on Computational Geometry (SoCG 2016
A.I. VAN GOETHEM,M.J.
A formal approach to theVAN KREVELD,M.
automated LÖFFLER,B.
labeling of groupsSPECKMANN,F. STAALS and Geographic Information Science (2015)
of features Cartography
A. REIMER,A.I.
Exploring GOETHEM,
curved VAN,M.
schematization ofRYLOV,M.J. KREVELD,
territorial outlines VAN,B.
IEEE SPECKMANN
Transactions on Visualization and Computer Graphics (2015)
A.I. GOETHEM, VAN,W. MEULEMANS,B. SPECKMANN,J.D. WOOD
Stenomaps : shorthand for shapes IEEE Transactions on Visualization and Computer Graphics (2014)
A.I. GOETHEM,
Topologically VAN,A.
safe REIMER,B.
curved SPECKMANN,J.D.
schematisation WOOD Journal (2013)
The Cartographic
A.I. GOETHEM, VAN,W. MEULEMANS,A. REIMER,H.J. HAVERKORT,B. SPECKMANN
https://research.tue.nl/en/persons/arthur-i-van-goethem/publications/
Correct and efficient antichain algorithms for refinement checking (2019) Berkleef vs Capgemini
MAURICE LAVEAUX,JAN FRISO GROOTE,TIM A. C. WILLEMSE
Correct and efficient antichain algorithms for refinement checking (2019) Dec 2010 – Present
MAURICE LAVEAUX,JAN FRISO GROOTE,TIM WILLEMSE www.mcrl2.org
Pitfalls in applying model learning to industrial legacy software 8th International Symposium on Leveraging Applications of Form
OMAR AL DUHAIBY,ARJAN MOOIJ,HANS VAN WEZEP,JAN FRISO GROOTE
Solving parameterised boolean equation systems with infinite data through quotienting 15th International Conference on Form
THOMAS NEELE,TIM A.C.
Solving parameterised WILLEMSE,JAN
boolean equation FRISO
systems GROOTE
with infinite data through quotienting 15th International Conference on Form
THOMAS NEELE,TIM A.C. WILLEMSE,JAN FRISO GROOTE
https://research.tue.nl/en/persons/jf-jan-friso-groote/publications/
Hassani, M., Töws, D., Cuzzocrea, A. & Seidl, T. (2017). BFSPMiner: an BigMine 15
Hassani, M. & Seidl, T. (2017). Using internal evaluation measures to BigMine 14
Schueller, D., Beecks, C., Hassani, M., Hinnell, J., Brenger, B., Seidl (HPCC 2014)
(PLETTERS)
van Zelst, S.J., Bolt Irondio, A.J., Hassani, M., van Dongen, B.F. & v Pattern
(JMLR) Recognition Letters (2014)
Beecks, C., Hassani, M., Brenger, B., Hinnell, J., Schueller, D., Mittel Journal of Machine Learning Research (2013)
Hassani, M. & Seidl, T. (2016). Clustering big data streams : recent ch BigMine 13
Osch, van, M.P.W.J., Bera, D., Hee, van, K.M., Koks, Y. & Zeegers, H. (2014). Tele-operated service robots : ROSE. Automation in C
Hee, van, K.M., Sidorova, N. & Werf, van der, J.M.E.M. (2013). Refinement of synchronizable places with multi-workflow nets. F
Aalst, van der, W.M.P., Hee, van, K.M., Werf, van der, J.M.E.M., Kumar, Akhil & Verdonk, M.C. (2011). Conceptual model for onli
Aalst, van der, W.M.P., Hee, van, K.M., Hofstede, ter, A.H.M., Sidorova, N., Voorhoeve, M. & Wynn, M.T. (2011). Soundness of w
Aalst, van der, W.M.P., Hee, van, K.M., Werf, van der, J.M.E.M. & Verdonk, M.C. (2010). Auditing 2.0: Using process mining to su
Business drivers of a collaborative, proactive maintenance solution The MANTIS Book: Cyber Physical System Based Proactive C
ERKKI JANTUNEN,A.
Using artificial AKCAY,JAIME
neurons in evidenceCAMPOS,M.J. HOLENDERSKI,ARJA
based trust computation KOTKANSALO,RIKU
17th IEEEMANTIS (ECSEL,Conference
International 2015-2017)
SALOKANGAS,PANKAJ SHARMA
on Trust, Security and Privacy
CICEK GUVEN,MIKE HOLENDERSKI,TANIR OZCELEBI,JOHAN LUKKIEN Smart Lighting for City Services (EIT ICT Labs,
A formalization of computational trust Joint 13th CTTE and 10th CMI Conference on Internet of Things - Business Models, 2015) User
CICEK GUVEN,MIKE
Predicting HOLENDERSKI,TANIR
machine failures OZCELEBI,JOHAN
from industrial time series dataLUKKIEN Intelligent
5th International Outdoor Lighting
Conference Systems
on Control, (IOLS)
Decision and(EIT ICT Labs,
Information
F.J.M. JANSEN,M.J.
An application HOLENDERSKI,T.
of trust OZCELEBI,PAULIEN
in predictive maintenance DAM,BAS TIJSMA
13th Conference Open Local Data Applications
of Telecommunication, Media and(OLDA) (EITTechno-Econom
Internet ICT Labs, 2013)
C. GÜVEN - OZCELEBI,M.J. HOLENDERSKI,J.J. LUKKIEN
https://research.tue.nl/en/persons/mike-j-holenderski/publications/
integration with an emphasis on the challenges of managing data with uncertaintiachieving a deeper integration of information extraction t
sed mechanisms for entity resolution over very large data collections as well as unstructured data (e.g., information from the Web)
Kernelization lower bounds by cross-composition SIAM Journal on Discrete Mathematics (2014)
H.L. BODLAENDER,B.M.P.
Turing JANSEN,S.
kernelization for finding KRATSCH
long paths and cycles inAstrid Pieterse
restricted graph classes Journal of Computer and System Sciences (201
B.M.P. JANSEN Huib Donkers
Fine-grained complexity analysis of two classic TSP variants 43rd International Colloquium on Automata, Languages, and Progra
M.T. DE BERG,K.A.
Approximation andBUCHIN,B.M.P. JANSEN,G.J.
kernelization for WOEGINGER
chordal vertex Luuk de28th
deletion Visser
Annual ACM-SIAM Symposium on Discrete Algorithms (SODA
B.M.P. JANSEN,M. PILIPCZUK Jules J. H. M. Wulms
Uniform kernelization complexity of hitting forbidden minors ACM Transactions on Algorithms (2017)
A.C. GIANNOPOULOU,B.M.P. JANSEN,D. LOKSHTANOV,S. IvoSAURABH
van Heck, Rui Hu
https://research.tue.nl/en/persons/bart-mp-jansen/publications/
Arjan van den Boogaart
FP7-MC-ITN Cloudscreens - Support of cloud services for
Jarnikov, D.S. & Ozcelebi, T. (2011). Client intelligence for adaptive Oct 2013 –- Optimization
OptiBand Present of Bandwidth for IPTV video stre
Stok, van der, P.D.V., Jarnikov, D., Kozlov, S., Hartskamp, van, M.A. & Jan 2010 – Present
Haakma, R., Jarnikov, D. & Stok, van der, P.D.V. (2005). Perceived quality of wirelessly transported videos. In P.D.V. Stok, van der
Kang, J., Groot, de, H., Stok, van der, P.D.V., Jarnikov, D., Nitescu, I. & Ogg, F. (2005). Robust video streaming over wireless in-ho
Aladagli, A. Deniz, Ekmekcioglu, Erhan, Jarnikov, Dmitri & Kondoz, Ahmet (2018). Predicting head trajectories in 360° virtual rea
Cranen, Sjoerd, Keiren, J.J.A. & Willemse, T.A.C. (2017). Parity game reductions. Acta Informatica, 55(5), 401-444. In Scopus Cite
Groote, J.F., Jansen, D.N., Keiren, J.J.A. & Wijs, A.J. (2017). An O(mlog n) algorithm for computing stuttering equivalence and br
Hwong, Y.L., Keiren, J.J.A., Kusters, V.J.J., Leemans, S.J.J. & Willemse, T.A.C. (2013). Formalising and analysing the control softwa
Keiren, J.J.A., Reniers, M.A. & Willemse, T.A.C. (2012). Structural analysis of Boolean equation systems. ACM Transactions on Co
Jacobs, Bart, Bosnacki, Dragan & Kuiper, Ruurd (2018). Modular termination verification of single-threaded and multithreaded
Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E.J. (2008). Specification and verification of invariants by exploiting layers in OO d
Roubtsova, E.E., Gool, van, L.C.M., Kuiper, R. & Jonkers, H.B.M. (2002). Consistent specification of interface suites in UML. Softw
Penczek, W., Szreter, M., Gerth, R.T. & Kuiper, R. (2000). Improving partial order reductions for universal branching time properti
Dignum, F.P.M. & Kuiper, R. (1999). Specifying deadlines with continuous time using deontic and temporal logic. International J
Liu, L. & Liere, van, R. (2012). Modeling object pursui Chris Kruszynski
Liu, L., Martens, J.B.O.S. & Liere, van, R. (2011). Re Ferdi Smit
Filatov, M.V., Kaandorp, J.A., Postma, M., Vermeij, M. Liu Lei
Smit, F.A., Liere, van, R. & Fröhlich, B. (2010). A programmable display layer for virtual reality system architectures. IEEE Transac
Smit, F.A., Liere, van, R., Beck, S. & Fröhlich, B. (2010). A shared-scene-graph image-warping architecture for VR : low latency ve
Mensvoort, van, K.M., Vos, P., Hermes, D.J. & Liere, van, R. (2010). Perception of mechanically and optically simulated bumps a
Evers, Joep H.M., Zisis, Iason A., van der Linden, Bas J. & Duong, Manh Hong (2018). From continuum mechanics to SPH particl
Zisis, I., Messahel, R., Boudlal, A., van der Linden, B.J. & Koren, B. (2015). Validation of robust SPH schemes for fully compressib
Zisis, I., Van Der Linden, B.J., Giannopapa, C.G. & Koren, B. (2015). On the derivation of SPH schemes for shocks through inhom
Pisarenco, M., Linden, van der, B.J., Tijsseling, A.S., Ory, E. & Dam, J.A.M. (2011). Friction factor estimation for turbulent flows i
Linden, van der, B.J. (2004). Domain decomposition in radiative heat transfer computations using the algebraic ray trace metho
Linden, van der, B.J. & Mattheij, R.M.M. (1999). A new method for solving radiative heat problems in glass. International Journa
Smart space concepts, properties and architectures IEEE Access (2018)
SACHIN BHARDWAJ,TANIR
Independent WCRT analysisOZCELEBI,JOHAN J. LUKKIEN,KEON
for individual priority MYUNGAVB
classes in Ethernet LEE Real-Time Systems (2018)
JINGYUE CAO,PIETER
Synthesizing J.L. CUIJPERS,REINDER
and reconstructing J. BRIL,JOHAN
missing sensory modalitiesJ.inLUKKIEN
behavioral context recognition Sensors (Switzerland) (2018)
AAQIB SAEED,TANIR OZCELEBI,JOHAN LUKKIEN
Using artificial neurons in evidence based trust computation 17th IEEE International Conference on Trust, Security and Privacy
CICEK GUVEN,MIKE
Learning behavioral HOLENDERSKI,TANIR OZCELEBI,JOHAN
context recognition with LUKKIEN convolutional networks arXiv.org,e-Print Archive, Mathem
multi-stream temporal
AAQIB SAEED,TANIR OZCELEBI,STOJAN TRAJANOVSKI,JOHAN LUKKIEN
https://research.tue.nl/en/persons/johan-j-lukkien/publications/
A systematic approach and tool support for GSN-based safety case assessment Journal of Systems Architecture : Embedded So
Y. LUO,M.J.G.
Metrics designVAN
for DEN
safetyBRAND,Z. LI,A.Information
assessment KHABBAZ SABERI
and Software Technology (2016)
YAPING LUO,M.G.J. VAN DEN BRAND
A categorization of GSN-based safety cases and patterns 4th International Conference on Model-Driven Engineering and Softw
Y.
AnLUO,Z. LI,M.G.J.
approach VAN DENsafety
for functional BRAND improvement of an existing automotive system 2015 9th Annual IEEE International Systems C
A. KHABBAZ SABERI,Y. LUO,F.P. CICHOSZ,M.G.J. VAN DEN
A systematic approach for safety evidence collection BRAND,S.T.H.
in the JANSEN
safety-critical domain 9th Annual IEEE International Systems Confer
H. LIN,JI WU,C. YUAN,Y. LUO,M.G.J. BRAND, VAN DEN,L.J.P. ENGELEN
https://research.tue.nl/en/persons/yaping-luo/publications/
Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset 23rd International Conference on Formal Methods for In
MAARTEN
Divide and BARTHOLOMEUS,BAS LUTTIK,TIM Conference
congruence III 28th International WILLEMSE on Concurrency Theory, CONCUR 2017 (2017)
W. FOKKINK,R.
Brzozowski goesVAN GLABBEEK,B.
concurrent LUTTIK
28th International Conference on Concurrency Theory, CONCUR 2017 (2017)
T. KAPPÉ,P. BRUNET,S.P. LUTTIK,A. SILVA,F.
Sequential composition in the presence ofZANASI
intermediate termination Combined 24th International Workshop on Expressivenes
J.C.M. BAETEN,S.P.
Expressiveness LUTTIK,F.
modulo YANG of regular expressions with parallel composition Mathematical Structures in Computer Scie
bisimilarity
J.C.M. BAETEN,B. LUTTIK,T. MULLER,P.J.A. TILBURG, VAN
https://research.tue.nl/en/persons/sp-bas-luttik/publications/
Configurable event correlation for process discovery from object-centric event data 25th IEEE International Conference on Web
GUANGMING LI,RENATA MEDEIROS
Extracting object-centric DEsupport
event logs to CARVALHO,WIL M.P. VAN
process mining onDER AALST 30th International Conference on Advanced Inform
databases
GUANGMING LI,EDUARDO GONZÁLEZ
Dealing with artifact-centric LÓPEZ
systems CEUR DE MURILLAS,RENATA
Workshop MEDEIROS DE CARVALHO,WIL M.P. VAN DER AALST
Proceedings (2018)
GUANGMING LI,RENATA MEDEIROS DE CARVALHO
Log skeletons (2018)
H.M.W. VERBEEK,R.
Automatic discoveryMEDEIROS DE CARVALHO
of object-centric behavioral constraint models 20th International Conference on Business Information Sys
G. LI,R.M. DE CARVALHO,W.M.P. VAN DER AALST
https://research.tue.nl/en/persons/renata-medeiros-de-carvalho/publications/
Exarchakos, Georgios, Druda, Luca, Menkovski, Vlado & Liotta, Antonio (2015). Network analysis on skype end-to-end video qu
Exarchakos, G., Druda, L., Menkovski, V., Bellavista, P. & Liotta, A. (2013). Skype resilience to high motion videos. International J
Menkovski, V. & Liotta, A. (2012). Adaptive psychometric scaling for video quality assessment. Signal Processing : Image Comm
Menkovski, V., Exarchakos, G., Cuadra Sánchez, A. & Liotta, A. (2011). A quality of experience management module. Internation
Menkovski, V., Exarchakos, G. & Liotta, A. (2011). The value of relative quality in video delivery. Journal of Mobile Multimedia, 7
Locally correct Fréchet matchings Computational Geometry: Theory and Applications (2019)
KEVIN BUCHIN,MAIKE BUCHIN,WOUTER
Social network-epistemology MEULEMANS,BETTINA
14th IEEE International ConferenceSPECKMANN
on eScience, e-Science 2018 (2018)
M. ALFANO,S. CUNNINGHAM,W. MEULEMANS,I. RUTTER,M. SONDAG,B. SPECKMANN,E.
Optimal algorithms for compact linear layouts 11th IEEE Pacific Visualization Symposium SULLIVAN
(PacificVis 2018) (2018)
WILLEM SONKE,KEVIN VERBEEK,WOUTER MEULEMANS,ERIC VERBEEK,BETTINA SPECKMANN
Short plane support trees for hypergraphs 34th European Workshop on Computational Geometry (EuroCG2018) (2018)
THOM
OptimalCASTERMANS,MEREKE
algorithms for compactVAN GARDEREN,WOUTER
linear MEULEMANS,MARTIN
layouts 34th European NÖLLENBURG,XIAORU
Workshop on Computational YUAN
Geometry (EuroCG2018) (2018)
W. MEULEMANS,W.M. SONKE,B. SPECKMANN,H.M.W. VERBEEK,K.A.B. VERBEEK
https://research.tue.nl/en/persons/wouter-meulemans/publications/
Computing the chromatic number using graph decompositions via matrix rank 26th European Symposium on Algorithms, ESA 2
BART
More M.P. JANSEN,JESPER
consequences NEDERLOF
of falsifying SETH and the orthogonal vectors conjecture 50th Annual ACM Symposium on Theory of Comp
AMIR ABBOUD,HOLGER DELL,KARL
More consequences of falsifying SETH BRINGMANN,JESPER
and the orthogonalNEDERLOF
vectors conjecture arXiv (2018)
AMIR ABBOUD,KARL BRINGMANN,HOLGER DELL,JESPER NEDERLOF
Fast Hamiltonicity checking via bases of perfect matchings Journal of the ACM (2018)
MAREK
SharperCYGAN,STEFAN
upper bounds forKRATSCH,JESPER NEDERLOF
unbalanced uniquely decodable code pairs IEEE Transactions on Information Theory (2018)
PER AUSTRIN,PETTERI KASKI,MIKKO KOIVISTO,JESPER NEDERLOF
https://www.tue.nl/en/research/researchers/jesper-nederlof/
A white-box anomaly-based framework for database leakage detection Journal of Information Security and Applications (2017)
E. COSTANTE,J.
Mining DEN HARTOG,M.
context-aware associationPETKOVIC,S. ETALLE,M. PECHENIZKIY
rules using grammar-based genetic programming IEEE Transactions on Cybernetics (2018)
J.M. LUNA,M. PECHENIZKIY,M.J. DEL JESUS,S. VENTURA
Apriori versions based on MapReduce for mining frequent patterns on big data IEEE Transactions on Cybernetics (2018)
J.M. LUNA,F. PADILLO,M.
Speeding-up PECHENIZKIY,S.
association rule mining withVENTURA
inverted index compression IEEE Transactions on Cybernetics (2016)
J.M. LUNA,A. CANO,M. PECHENIZKIY,SEBASTIÁN VENTURA
Mining exceptional relationships with grammar-guided genetic programming Knowledge and Information Systems (2016)
J.M. LUNA,M. PECHENIZKIY,S. VENTURA
https://research.tue.nl/en/persons/mykola-pechenizkiy/publications/
Guided process discovery Information Systems (2018)
F. MANNHARDT,M.
Blockchains DE LEONI,H.A.
for business REIJERS,W.M.P.
process management VAN DER AALST,P.
- Challenges TOUSSAINT
and opportunities ACM Transactions on Management Information
J. MENDLING,I. WEBER,W.M.P. VAN DER AALST,J. VOM BROCKE,C. CABANILLAS,F. DANIEL,S.
A hybrid approach for aspect-oriented business process modeling Journal of Software: DEBOIS,C.
Evolution DI CICCIO,M.
and Process (2018)DUMAS,S. D
A. JALALI,F.M.
Checking MAGGI,H.A.
process REIJERS
compliance against natural language specifications using behavioral spaces Information Systems (2018)
H. VAN DER AA,H. LEOPOLD,H.A. REIJERS
Who is behind the model? classifying modelers based on pragmatic model features 16th International Conference on Business
ANDREA BURATTIN,PNINA SOFFER,DIRK FAHLAND,JAN MENDLING,HAJO A. REIJERS,IRENE VANDERFEESTEN,MATTHIAS WEIDLI
https://research.tue.nl/en/persons/hajo-a-reijers/publications/
The impact of deadline misses on the control performance of high-end motion control systems IEEE Transactions on Industrial
W. GEELEN,D.
Assessing and ANTUNES,J.P.M.
improving qualityVOETEN,R.R.H.
of QVTo modelSCHIFFELERS,W.P.M.H. HEEMELS
transformations Software Quality Journal (2016)
C.M. GERPHEIDE,R.R.H. SCHIFFELERS,A. SEREBRENIK
Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner IEEE Transactio
R.J.M.
Syntax THEUNISSEN,M. PETRECZKY,R.R.H.
and consistent equation semanticsSCHIFFELERS,D.A. BEEK, VAN,J.E. ROODA
of hybrid Chi (2004)
D.A.
QVToBEEK,
modelVAN,K.L. MAN,M.A.: assessing
transformations RENIERS,J.E.
andROODA,R.R.H. SCHIFFELERS
improving their quality ERCIM News (2014)
C.M. GERPHEIDE,R.R.H. SCHIFFELERS,A. SEREBRENIK
https://research.tue.nl/en/persons/ramon-rh-schiffelers/publications/
Challenges for static analysis of Java Reflection : literature review and empirical study 39th International Conference on Softwa
D.
OnLANDMAN,A. SEREBRENIK,J.
negative results when using VINJU
sentiment analysis tools for software engineering research Empirical Software Engineering (201
R.M. JONGELING,P. SARKAR,S.
Reducing user input requests to DATTA,A.
improveSEREBRENIK
IT support ticket resolution process Empirical Software Engineering (2018)
M. GUPTA,A. ASADULLAH,S. PADMANABHUNI,A. SEREBRENIK
The impact of continuous integration on other software development practices: a large-scale empirical study 32nd IEEE/ACM In
Y. ZHAO,A. SEREBRENIK,Y. ZHOU,V. FILKOV,B.N. VASILESCU
Gender and tenure diversity in GitHub teams 33rd Annual ACM Conference on Human Factors in Computing Systems (CHI 2015
B.N. VASILESCU,D. POSNETT,B. RAY,M.G.J. BRAND, VAN DEN,A. SEREBRENIK,P. DEVANBU,V. FILKOV
https://research.tue.nl/en/persons/alexander-serebrenik/publications/
Tax, N., Alasgarov, E.E., Sidorova, N., Haakma, R. & van der Aalst, W.M.P. (2019). Generating time-based label refinements to di
Tax, N., Sidorova, N. & van der Aalst, W.M.P. (2019). Discovering more precise process models from event logs by filtering out c
Tax, N., Lu, X., Sidorova, N., Fahland, D. & van der Aalst, W.M.P. (2018). The imprecisions of precision measures in process minin
Tax, Niek, Dalmas, Benjamin, Sidorova, Natalia, van der Aalst, Wil M.P. & Norre, Sylvie (2018). Interest-driven discovery of local
van Eck, M.L., Firat, M., Nuijten, W.P.M., Sidorova, N. & van der Aalst, W.M.P. (2017). Human performance-aware scheduling an
Aslib: a benchmark library for algorithm selection Artificial Intelligence (2016)
B. BISCHL,P.ofKERSCHKE,L.
Reduction KOTTHOFF,M.
false arrhythmia LINDAUER,Y.
alarms using MALITSKY,A.
signal selection FRÉCHETTE,H.
OpenML.org
and machine learningHOOS,F. HUTTER,K.
Physiological LEYTON-BROWN,K.
Measurement (2016) TIERNE
L.M.
OpenMLEERIKÄINEN,J.
: networked VANSCHOREN,M.J.
science in machine ROOIJAKKERS,R.
learning SIGKDD VULLINGS,R.M. AARTS
Explorations (2013)
J.
A VANSCHOREN,J.N.
survey of intelligentVAN RIJN,B.for
assistants BISCHL,L. TORGOACM Computing Surveys (2013)
data analysis
F. SERBAN,J.
Selecting VANSCHOREN,J.U.
classification KIETZ,A.
algorithms BERNSTEIN
with active testing International Workshop on Machine Learning and Data Mining in Pattern
R. LEITE,P. BRAZDIL,J. VANSCHOREN
https://research.tue.nl/en/persons/joaquin-vanschoren/publications/
Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod Computer Languages, S
A.M. SUTII,M.G.J.
The spurs of D. H. VAN DEN: Hamiltonian
Lehmer BRAND,T. VERHOEFF
paths in neighbor-swap graphs of permutations Designs, Codes and Cryptography (201
T. VERHOEFF
3D turtle geometry: artwork, theory, program equivalence and symmetry International Journal of Arts and Technology (2010)
T. VERHOEFF
A proposal for an IOI syllabus Teaching Mathematics and Computer Science (2006)
T.
Settling multipleHORVÁTH,K.
VERHOEFF,G. DIKS,G.
debts efficiently : anCORMACK
invitation to computing science Informatics in Education (2004)
T. VERHOEFF
https://research.tue.nl/en/persons/tom-verhoeff/publications/
Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions Journal of Softwa
D. LANDMAN,A.
Towards SEREBRENIK,E.
multilingual programmingBOUWERS,J.J.
environmentsVINJU
Science of Computer Programming (2015)
T. STORM, VAN DER,J.J. VINJU
Automated generation of program translation and verification tools using annotated grammars Science of Computer Programm
D. ORDÓÑEZ
Generator of CAMACHO,K. MENS,M.G.J.
efficient strongly BRAND,
typed abstract VANtrees
syntax DEN,J.J. VINJU
in Java IEE Proceedings - Software Engineering (2005)
M.G.J. BRAND, VAN DEN,P.-E. MOREAU,J.J. VINJU
Term rewriting with traversal functions ACM Transactions on Software Engineering and Methodology (2003)
M.G.J. BRAND, VAN DEN,P. KLINT,J.J. VINJU
https://research.tue.nl/en/persons/jurgen-vinju/publications/
An efficient algorithm to determine probabilistic bisimulatio Algorithms (2018)
J.F. GROOTE,HÉCTOR
Extending J. RIVERA
paradigm with VERDUZCO,E.P.
data Lecture Notes inDE VINK Science (including subseries Lecture Notes in Artificial Intelligence an
Computer
LUUK P.J. GROENEWEGEN,JAN
Deadlock H.S. VERSCHUREN,ERIK
detection for actor-based P. DE VINK Symposium on Formal Methods, FM 2018 Held as Part of the
coroutines 22nd International
KEYVAN AZADBAKHT,FRANK
Formal methods (2018) S. DE BOER,ERIK DE VINK
KLAUS HAVELUND,JAN PELESKA,BILL
Family-based model checking of SPL with ROSCOE,ERIK DE VINK
mCRL2 21st International Systems and Software Product Line Conference (SPLC 2017
Z.B. SNAIBA,E.P. DE VINK,T.A.C. WILLEMSE
https://research.tue.nl/en/persons/erik-p-de-vink/publications/
Comparing personal image collections with PICTuReVis Computer Graphics Forum (2017)
P.N.A. VANsnapshots
Reducing DER CORPUT,J.J.
to pointsVAN WIJK analytics approach to dynamic network exploration IEEE Transactions on Visualization a
: a visual
S.J. VAN DEN
Exploring ELZEN,D.H.R.
Items and Features HOLTEN,J. BLAAS,J.J.Computer
with IF, FI-Tables WIJK, VANGraphics Forum (2016)
P.N.A. VANvisualization
Rationale DER CORPUT,J.J. VAN and
for safety WIJKsecurity Computer Graphics Forum (2015)
R.J. SCHEEPENS,S.
Multivariate MICHELS,H.M.M.
network exploration andWETERING, VAN
presentation DE,J.J.
: from WIJK,
detail toVAN
overview via selections and aggregations IEEE Transactions o
S.J. ELZEN, VAN DEN,J.J. WIJK, VAN
https://research.tue.nl/en/persons/jack-j-van-wijk/publications/
Model checking International Journal on Software Tools for Technology Transfer (2018)
DRAGAN BOŠNAČKI,ANTON
A formal verification techniqueWIJS
for behavioural model-to-model transformations Formal Aspects of Computing (2018)
S. DE PUTTER,A. WIJS
To compose, or not to compose, that is the question 22nd International Symposium on Formal Methods, FM 2018 Held as Part
SANDER
The SLCODE PUTTER,ANTON
framework WIJS model-driven construction of component software 15th International Conference on Formal
for verified,
SANDER
AnalysingDE PUTTER,ANTON
the performance ofWIJS,DAN
GPU hashZHANG
tables for state space exploration arXiv (2017)
N. CASSEE,A.J. WIJS
https://research.tue.nl/en/persons/anton-j-wijs/publications/
Correct and efficient antichain algorithms for refinement checking arXiv (2019)
MAURICE
Correct andLAVEAUX,JAN FRISO GROOTE,TIM
efficient antichain algorithms forA.refinement
C. WILLEMSE checking (2019)
MAURICE LAVEAUX,JAN FRISO GROOTE,TIM WILLEMSE
Solving parameterised boolean equation systems with infinite data through quotienting 15th International Conference on Form
THOMAS NEELE,TIM A.C.
Solving parameterised WILLEMSE,JAN
boolean equation FRISO
systems GROOTE
with infinite data through quotienting 15th International Conference on Form
THOMAS
A comparison of BDD-based parity game solversGROOTE
NEELE,TIM A.C. WILLEMSE,JAN FRISO 9th International Symposium on Games, Automata, Logics, and Formal Verifica
LISETTE SANCHEZ,WIEGER WESSELINK,TIM A.C. WILLEMSE
https://research.tue.nl/en/persons/tim-ac-willemse/publications/
Histogram domain ordering for path selectivity estimation EDBT/ICDT 2018 Joint Conference 21st International Conference on
N. YAKOVETS,LI
Querying graphsWANG,G.H.L.
(2018) FLETCHER,CRAIG TAVERNER,ALEXANDRA POULOVASSILIS
ANGELA BONIFATI,G.H.L.
Declarative graph queryingFLETCHER,HANNES VOIGT,N.
in practice and theory YAKOVETS
EDBT/ICDT 2017 Joint Conference 20th International Conference on Extendin
G.H.L. FLETCHER,H. VOIGT,N. YAKOVETS
Stability notions in synthetic graph generation: a preliminary study EDBT/ICDT 2017 Joint Conference 20th International Confer
W. VAN LEEUWEN,G.H.L.
TASWEET FLETCHER,N.
: optimizing disjunctive YAKOVETS,A.
regular BONIFATI
path queries in graph databases EDBT/ICDT 2017 Joint Conference 20th International
Z. ABUL-BASHER,N. YAKOVETS,P. GODFREY,S. GHAJAR-KHOSRAVI,M.H. CHIGNELL
https://research.tue.nl/en/persons/nikolay-yakovets/publications/
Alizadeh, M., Lu, X., Fahland, D., Zannone, N. & van der Aalst, W.M.P Current projects are related to open standard Application
Genga, Laura, Alizadeh, Mahdi, Potena, Domenico, Diamantini, Claudia M2M Internet for dynamic M2M Information Business ec
Turkmen, F., den Hartog, J., Ranise, S. & Zannone, N. (2017). Formal analysis of XACML policies using SMT. Computers and Secu
Skoric, B., Hoogh, de, S.J.A. & Zannone, N. (2016). Flow-based reputation with uncertainty: evidence-based subjective logic. Int
Vavilis, S., Petkovic, M. & Zannone, N. (2016). A severity-based quantification of data leakages in database systems. Journal of C
Draghici, A., & van Steen, M. (2018). A survey of Claudio Martella

techniques for automatically sensing the behavior of a crowd. A
Chilipirea, C., Dobre, C., Baratchi, M., & van Steen,VinayM.Setty
R. (2018). Identifying movements in noisy crowd analytics
Chilipirea, C., Baratchi, M., Dobre, C., & van Steen,AniaM.
Chmielowiec
R. (2018). Identifying Stops and Moves in WiFi Tracking Da
Albana Gaba
Litvak, N. V., Heldens, S. J., & van Steen, M. R. (2018). Scalable Detection of Crowd Motion Patterns. IEEE transac
Baratchi, M., Heijenk, G., & van Steen, M. R. (2017). Spaceprint:
Vivek Rai a Mobility-based Fingerprinting Scheme for Spac
Suhail Yousaf
van Steen, M. R., & Tanenbaum, A. S. (2017). Distributed Systems. (3rd ed.)
Martella, C., Miraglia, A., Frost, J., Cattani, M., & van Steen, M. R. (2017). Visualizing, Clustering, and Predicting th
Martella, C., Cattani, M., & van Steen, M. R. (2017). Exploiting Density to Track Human Behavior in Crowded Envi
Brugman, T., Baratchi, M., Heijenk, G., & van Steen, M. (2017). Inferring the social-connectedness of locations fro
Baratchi, M., Heijenk, G., & van Steen, M. (2017). Spaceprint: a Mobility-based Fingerprinting Scheme for Public
Huisman, M., Monahan, R., Müller, P., Paskevich, A., & Ernst, G. (2019). VerifyThis2018: A Program Verification Co
Joosten, S. J. C., & Huisman, M. (2018). Static Code Verification Through Process Models. In T. Margaria, & B. Steff
Huisman, M., Blom, S., Darabi, S., & Safari, M. (2018). Program Correctness by Transformation. In T. Margaria, &
Huisman, M. (2018). On Models and Code: A Unified Approach to Support Large-Scale Deductive Program Verific
Felderer, M., Gurov, D., Huisman, M., Lisper, B., & Schlick, R. (2018). Formal Methods in Industrial Practice: Bridg
Ahrendt, W., Huisman, M., Reger, G., & Rozier, K. Y. (2018). A Broader View on Verification: From Static to Runtim
Huisman, M., & Joosten, S. J. C. (2018). Towards Reliable Concurrent Software. In P. Müller, & I. Schaefer (Eds.), P
Huisman, M., & Rubin, J. (2018). Software quality tools and techniques presented in FASE’17. International journa
Boerman, J., Huisman, M., & Joosten, S. J. C. (2018). Reasoning About JML: Differences Between KeY and OpenJM
Joosten, S. J. C., Oortwijn, W., Safari, M., & Huisman, M. (2018). An Exercise in Verifying Sequential Programs wit
Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., ... Wolf, K. (2018). MCC'2017 -
Nguyen, H. G., Petrucci, L., & Pol, J. V. D. (2018). Layered and Collecting NDFS with Subsumption for Parametric T
Huistra, D., Meijer, J., & Pol, J. V. D. (2018). Adaptive Learning for Learn-Based Regression Testing. In F. Howar, &
Bloemen, V., van de Pol, J., & van der Aalst, W. M. P. (2018). Symbolically Aligning Observed and Modelled Behav
Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F., & van de Pol, J. (2018). Maximizing Synch
Petrucci, L., & van de Pol, J. (2018). Parameter Synthesis Algorithms for Parametric Interval Markov Chains. In C.
Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J., & Renault, E. (2018). Parallel Mode
van Dijk, T., & van de Pol, J. (2018). Multi-core Decision Diagrams. In Y. Hamadi, & L. Sais (Eds.), Handbook of Pa
Meijer, J., & van de Pol, J. (2018). Sound Black-Box Checking in the LearnLib. In A. Dutle, C. A. Muñoz, & A. Narka
van Dijk, T., & van de Pol, J. (2018). Multi-core symbolic bisimulation minimisation. International journal on softw
Acciani, F., Frasca, P., Stoorvogel, A. A., Semsar Kazerooni, E., & Heijenk, G. (2019). Cooperative adaptive cruise
Altintas, O., Banerjee, S., Dressler, F., & Heijenk, G. (2018). Inter-Vehicular Communication Towards Cooperative
Meijerink, B. J., & Heijenk, G. (2018). Implementation and Evaluation of Distributed Geographical Routing. In K. R
Acciani, F., Stoorvogel, A. A., Heijenk, G., & Frasca, P. (Accepted/In press). Achieving robust average consensus o
Baratchi, M., Heijenk, G., & van Steen, M. R. (2017). Spaceprint: a Mobility-based Fingerprinting Scheme for Spac
Gholibeigi, M., Sarrionandia, N., Karimzadeh Motallebi Azar, M., Baratchi, M., van den Berg, H. L., & Heijenk, G. (2
Acciani, F., Frasca, P., Heijenk, G., & Stoorvogel, A. A. (2017). Using a linear gain to accelerate average consensu
Brugman, T., Baratchi, M., Heijenk, G., & van Steen, M. (2017). Inferring the social-connectedness of locations fro
Baratchi, M., Heijenk, G., & van Steen, M. (2017). Spaceprint: a Mobility-based Fingerprinting Scheme for Public
Meijerink, B. J., Baratchi, M., & Heijenk, G. (2017). Evaluation of geocast routing trees on random and actual netw
Acciani, F., Heijenk, G., & Frasca, P. (2017). Achieving robust average consensus over wireless networks. In 2016
Gholibeigi, M., Heijenk, G., Moltchanov, D., & Koucheryavi, Y. (2016). Analysis of a receiver-based reliable broadc
Gholibeigi, M., Baratchi, M., van den Berg, H. L., & Heijenk, G. (2016). Towards Reliable Multi-Hop Broadcast in VA
Morshed, S., Baratchi, M., Mandal, P. K., & Heijenk, G. (2016). A Multi-channel Multiple Access Scheme Using Freq
Morshed, S., Baratchi, M., & Heijenk, G. (2016). Traffic-adaptive duty cycle adaptation in TR-MAC protocol for wir
Gholibeigi, M., & Heijenk, G. (2016). Analysis of Multi-Hop Broadcast in Vehicular Ad Hoc Networks: a Reliability P
Meijerink, B. J., Baratchi, M., & Heijenk, G. (2016). An Efficient Geographical Addressing Scheme for the Internet.
Moscoviter, D., Gholibeigi, M., Meijerink, B. J., Kooijman, R., Krijger, P., & Heijenk, G. (2016). Improving Spatial In
Zambon, E., & Rensink, A. (2018). Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in
König, B., Nolte, D., Padberg, J., & Rensink, A. (2018). A tutorial on graph transformation. In R. Heckel, & G. Taent
Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., ... Wimmer, M. (2018). Towards a b
Orhan, G., Aksit, M., & Rensink, A. (2018). Designing Reusable and Run-Time Evolvable Scheduling Software. 339
Kumar, R., Rensink, A., & Stoelinga, M. I. A. (2018). LOCKS: a property specification language for security goals.
Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., ... Stoelinga, M. I. A. (2018). Effective
Yildiz, B. M., Rensink, A., Bockisch, C., & Aksit, M. (2017). A Model-Derivation Framework for Software Analysis. In
Yildiz, B. M., Bockisch, C., Rensink, A., & Aksit, M. (2017). A Java Bytecode Metamodel for Composable Program A
Rensink, A. (2017). How much are your geraniums? Taking graph conditions beyond first Order. In J-P. Katoen, R.
Yildiz, B. M., Bockisch, C., Aksit, M., & Rensink, A. (2017). An MDE Approach for Modular Program Analyses. In Pro
Orhan, G., Aksit, M., & Rensink, A. (2018). Designing Reusable and Run-Time Evolvable Scheduling Software. 339
Sözer, H., Stoelinga, M., Boudali, H., & Aksit, M. (2017). Availability analysis of software architecture decomposit
Yildiz, B. M., Rensink, A., Bockisch, C., & Aksit, M. (2017). A Model-Derivation Framework for Software Analysis. In
Yildiz, B. M., Bockisch, C., Rensink, A., & Aksit, M. (2017). A Java Bytecode Metamodel for Composable Program A
Yildiz, B. M., Bockisch, C., Aksit, M., & Rensink, A. (2017). An MDE Approach for Modular Program Analyses. In Pro
Orhan, G., Aksit, M., & Rensink, A. (2017). A Formal Product-Line Engineering Approach for Schedulers. In L. Jolol
Malakuti Khah Olun Abadi, S., Lohmann, W., & Aksit, M. (2015). Introduction to special issue on software enginee
Malakuti Khah Olun Abadi, S., & Aksit, M. (2015). On liberating programs from the von neumann architecture via
Aksit, M., Tekinerdogan, B., Sözer, H., Safi, H. F., & Ayas, M. (2015). The DESARC method: An effective approach
Aksit, M., & Malakuti Khah Olun Abadi, S. (2015). Hermeneutics framework: integration of design rationale and o
De Vries, W. B., Van Rijswijk-Deij, R., De Boer, P.Jair

T., Santanna http://www.fp7-flamingo.eu/
& Pras, A. (2018). Passive Observations of a Large DNS Servic
Roland van
Steinberger, J., Kuhnert, B., Dietz, C., Ball, L., Sperotto, A.,Rijswhttps://www.utwente.nl/ctit/research/research_projects
Baier, H., ... Dreo Rodosek, G. (2018). DDoS Defense
Rick Hofstede
Hofstede, R., Pras, A., Sperotto, A., & Dreo Rodosek, G. (2018). Flow-Based Compromise Detection: Lessons Lear
Karimzadeh, M., Van Den Berg, H., Schmidt, R. D. Ricardo
O., &Schmidt
Pras, A. (2017). Quantitative comparison of the efficiency
Rafael Barbosa
Hendriks, L., de Boer, P-T., & Pras, A. (2017). IPv6-specific misconfigurations in the DNS. In 2017 13th Internation
Hendriks, L., Velan, P., de O. Schmidt, R., de Boer,Idilio Drago
P-T., & Pras, A. (2017). Flow-based detection of IPv6-specific ne
Hendriks, L., Velan, P., de Oliveira Schmidt, R., DeGiovane
Boer,Moura
P. T., & Pras, A. (2017). Threats and surprises behind IPv
Anna Sperotto
Hendriks, L., de Oliveira Schmidt, R., van Rijswijk-Deij, R., & Pras, A. (2017). On the potential of IPv6 open resolv
De Vries, W. B., de Oliveira Schmidt, R., Hardaker, TiagoW.,Fioreze
Heidemann, J., de Boer, P-T., & Pras, A.(2017). Broad and lo
Kuhnert, B., Steinberger, J., Baier, H., Sperotto, Remco van de
A., & Pras, Meent
A. (2017). Booters and Certificates: An Overview of TL
Karimzadeh Motallebi Azar, M., Valtulina, L., Pras, Robert Parhonyi M., & Taleb, T. (2017). Double-NAT Based Mobility
A., Liebsch,
Zhao, Z., Karimzadeh Motallebi Azar, M., Braun,Nikolay Melnikov
T., Pras, A., & van den Berg, H. L. (2017). Cloudified Mobility and
Karimzadeh Motallebi Azar, M., Valtulina, L., vanRobert Koch H. L., Pras, A., Liebsch, M., & Taleb, T. (2017). Softwar
den Berg,
van Rijswijk, R. M., Hageman, K., Sperotto, A., &Lien Pras,Deboosere
A. (2017). The Performance Impact of Elliptic Curve Crypto
Steinberger, J., Sperotto, A., Pras, A., & Baier, H.Eduardo Silva
(2016). Real-time DDoS Defense: A collaborative Approach at In
Bortolameotti, R., van Ede, T. S., Caselli, M., Everts, M. H., Hartel, P. H., Hofstede, R., ... Peter, A. (2017). DECANT
van de Kamp, T. R., Peter, A., Everts, M. H., & Jonker, W. (2017). Multi-client Predicate-only Encryption for Conjun
Schwabe, I., Jonker, W., & van den Berg, S. M. (2016). Genes, Culture and Conservatism - A Psychometric-Geneti
Bortolameotti, R., Peter, A., Everts, M. H., Jonker, W., & Hartel, P. H. (2016). Reliably determining data leakage in
van de Kamp, T. R., Peter, A., Everts, M. H., & Jonker, W. (2016). Private Sharing of IOCs and Sightings. In 3rd AC
Bakondi, B. G., Peter, A., Everts, M. H., Hartel, P. H., & Jonker, W. (2015). Publicly Verifiable Private Aggregation o
Bösch, C. T., Hartel, P. H., Jonker, W., & Peter, A. (2014). A Survey of Provably Secure Searchable Encryption. ACM
Bösch, C. T., Peter, A., Leenders, B., Lim, H. W., Tang, Q., Wang, H., ... Jonker, W. (2014). Distributed Searchable S
Bösch, C. T., Peter, A., Hartel, P. H., & Jonker, W. (2014). SOFIR: Securely Outsourced Forensic Image Recognition
Makri, E., Everts, M. H., de Hoogh, S., Peter, A., op den Akker, H., Hartel, P. H., & Jonker, W.(2014). Privacy-Preser
Stek, K., Zunk, B. M., Berger, L., van den Berg, H., Delke, V., & Schiele, H. (2018). Adressing the Gap Between Em
Karimzadeh, M., Van Den Berg, H., Schmidt, R. D. O., & Pras, A. (2017). Quantitative comparison of the efficiency
Gholibeigi, M., Sarrionandia, N., Karimzadeh Motallebi Azar, M., Baratchi, M., van den Berg, H. L., & Heijenk, G. (2
Zhao, Z., Karimzadeh Motallebi Azar, M., Braun, T., Pras, A., & van den Berg, H. L. (2017). Cloudified Mobility and
Karimzadeh Motallebi Azar, M., Valtulina, L., van den Berg, H. L., Pras, A., Liebsch, M., & Taleb, T. (2017). Softwar
Kempker, P. L., van Dijk, N. M., Scheinhardt, W., van den Berg, H., & Hurink, J. (2017). Smart charging of electric
Kempker, P., van Dijk, N. M., Scheinhardt, W. R. W., van den Berg, H. L., Hurink, J. L., & van Dijk, N. (2016). Hoe la
Attema, T., van den Berg, H. L., Kempker, P. C., Worm, D., & van der Vliet-Hameeteman, C. (2016). Models for Qo
Sousa, B., Zhao, Z., Karimzadeh Motallebi Azar, M., Palma, D., Fonseca, V., Simoes, P., ... Cordeiro, L. (2016). Ena
Gholibeigi, M., Baratchi, M., van den Berg, H. L., & Heijenk, G. (2016). Towards Reliable Multi-Hop Broadcast in VA
de Roode, G., Ullah, I., & Havinga, P. J. M. (2018). How to break IOTA heart by replaying?. Paper presented at 201
Le, D. V., Van Kleunen, W. A. P., Nguyen, T., Meratnia, N., & Havinga, P. J. M. (2018). SomBe: Self-Organizing Map
Le, D. V., Kamminga, J., Scholten, H., & Havinga, P. J. M. (2018). A Framework to Measure Reliance of Acoustic La
Le, D. V., Nguyen, T., Scholten, H., & Havinga, P. J. M. (2018). Probability of Task Completion and Energy Consump
Le, D. V., Meratnia, N., & Havinga, P. J. M. (2018). Unsupervised Deep Feature Learning to Reduce the Collection
Le Viet Duc, D. V., van Kleunen, W. A. P., & Havinga, P. J. M. (2018). Method and system for localizing a blind node
Kamminga, J., Ayele, E., Meratnia, N., & Havinga, P. (2018). Poaching Detection Technologies - A Survey. Sensors
Bosch, S., Serra Bragança, F., Marin-Perianu, M., Marin-Perianu, R., van der Zwaag, B. J., Voskamp, J., ... Havinga,
Kamminga, J. W., Le Viet Duc, D. V., Meijers, J. P., Bisby, H. C., Meratnia, N., & Havinga, P. J. M. (2018). Robust Sen
Ayele, E. D., Meratnia, N., & Havinga, P. J. M. (2018). Towards A New Opportunistic IoT Network Architecture for W
Ayele, E. D., Meratnia, N., & Havinga, P. J. M. (2018). MANER: Managed Data Dissemination Scheme for LoRa IoT
Le, D. V., Nguyen, T., Scholten, H., & Havinga, P. J. M. (2017). Symbiotic Sensing for Energy-Intensive Tasks in Lar
Seraj, F., Meratnia, N., & Havinga, P. J. M. (2017). An aggregation and visualization technique for crowd-sourced c
Seraj, F., Meratnia, N., & Havinga, P. J. M. (2017). RoVi: Continuous transport infrastructure monitoring framework
Masoum, A., Meratnia, N., & Havinga, P. J. M. (2017). Compressive sensing based data collection in wireless sens
Le Viet Duc, D. V., & Havinga, P. J. M. (2017). SoLoc: Self-organizing indoor localization for unstructured and dyna
Shoaib, M., Durmaz, O., Havinga, P. J. M., & Scholten, J. (2017). Resource consumption analysis of online activity
Nguyen, N. D. T., Le, D. V., Meratnia, N., & Havinga, P. J. M. (2017). In-Pipe Wireless Communication for Undergro
Ayele, E. D., Hakkenberg, C., Meijers, J. P., Zhang, K., Meratnia, N., & Havinga, P. J. M. (2017). Performance analy
Kamminga, J. W., Bisby, H. C., Le, D. V., Meratnia, N., & Havinga, P. J. M. (2017). Generic online animal activity re
Zhang, K., Ayele, E. D., Meratnia, N., Havinga, P. J. M., Guo, P., & Wu, Y. (2017). MobiBone: An energy-efficient an
Karuppiah Ramachandran, V. R., Le Viet Duc, L. D., Meratnia, N., & Havinga, P. J. M. (2017). DiNAMAC: A disruptio
Brian Blake, M. (Ed.), Das, K., Zand, P., & Havinga, P. J. M. (2017). Industrial wireless monitoring with energy-harv
Ayele, E. D., Das, K., Meratnia, N., & Havinga, P. J. M. (2016). Leveraging BLE and LoRa in IoT Network for Wildlife
Zwartjes, A., Havinga, P. J. M., Smit, G. J. M., & Hurink, J. L. (2016). QUEST: Eliminating online supervised learning
Huizing, G. H., Klaassen, R., & Heylen, D. K. J. (Accepted/In press). Designing and Developing Lifelike, Engaging L
Bruijnes, M., Linssen, J., & Heylen, D. K. J. (Accepted/In press). Special issue editorial: Virtual Agents for Social Sk
Schadenberg, B. R., Chevalier, P., Li, J. J., Ainger, E., Alcorn, A. M., Babovic, S., ... Evers, V.(2018). Design of a Rob
Schadenberg, B. R., Heylen, D. K. J., & Evers, V. (2018). Affect bursts to constrain the meaning of the facial expre
Kolkmeier, J., Harmsen, E., Giesselink, S., Reidsma, D., Theune, M., & Heylen, D. K. J. (2018). With a Little Help fr
Jansen, M-P., Heylen, D. K. J., Truong, K. P., Nazareth, D. S., & Englebienne, G. (2018). The MULAI Corpus: Multimo
van Waterschoot, J. B., Bruijnes, M., Flokstra, J., Reidsma, D., Davison, D. P., Theune, M., & Heylen, D. K. J. (2018
Willemse, C., Heylen, D. K. J., & van Erp, J. B. F. (2018). Communication via warm haptic interfaces does not incre
van Delden, R., Gerritsen, S., Heylen, D. K. J., & Reidsma, D. (2018). Co-located Augmented Play-spaces: Past, Pr
van Delden, R., Klaassen, R., Meireles Ferreira Cabrita, A. M., Tabak, M., Heylen, D. K. J., & Thio, B. (2018). Play In
Kucirkova, N., Fails, J., Pera, S., & Huibers, T. W. C. (2018). Children and Search / Recdommendations algorithms: What Adults N
Effing, R., van Hillegersberg, J., & Huibers, T. W. C. (2015). Social Media Indicator and Local Elections in the Netherlands: Toward
Jochmann-Mannak, H., Lentz, L., Huibers, T. W. C., & Sanders, T. (2014). How Interface Design and Search Strategy Influence Ch
ation and Communication at Alterra Wageningen UR
Interactive tools: mobile applications, quick scan tools an
training applications and serious games at Utrecht University, and AGS
Demonstration of a Multi-agent Simulation of the Impact of Culture on International Trade

Verwaart, D. ; Wolters, J.J. (2008)
Simon (Simulating Metabolism Of Nutrients

Osinga, S.A. ; Kramer, M.R. ; Hofstede, G.J. (2015)
AI
Li, &
Y. society
; Kramer, : the
M.R. journal of human
; Beulens, A.J.M.and machine
; Vorst, intelligence
J.G.A.J. 30 (3). - Smart
van der (2010) p. 403 - 413.
Computers
Hofstede, G.J. in Industry
; Kramer,61 (9).;-Meijer,
M.R. p. 852 S.A.
- 862.
; Wijdemans, J. (2003)
Production Planning & Control
Ammers, E.W. van; Kramer, M.R. (1993) 14 (2). - p. 111 - 121.
Tinfon 2 . - p. 50 - 54.
An agent-based model of information management in the Chinese pig sector: top-down versus bottom-up (on memory stick)
Osinga, S.A. ; Roozmand,
Li, Y. ; Kramer, O. ; Kramer,
M.R. ; Beulens, A.J.M. ; M.R.
Vorst,; Hofstede,
J.G.A.J. vanG.J.
der(2010)
(2008)
In: WMSCI 2008.The 12th World Multi-Conference on Systemics,
Guiding Users of Early Warning and Proactive Control Systems in Food Cybernetics
Supply and Informatics.
Chain - Orlando stick)
Networks (memory : International Institute
Li, Y. ; Kramer, M.R. ; Beulens, A.J.M. ; Vorst, J.G.A.J. van der (2008)
http://library.wur.nl/WebQuery/wurpubs?author=14404,1014404&wq_sfx=wizard&wq_inf1=/css/way_wizard.css&wq_inf2=ye
Akhan Akbulut, Cagatay Catal, Burak Yildiz (2018)
Computer Applications
Cagatay Catal, in Engineering
Akhan Akbulut (2018) Education
Computer Methods
Garvit Rajesh and Programs
Choudharya, SandeepinKumar,
Biomedicine
Kuldeep Kumar, Alok Mishra, Cagatay Catal (2018)
Computers & Electrical Engineering
Akhan Akbulut, Cagatay Catal, Emre Karadeniz, Emre Turgut (2018)
International Journal of Software Engineering and Knowledge Engineering
http://publicationslist.org/cagataycatal
r of Software Engineering at Hacettepe University Development of scientific software
r of Software Engineering at Atilim University Software test automation
Software engineering education
Hybrid dEveLopmENt Approaches in software systems de
Meta-analysis of industry-academia collaborations in soft
Surveying the global state of software testing practices (G
Project Title: Measurement, assessment and improvemen
Project Title: Effective and efficient software test-code en
Project Title: Tuning of artifact and process parameters to
Project Title: Designing for defect-intolerant Embedded S
Project Title: Development of intelligent software system
IOFF Project
IOFF Projectresilience
Embedding - WUR Project IOFF Project Projectinformatie
Publications on Wageningen:- http://library.wur.nl/WebQuery/wurpubs/writers?id=p1156456
Embedding resilience
Model-Checking in the structure
Cyber-Physical Systemsof (MC2PS)
social-ecological
Publications on Google Scholar Citations:- https://scholar.google.nl/citations?user=-D_BMH4AAAAJ&hl=en
Scalable Cloud-Based Enterprise Resource Planning Syste
Resilient Big Data Architectures (RES-BID)
Performance Isolation in Cloud-Based Big Data Systems
Model-Based Testing of Big Data Systems (MBT4BID)
ng Place Simulation. In Y. Demazeau, P. Davidsson, J. Bajo, & Z. Vale (Eds.), Advances in Practical Applications of Cyber-Physical Multi-Agent
An fNIRS-based brain-machine interface for remote robot control. Paper presented at Real-Time Functional Imaging and Neurofeedback C
aps (AMSOM). In Agents and Artificial Intelligence (pp. 189-211). (Lecture Notes in Computer Science; Vol. 10162). https://doi.org/10.1007
ral agreement in real-time domains. In K. Fuijta (Ed.), Modern Approaches to Agent-based Complex Automated Negotiation (pp. 219-229).
nt Data Using Bagging and Boosting. In IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI 2016) (pp. 388-395). IE
An Ecological Momentary Intervention for weight loss and healthy eating via smartphone and Internet: study protocol for a randomised co
ualization. 129-140. https://doi.org/10.5220/0005704801290140
ting Adverse Drug Reactions. Computers in Biology and Medicine, 68(1), 101-108. https://doi.org/10.1016/j.compbiomed.2015.11.005
ntary Assessment Data. In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The N
e84-4b20-84de-f7cf3b32246d)/publications.html
mensional scalar ?4 model with local moves. Physical review. E, 98 (6) (6 p.).
anomalous diffusion in the Ising model at the critical temperature. Physical review. E, 98 (1) (10 p.).
for stochastic driven simulations. CoRR, abs/1802.02379.
ry Chemical Physics, 20 (25), (pp. 16966-16972).
of Computational Physics, 363, (pp. 128-139).
culus for BUnity. Science of Computer Programming 78(9): 1278-1293, 2013.

n-Jules Ch. Meyer. Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange. IEEE Transactions on A
Non-Classical
Schlesinger. Logics
The 22(1-2): Programming
Multi-Agent 151-180, 2012.
Contest. AI Magazine, Vol. 33(4), pages 111-113, 2012.
for BDI Agents. Synthese, Volume 185, Issue 1, Pages 83-129, 2012.
Agent
sue onPrograms. Theoretical
Multi-Agent Computer
Programming, Science,Journal
International Volumeof412, Issue 4, Pages
Autonomous 6115-6134
Agents , 2011. Systems (JAAMAS), Vol. 23(2), 155-157, 20
and Multi-Agent
International Journal of Autonomous Agents and Multiagent Systems (JAAMAS), Volume 22, Number 2, Pages 356-381, 2011.
1.09.2015 to 01.02.2020
dback generation for programming exercises. ACM Transactions on Computing Education, 19 (1).
mulation for practicing shared decision making for older patients. Proceedings of ICTH 2018: The 8th International Conference on Current
ops, Jesse, Weinberger, Armin, Grugeon-Allys, Brigitte, Chenevotot-Quentin, Françoise, Wijk, Jorn van & Walree, Ferdinand van (2018).
mmer-Schindler, Mar Pérez-Sanagustín, Henrik Drachsler, Raymond Elferink & Maren Scheffel (Eds.), Lifelong Technology-Enhanced Learning
Inspectable Student Models and Didactics of Statistics. Digital Experiences in Mathematics Education, 4 (2), (pp. 139-162).
or hour of code exercises. Proceedings of the Fifth Annual ACM Conference on Learning at Scale New York.
tributed constraint optimization. In Makoto Yokoo (Eds.), Proc. Third International Workshop on Distributed Constraint Reasoning, First Inte
er colorer. In Carla Gomes & Toby Walsh (Eds.), Probabilistic Approaches in Search, Workshop at Eighteenth National Conf. on Artificial Intel
1.09.2015 to 01.02.2020
ncy requirements. Philosophical Studies, (pp. 1-22).
ut Agent Programming. In G.M. Barbosa de Oliveira, G.E.A.P.A. Batista & R. Tinos (Eds.), BRACIS 2017 - 2017 Brazilian conference on intellige
us. AI and Society, 32 (4), (pp. 527-542) (16 p.).
ting explanatory arguments from Bayesian networks. International Journal of Approximate Reasoning, 80, (pp. 475-494).
se, Hendrik, Veldhuizen, Matthijs, Van Der Struijk, Martijn, Puik, Erik, Telgen, Daniël & Meyer, John Jules (17.05.2017). A Versatile Simulatio
dying ICT?. CEUR Workshop Proceedings, 1844, (pp. 223-228) (6 p.).
ms. In Stephen Cranefield, Samhar Mahmoud, Julian A. Padget & Ana Paula Rocha (Eds.), Coordination, Organizations, Institutions, and Norm
ger = Blaming Accountable Agents for Unattainable Desires. PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th Internation
Multi-agent Systems. In Gita Sukthankar & Juan A. Rodriguez-Aguilar (Eds.), Autonomous Agents and Multiagent Systems - AAMAS 2017 Wo
ism in Multi-agent Systems. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (pp. 1616-1618) (3 p.). R
y for Personalized Sleep Coaching 15.01.2012 to 01.05.2016

MVAR '16 : Proceedings of the 2016 workshop on Multimodal Virtual and Augmented Reality ACM.
ception in Augmented Reality. In Yukiko I. Nakano, Elisabeth André & Toyoaki Nishida (Eds.), ICMI’16: Proceedings of the 18th ACM Internati
s of digital game and study characteristics eliciting physiological stress responses. Psychophysiology (19 p.). Early View (Online Version of Re
Tactile Sensations in a Multimodal Immersive Virtual Environment. 17th ACM International Conference on Multimodal Interaction - ICMI 20
enefits of audiovisual landmarks. Displays, 35 (3), (pp. 110-117) (7 p.).
- Generic automated stress induction and control application design of an application for controlling the stress state. Frontiers in Neuroscie
dent ERP-BCIs: augmenting performance through location-congruent bimodal stimuli. Frontiers in Neuroscience, 8 (14 p.).
lus EEG patterns associated with the touch-induced illusory flash. Neuroscience Letters, 562, (pp. 79-84).
le ERP-BCI in a dual-task. IEEE Transactions on Computational Intelligence and AI in Games, (pp. 129-140).
13). Integration of Visual and Inertial Cues in the Perception of Angular Self-Motion. Experimental Brain Research, 231 (2), (pp. 209-218).
in the illusory flash paradigm. Experimental Brain Research, 226 (1), (pp. 73-79).
trol-Display Mapping Congruency in Brain-Computer Interfaces. Ergonomics
A J Spink, F Grieco, O E Krips, P H Zimmerman, L P J J Noldus & L W S Loijens (Eds.), Proceedings of Measuring Behavior 2012, 8th Internati
s bimodal stimulus presentation increase ERP components usable in BCIs?. Journal of Neural Engineering, 9 (4).
d Martian gravity conditions. Neuroscience Letters, 529 (1), (pp. 7-11).
ronment: Strategy Changes as a Result of Visual Field Limitation. Experimental Brain Research, 212 (3), (pp. 449-456) (8 p.).
and large pulse numbers. Seeing and Perceiving, 24 (6), (pp. 565-578).
: Shifts in Strategy. Journal of Motor Behavior, 43 (1), (pp. 55-62) (8 p.).
ues in perceived heading of self-motion. Journal of Vision, 10 (12), (pp. 1-10) (10 p.).
of attention on multisensory integration. Attention, Perception, and Psychophysics, 71 (8), (pp. 1854-1861).
rmation Exchange for Ambient Intelligence. Computer Journal
r time in face-to-face and Video mediated Communication. Small Group Research, 40 (4), (pp. 355-381).
us Computing: the Ubismart Approach. Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Syste
Ubiquitous Computing, Crisis Management and Workflow Modelling. Proceedings of the 7th International Workshop on Task Models and D
n Flow in Ambient Environments. In Carsten Rudolph Antonio Mana (Eds.), Developing Ambient Intelligence, Proceedings of the second int
ain Research, 1242, (pp. 116-125) (10 p.).
t with Trace-back for GATK HaplotypeCaller. BMC Genomics.

s (2019). Skeleton-based Synthesis Flow for Computation-In-Memory Architectures. IEEE Transactions on Emerging Topics in Computing PP
leration Techniques in Bioinformatics. In Shu-Mei Tang (Eds.) 2018 IEEE 18th International Conference on BioInformatics and BioEngineerin
d neural networks. Quantum Science and Technology 3 1-12.
s of verification of quantum computers. In Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DAT
mic short read mapping for longer read lengths. Computational Biology and Chemistry 75 54-64.
doardo Charbon, Koen Bertels (2018). Towards a Scalable Quantum Computer. In Proceedings - 2018 13th IEEE International Conference on
n Profiling for Accelerator-Based Platforms. IEEE Transactions on Computers 67 934-948.
García Almudever (Eds.) 2018. Mapping of Lattice Surgery-based Quantum Circuits on Surface Code Architectures, None.
ethodology of Boolean Logic Circuits on Memristor Crossbar. IEEE Transactions on Computer - Aided Design of Integrated Circuits and Syste
-5e66f5f24b50)/publications.html
mpressor in Reconfigurable Logic. In 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ ISSS), 1
istent Read Cache for Apache Cassandra. IEEE International Conference on Cloud Computing, CLOUD 2018-July 220-228.
everaging (Open)CAPI. In Proceedings of the Conference for Next Generation Arithmetic, CoNGA 2018, 1-5, Association for Computing Mac
BCB '17 Proceedings of the 8th ACM International Conference on Bioinformatics, Computational Biology,and Health Informatics , 148-157,
of Human-Computer Interaction. 35, 4-5, p. 356-373 18 p.
ced Learning: 13th European Conference on Technology Enhanced Learning, EC-TEL 2018 - Proceedings. Pammer-Schindler, V., Pérez-Sanag
35-a34b160676eb)/publications.html
s. 9, 1, 9 p., 27.
tical, Physical and Engineering Sciences. 376, 2123, 20170325.
gh, K. J., Wehner, S., Vandersypen, L. M. K., Clarke, J. S. & Veldhorst, M., Jul 2018, In : Science Advances. 4, 7, eaar3960.
2-d766be8f7899)/publications.html
nd Information Science. 914

neering and ontology development. Filipe, J., Dietz, J. & Aveiro, D. (eds.). Heidelberg: Springer Verlag, p. IX-X
d ontology development. Dietz, J. & Filipe, J. (eds.). Heidelberg: Springer Verlag, p. 9-11 3 p.
ference on enterprise information systems. Hammoudi, S., Maciaszek, L., Cordeiro, J. & Dietz, L. (eds.). s.l.: s.n., p. XV-XVI
a, L., van Kervel, SJH., Mulder, H., Op 't Land, M., Proper, HA., Sanz, J., Terlouw, LI., Tribolet, J., Verelst, J. & Winter, R., 2013, In : Internationa
7e3e886bd3)/publications.html
telligent Information Systems (2019)
Intelligence and Smart Environments (2019)

software 34th IEEE nternational Conference on Software Maintenance and Evolution (ICSME 2018) (2018)
ormation Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C
ities 17th Annual Workshop on the Economics of Information Security (WEIS 2018) (2018)
mposium, NOMS 2018 (2018)
mics of Information Security (WEIS 2018) (2018)
nnual Workshop on the Economics of Information Security (WEIS 2017) (2017)
tional Conference on Computing and Combinatorics Conference, COCOON 2018 (2018)

ual ACM Symposium on Theory of Computing, STOC 2018 (2018)
N
hedulers for timing analysis of self-timed dataflow graphs. Journal of Systems Architecture : Embedded Software Design : the EUROMICRO
ceiver using mode-controlled dataflow. Microprocessors and Microsystems, 47(Part A), 216-230. In Scopus Cited 1 times.
ming applications running on heterogeneous multi-processors without back-pressure. Journal of Systems Architecture : Embedded Softwa
Journal on Wireless Communication and Networking, 2010:513104 In Scopus Cited 1 times.
on to variation-tolerant architectures. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 17(7), 920-923. In Scopus Cited 2 tim
eless devices. IEEE Transactions on Circuits and Systems. Part II: Express Briefs, 55(3), 284-288. In Scopus Cited 15 times.
ent/staff/detail/ep/e/d/ep-uid/19960217/ep-tab/4/
70896 In Scopus Cited 0 times.

nsible adaptation engine. New Review of Hypermedia and Multimedia, 19(2), 182-212. In Scopus Cited 2 times.
d perspective. Journal of Digital Information, 12(1),
tive hypermedia methods and techniques. New Review of Hypermedia and Multimedia, 15(1), 5-38. In Scopus Cited 126 times.
hyperlinks in Web-based adaptive educational systems. Computers and Education, 53(3), 828-840. In Scopus Cited 109 times.
aluate university students. Computer Applications in Engineering Education, 17(4), 435-447. In Scopus Cited 39 times.
Computer Languages, Systems and Structures (2018)
hy visualizations on large-scale displays. VINCI 2018 - 11th International Symposium on Visual Information Communication and Interaction (
Streicher, Oliver, Wittig, Steffen & Kloos, Uwe (2018). IMDb Explorer : visual exploration of a movie database. VINCI 2018 - 11th Internation
Symposium on Visual Information Communication and Interaction (pp. 72-79). Association for Computing Machinery, Inc. In Scopus Cited
s and Applications (2016)
Science (2016)
nal Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) (2016)
tional Conference on Engineering of Complex Computer Systems; 2012-07-18; 2012-07-20 (2012)
MITHUN
mputer Programming (2010)
7 IEEE International Conference on Software Architecture (ICSA2017) (2017)
/IEEE 26th International Conference on Program Comprehension, ICPC 2018, collocated with the 40th International Conference on Softwar
ngineering (ICSE 2018) (2018)
Applied Computing, SAC 2018 (2018)
Visualization for Cyber Security (2018)

n Cyper Security Perspectives 2018 (2018)
ty Applications Conference (2017)
clusive gateways Information Systems (2018)
calculus of relations Journal of Logic and Computation (2015)

aphs Annals of Mathematics and Artificial Intelligence (2015)
WU
MEREN,Y. WU
he IGPL (2015)
MEREN,Y. WU
overing anomalous frequent patterns from partially ordered event logs. Journal of Intelligent Information Systems, 51(2), 257–300-257–300
variable processes. Expert Systems with Applications, 59, 101-118. In Scopus Cited 15 times.
vidence-based advantages of prerequisites (discussion paper). CEUR Workshop Proceedings, 2037, In Scopus Cited 0 times.
n Kilian Stoffel, Maurice van Keulen & Paolo Ceravolo (Eds.), Data-Driven Process Discovery and Analysis - 7th IFIP WG 2.6 International Sym
vidence-based advantages of prerequisites. In Sergio Greco, Elio Masciari, Sergio Flesca & Domenica Sacca (Eds.), 25th Italian Symposium o
nalysis : a process mining approach. Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, WIMS 20
vering mobility patterns of instagram users through process mining techniques. Proceedings - 2017 IEEE International Conference on Inform
ning for anomalous pattern discovery in event logs. New Frontiers in Mining Complex Patterns - 5th International Workshop, NFMCP 2016 H
ous patterns from event logs. In A. Kumar, M. Weske, H. Leopold, W. van der Aalst, J. Mendling, B. Pentland & R. Clarisó (Eds.), Proceedings
ocess model mining. In K. Stoffel, M. van Keulen & P. Ceravolo (Eds.), Proceedings of the 7th International Symposium on Data-driven Proce
for anomalous pattern discovery in event logs. International Workshop on New Frontiers in Mining Complex Patterns
for spaghetti processes. In D. Lembo, A. Marrella & R. Torlone (Eds.), 23rd Italian Symposium on Advanced Database Systems, SEBD 2015 (
al Geometry (SoCG 2016) (2016)
mation Science (2015)
Graphics (2015)
ging Applications of Formal Methods, Verification and Validation, (ISoLA 2018) (2018)
onal Conference on Formal Aspects of Component Software, FACS 2018 (2018)
earch (2013)
: ROSE. Automation in Construction, 39(1), 152-160. In Scopus Cited 17 times.

h multi-workflow nets. Fundamenta Informaticae, 122(1-2), 59-83. In Scopus Cited 1 times.
nceptual model for online auditing. Decision Support Systems, 50(3), 636-647. In Scopus Cited 58 times.
(2011). Soundness of workflow nets : classification, decidability, and analysis. Formal Aspects of Computing, 23(3), 333-363. In Scopus Cite
ing process mining to support tomorrow's auditor. Computer, 43(3), 90-93. In Scopus Cited 82 times.
IT ICT Labs, 2015)

ms (IOLS) (EIT ICT Labs, 2014)
DA) (EITTechno-Economics
nternet ICT Labs, 2013) (2017)
information extraction tasks within databases, and on efficiently retrieving analytics over graphs/hypergraphs with evolving data.
n from the Web)
ort of cloud services for multimedia delivery and consumption

width for IPTV video streaming
s. In P.D.V. Stok, van der (Ed.), Dynamic and Robust Streaming in and between Connected Consumer Electronic Devices (pp. 213-239). (Phil
ming over wireless in-home networks. In P.D.V. Stok, van der (Ed.), Dynamic and Robust Streaming in and between Connected Consumer-Ele
tories in 360° virtual reality videos. 2017 International Conference on 3D Immersion, IC3D 2017 - Proceedings (pp. 1-6). Piscataway: Institu
, 401-444. In Scopus Cited 1 times.

ring equivalence and branching bisimulation. ACM Transactions on Computational Logic, 18(2):13 In Scopus Cited 8 times.
ysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Science of Computer Programming, 78
ACM Transactions on Computational Logic, 13(1):8 In Scopus Cited 1 times.
ded and multithreaded programs. ACM Transactions on Programming Languages and Systems, 40(3):A12 In Scopus Cited 0 times.
exploiting layers in OO designs. Fundamenta Informaticae, 85(1-4), 377-398. In Scopus Cited 3 times.
ace suites in UML. Software and Systems Modeling, 1(2), 98-112.
l branching time properties. Fundamenta Informaticae, 43(1-4), 245-267. In Scopus Cited 18 times.
oral logic. International Journal of Electronic Commerce, 3(2), 67-86.
chitectures. IEEE Transactions on Visualization and Computer Graphics, 16(1), 28-42. In Scopus Cited 6 times.
re for VR : low latency versus image quality. Computers and Graphics, 34(1), 3-16. In Scopus Cited 3 times.
cally simulated bumps and holes. ACM Transactions on Applied Perception, 7(2):10 In Scopus Cited 4 times.
mechanics to SPH particle systems and back : systematic derivation and convergence. Zeitschrift für Angewandte Mathematik und Mechanik
mes for fully compressible multiphase flows. The International Journal of Multiphysics, 9(3), 225-234. In Scopus Cited 3 times.
r shocks through inhomogeneous media. The International Journal of Multiphysics, 9(2), 83-99. In Scopus Cited 4 times.
tion for turbulent flows in corrugated pipes with rough walls. Journal of Offshore Mechanics and Arctic Engineering, 133(1), 011101-1/9. In
gebraic ray trace method. International Journal of Forming Processes, 7(4), 431-441.
ass. International Journal of Forming Processes, 2(1-2), 41-61.
Switzerland) (2018)
st, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, T
e-Print Archive, Mathematics (2018)
itecture : Embedded Software Design : the EUROMICRO journal (2017)
n Engineering and Software Development (MODELSWARD 2016) (2016)

International Systems Conference (SysCom, Vancouver BC, Canada, April 13-16, 2015) (2015)
national Systems Conference (SysCon 2015), April 13-16, 2015, Vancouver, Canada (2015)
n Formal Methods for Industrial Critical Systems, FMICS 2018 (2018)
kshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017), September 04, 201
ctures in Computer Science (2016)
onal Conference on Web Services, (ICWS2018) (2018)

nce on Advanced Information Systems Engineering (CAiSE 2018) (2018)
VAN DER AALST
usiness Information Systems, (BIS 2017), 28-30 June 2017, Poznan, Poland (2017)
pe end-to-end video quality. International Journal of Pervasive Computing and Communications, 11(1), 17-42. In Scopus Cited 3 times.
n videos. International Journal of Wavelets, Multiresolution and Information Processing, 11(3):1350029 In Scopus Cited 4 times.
ocessing : Image Communication, 27(8), 788-799. In Scopus Cited 17 times.
ment module. International Journal On Advances in Intelligent Systems, 4(1-2), 13-19.
of Mobile Multimedia, 7(3), 151-162. In Scopus Cited 24 times.
oCG2018) (2018)
YUAN
EuroCG2018) (2018)
um on Algorithms, ESA 2018 (2018)

sium on Theory of Computing, STOC 2018 (2018)
Theory (2018)
and Applications (2017)

on Cybernetics (2018)
bernetics (2018)
on Systems (2016)
anagement Information Systems (2018)

DI CICCIO,M.
rocess (2018)DUMAS,S. DUSTDAR
on Systems (2018)
Conference on Business Process Management, BPM 2018 (2018)
STEN,MATTHIAS WEIDLICH,BARBARA WEBER
ansactions on Industrial Electronics (2016)
g scanner IEEE Transactions on Automation Science and Engineering (2014)
al Conference on Software Engineering (ICSE 2017) (2017)

oftware Engineering (2017)
eering (2018)
study 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE2017), October 30- November 3 2017, Urbana-Ch
uting Systems (CHI 2015) (2015)
d label refinements to discover more precise process models. Journal of Ambient Intelligence and Smart Environments:1705.09359v2
nt logs by filtering out chaotic activities. Journal of Intelligent Information Systems, 52(1),
easures in process mining. Information Processing Letters, 135, 1-8. In Scopus Cited 5 times.
driven discovery of local process models. Information Systems, 77, 105-117. In Scopus Cited 0 times.
nce-aware scheduling and routing of a multi-skilled workforce. Complex Systems Informatics and Modeling Quarterly, 68(12), 1-21.
ement (2016)
Data Mining in Pattern Recognition (2012)
Computer Languages, Systems and Structures (2018)

s and Cryptography (2017)
and Technology (2010)
nctions Journal of Software : Evolution and Process (2016)
of Computer Programming (2010)
Artificial Intelligence and Lecture Notes in Bioinformatics) (2018)

2018 Held as Part of the Federated Logic Conference, FloC 2018 (2018)
Conference (SPLC 2017) (2017)
ctions on Visualization and Computer Graphics (2016)
tions IEEE Transactions on Visualization and Computer Graphics (2014)

mputing (2018)
s, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 (2018)
Conference on Formal Aspects of Component Software, FACS 2018 (2018)

gics, and Formal Verification, G and ALF 2018 (2018)
national Conference on Extending Database Technology (2018)
Conference on Extending Database Technology (2017)

0th International Conference on Extending Database Technology (2017)
ence 20th International Conference on Extending Database Technology (2017)
en standard Application Platform for cars and transportation vehicles, security in Intelligence Transport Systems, privacy compliance and en
Information Business ecosystem, extensible authorization framework as a service and Data Leakage detection analysis and visualization.
MT. Computers and Security, 66, 185-203. In Scopus Cited 6 times.
ased subjective logic. International Journal of Information Security, 15(4), 381-402. In Scopus Cited 5 times.
ase systems. Journal of Computer Security, 24(3), 321-345. In Scopus Cited 1 times.
ring, and Predicting the Behavior of Museum Visitors. Pervasive and Mobile Computing, 38, 430-443. https://doi.org/10.101
avior in Crowded Environments. IEEE communications magazine, 55(2), 48-54. https://doi.org/10.1109/MCOM.2017.160067
edness of locations from mobility data. In G. L. Ciampaglia, A. Mashhadi, & T. Yasseri (Eds.), Social Informatics: 9th Internat
ng Scheme for Public Spaces. arXiv.org.
ogram Verification Competition.

T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Distributed System
on. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8t
ctive Program Verification. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and V
ustrial Practice: Bridging the Gap (Track Summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal M
From Static to Runtime and Back (Track Summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Me
& I. Schaefer (Eds.), Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60
7. International journal on software tools for technology transfer, 20(6), 611-613. https://doi.org/10.1007/s10009-018-0504
ween KeY and OpenJML. In C. A. Furia, & K. Winter (Eds.), Integrated Formal Methods: 14th International Conference, IFM 20
quential Programs with VerCors. Paper presented at 20th Workshop on Formal Techniques for Java-like Programs Formal tech
(2018). MCC'2017 - The Seventh Model Checking Contest. In M. Koutny, L. M. Kristensen, & W. Penczek (Eds.), Transaction
ption for Parametric Timed Automata. In A. W. Lin, & J. Sun (Eds.), 23rd International Conference on Engineering of Comple
esting. In F. Howar, & J. Barnat (Eds.), Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS
d and Modelled Behaviour. In 2018 18th International Conference on Application of Concurrency to System Design : Proceed
8). Maximizing Synchronization for Aligning Observed and Modelled Behaviour. In M. Weske, M. Montali, J. vom Brocke, & I.
Markov Chains. In C. Baier, & L. Caires (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 38th
(2018). Parallel Model Checking Algorithms for Linear-Time Temporal Logic. In Y. Hamadi, & L. Sais (Eds.), Handbook of Par
ds.), Handbook of Parallel Constraint Reasoning (pp. 509-545). Cham: Springer. https://doi.org/10.1007/978-3-319-63516-3
A. Muñoz, & A. Narkawicz (Eds.), NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA
ional journal on software tools for technology transfer, 20(2), 157-177. https://doi.org/10.1007/s10009-017-0468-z
ative adaptive cruise control over unreliable networks: an observer-based approach to increase robustness to packet loss. I
Towards Cooperative Driving: Dagstuhl Seminar 18202. Dagstuhl reports, 8(5), 31-59. https://doi.org/10.4230/DagRep.8.5.3
phical Routing. In K. R. Chowdhury, M. Di Felice, I. Matta, & B. Sheng (Eds.), Wired/Wireless Internet Communications: 16th
average consensus over lossy wireless networks. IEEE transactions on control of network systems. https://doi.org/10.1109/
nting Scheme for Spaces. In SIGSPATIAL '17: Proceedings of the 25th ACM SIGSPATIAL International Conference on Advance
H. L., & Heijenk, G. (2017). Reliable vehicular broadcast using 5G device-to-device communication. In WMNC 2017: 10th IF
ate average consensus over unreliable networks. 3569 - 3574. Paper presented at 56th IEEE Conference on Decision and Co
edness of locations from mobility data. In G. L. Ciampaglia, A. Mashhadi, & T. Yasseri (Eds.), Social Informatics: 9th Internat
ng Scheme for Public Spaces. arXiv.org.
ndom and actual networks. In Y. Koucheryavy, L. Mamatas, I. Matta, A. Ometov, & P. Papadimitriou (Eds.), Wired/Wireless In
ess networks. In 2016 European Control Conference, ECC 2016 (pp. 555-560). [7810343] IEEE. https://doi.org/10.1109/ECC
based reliable broadcast approach for vehicular networks. Ad hoc networks, 37(1), 63-75. https://doi.org/10.1016/j.adhoc.2
ti-Hop Broadcast in VANETs: An Analytical Approach. In Proceedings of the Eight IEEE International Vehicular networking Co
ss Scheme Using Frequency Offsets - Modelling and Analysis. In Proceedings of the 12th International Conference on Wirel
-MAC protocol for wireless sensor networks. In Proceedings of the IEEE Wireless Days 2016 (pp. 1-6). USA: IEEE. https://doi
etworks: a Reliability Perspective. In Proceedings of the Eight IEEE/IFIP International Wireless Days Conference, WD 2016 (p
heme for the Internet. In Proceedings of the 14th IFIP WG 6.2 International Conference on Wired/Wireless Internet Commun
Improving Spatial Indexing and Searching for Location-Based DNS Queries. In Proceedings of the 14th IFIP WG 6.2 Interna
ontrol Flow Graphs in GROOVE. In P. Müller, & I. Schaefer (Eds.), Principled Software Development: Essays Dedicated to Arn
R. Heckel, & G. Taentzer (Eds.), Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig (pp. 83-104).
M. (2018). Towards a body of knowledge for model-based software engineering. In MODELS'18. Proceedings of the 21st ACM
eduling Software. 339-373. Paper presented at PATAT 2018, Vienna, Austria.
ge for security goals. In SAC'18. Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC) (pp. 1907-19
. A. (2018). Effective Analysis of Attack Trees: A Model-Driven Approach. In A. Russo, & A. Schürr (Eds.), Proceedings of the
r Software Analysis. In H. Hermanns, & P. Höffner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real S
omposable Program Analyses. In M. Seidl, & S. Zschaler (Eds.), Software Technologies: Applications and Foundations: STAF
der. In J-P. Katoen, R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occ
gram Analyses. In Programming ’17: Companion to the first International Conference on the Art, Science and Engineering
eduling Software. 339-373. Paper presented at PATAT 2018, Vienna, Austria.
hitecture decomposition alternatives for local recovery. Software quality journal, 25(2), 553-579. https://doi.org/10.1007/s1
r Software Analysis. In H. Hermanns, & P. Höffner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real S
omposable Program Analyses. In M. Seidl, & S. Zschaler (Eds.), Software Technologies: Applications and Foundations: STAF
gram Analyses. In Programming ’17: Companion to the first International Conference on the Art, Science and Engineering
Schedulers. In L. Jololian, D. E. Robbins, & S. L. Fernandes (Eds.), SDPS 22nd International Conference on Emerging Trends
e on software engineering aspects of green computing (SEAGC). Sustainable computing, 7, 1-1. https://doi.org/10.1016/j.su
mann architecture via event-based modularization. In Companion Proceedings of the 14th International Conference on Mod
n effective approach for university-industry cooperation. In Proceedings of the International Conference on Advances in Co
esign rationale and optimizing software modules. In Proceedings of the 14th International Conference on Software Enginee
earch/research_projects/national/nwo/Cyber%20Security/d3/
er, A. (2017). DECANTeR: DEteCtion of Anomalous outbouNd HTTP TRaffic by Passive Application Fingerprinting. In ACSAC 2
Encryption for Conjunctive Equality Tests. Paper presented at 16th International Conference on Cryptology And Network Se
Psychometric-Genetic Approach. Behavior genetics, 46(4), 516-528. https://doi.org/10.1007/s10519-015-9768-9
ining data leakage in the presence of strong attackers. In Proceedings of the 32nd Annual Conference on Computer Securit
d Sightings. In 3rd ACM Workshop on Information Sharing and Collaborative Security, WISCS 2016 (pp. 35-38). New York: As
Private Aggregation of Time-Series Data. In 10th International Conference on Availability, Reliability and Security, ARES 201
hable Encryption. ACM computing surveys, 47(2), 18:1-18:51. [18]. https://doi.org/10.1145/2636328
tributed Searchable Symmetric Encryption. In Twelfth Annual International Conference on Privacy, Security and Trust, PST 2
ic Image Recognition. In 39th IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2014 (pp.
2014). Privacy-Preserving Verification of Clinical Research. In Sicherheit 2014: Sicherheit, Schutz und Zuverlässigkeit, Beitr
g the Gap Between Employers' Needs and Learning Objectives in Purchasing & Supply Management Study Programs: Toward
rison of the efficiency and scalability of the current and future LTE network architectures. Wireless Communications and Mo
H. L., & Heijenk, G. (2017). Reliable vehicular broadcast using 5G device-to-device communication. In WMNC 2017: 10th IF
loudified Mobility and Bandwidth Prediction in Virtualized LTE Networks. In IFIP/IEEE International Symposium on Integrated
eb, T. (2017). Software Defined Networking to support IP address mobility in future LTE network. In 2017 Wireless Days IEE
t charging of electric vehicles. In R. J. Boucherie, & N. M. van Dijk (Eds.), Markov Decision Processes in Practice (pp. 387-40
Dijk, N. (2016). Hoe laat laad ik mijn auto?STAtOR, 17(3), 13-17.
(2016). Models for QoS-Aware Capacity Management in Cable Access Networks. Broadband (Cramlington), 38(2), 54-58.
rdeiro, L. (2016). Enabling a Mobility Prediction-aware Follow-Me Cloud Model. In Proceedings of the 41st IEEE Conference
ti-Hop Broadcast in VANETs: An Analytical Approach. In Proceedings of the Eight IEEE International Vehicular networking Co
aper presented at 2018 IEEE global Communications conference, GLOBECOM 2018, Abu Dhabi, United Arab Emirates.
Self-Organizing Map for Unstructured and Non-Coordinated iBeacon Constellations. In 2018 IEEE International Conference
eliance of Acoustic Latency on Smartphone Status. In 2018 IEEE International Conference on Pervasive Computing and Com
and Energy Consumption in Cooperative Pervasive Mobile Computing. In 2018 IEEE International Conference on Pervasive
educe the Collection of Fingerprints for Indoor Localization Using Deep Belief Networks. In IPIN 2018 - 9th International Con
ocalizing a blind node. (Patent No. WO 2018/070863 A1).
s - A Survey. Sensors (Switserland), 18(5), [1474]. https://doi.org/10.3390/s18051474
skamp, J., ... Havinga, P. (2018). Equimoves: A wireless networked inertial measurement system for objective examination o
M. (2018). Robust Sensor-Orientation-Independent Feature Selection for Animal Activity Recognition on Collar Tags. Proceed
work Architecture for Wildlife Monitoring System. Paper presented at 2018 9th IFIP International Conference on New Techno
Scheme for LoRa IoT Enabled Wildlife Monitoring System (WMS). Paper presented at 2018 9th IFIP International Conference
Intensive Tasks in Large-Scale Mobile Sensing Applications. Sensors (Switserland), 17(12), [2763]. https://doi.org/10.3390/s
e for crowd-sourced continuous monitoring of transport infrastructures. In 2017 IEEE International Conference on Pervasive
monitoring framework for preventive maintenance. In 2017 IEEE International Conference on Pervasive Computing and Com
ction in wireless sensor networks. 442-447. Paper presented at 2017 IEEE International Conference on Multisensor Fusion a
nstructured and dynamic environments. In 2017 International Conference on Indoor Positioning and Indoor Navigation (IPIN
ysis of online activity recognition on mobile phones and smartwatches. Paper presented at 36th IEEE -- International Perfor
nication for Underground Sampling and Testing. In 2017 IEEE Global Communications Conference GLOBECOM 2017 https://
). Performance analysis of LoRa radio for an indoor IoT applications. In Internet of Things for the Global Community, IoTGC
ine animal activity recognition on collar tags. In UbiComp'17: Proceedings of the 2017 ACM International Joint Conference o
n energy-efficient and adaptive network protocol to support short rendezvous between static and mobile wireless sensor n
DiNAMAC: A disruption tolerant, reinforcement learning-based Mac protocol for implantable body sensor networks. 1806-1
ring with energy-harvesting devices. IEEE internet computing, 21(1), 12-20. https://doi.org/10.1109/MIC.2017.2
T Network for Wildlife Monitoring System (WMS). In 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT) Piscataway,
e supervised learning for efficient classification algorithms. Sensors (Switserland), 16(10), [1629]. https://doi.org/10.3390/s
ng Lifelike, Engaging Lifestyle Coaching Agents and Scenarios for Multiparty Coaching Interaction. Paper presented at Work
al Agents for Social Skills Training. Journal on multimodal user interfaces. https://doi.org/10.1007/s12193-018-00291-7
018). Design of a Robot-Based Emotion-Mirroring Game to Engage Autistic Children with Emotional Expressions. Poster ses
ing of the facial expressions of the humanoid robot Zeno. In C. Tsiourti, S. Hanke, & L. Santos (Eds.), Joint Proceedings of th
). With a Little Help from a Holographic Friend: The OpenIMPRESS Mixed Reality Telepresence Toolkit for Remote Collaborati
MULAI Corpus: Multimodal Recordings of Spontaneous Laughter in Dyadic Interaction. In J. Ginzburg, & C. Pelachaud (Eds.),
Heylen, D. K. J. (2018). Flipper 2.0: A Pragmatic Dialogue Engine for Embodied Conversational Agents. In Proceedings of the
erfaces does not increase social warmth. Journal on multimodal user interfaces, 12(4), 329-344. https://doi.org/10.1007/s1
Play-spaces: Past, Present, and Perspectives. Journal on multimodal user interfaces, 12(3), 225-255. https://doi.org/10.100
hio, B. (2018). Play In Public Spaces As Part Of Persuasive Systems (PIPSAPOPS) Keep It Simple.. Poster session presented
gorithms: What Adults Need to Know. DigilitEY.

the Netherlands: Towards a Framework for Evaluating the Influence of Twitter, YouTube, and Facebook. In M. Zahid Sobaci (Ed.), Social Med
ch Strategy Influence Children’s Search Performance and Evaluation. In Evaluating Websites and Web Services: Interdisciplinary Perspective
ons, quick scan tools and map tables
-up (on memory stick)
o : International Institute of Informatics and Systemics, The 12th World Multi-Conference on Systemics, Cybernetics and Informatics. June 2
_wizard.css&wq_inf2=year&wq_inf3=Publications%20of%20drs.%20MR%20Kramer&wq_max=1000
s in software systems development (HELENA)

mia collaborations in software engineering (IndAcSE)
ware testing practices (GlobSTeP)
ssment and improvement of software testing maturity for people, teams, services and organizations
nt software test-code engineering
d process parameters towards optimized maintenance
-intolerant Embedded Systems
elligent software systems for improving efficiency in oil pipelines
Project Projectinformatie Internet of Food and Farm 2020
ture of (MC2PS)
ystems social-ecological systems: Combining system dynamics and agent-based modelling
Resource Planning Systems (SCERP)
ased Big Data Systems

Systems (MBT4BID)
yber-Physical Multi-Agent Systems: The PAAMS Collection: 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017,
ing and Neurofeedback Conference, Nara, Japan.
). https://doi.org/10.1007/978-3-319-53354-4_11
egotiation (pp. 219-229). (Studies in Computational Intelligence; Vol. 674). Springer Verlag.
TAI 2016) (pp. 388-395). IEEE.
tocol for a randomised controlled trial. Trials, 17, [154].
pbiomed.2015.11.005
er 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) (pp. 1612-1613) https://doi.or
ge. IEEE Transactions on Affective Computing 4(3): 246-266, 2013.
S), Vol. 23(2), 155-157, 2011.
6-381, 2011.
al Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (pp. 287-293).
erdinand van (2018).
nology-Enhanced Learning - 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, P
raint Reasoning, First International Joint Conf. on Autonomous Agents & Multiagent Systems (AAMAS 2002) (pp. 80-85) (6 p.). MF02.
nal Conf. on Artificial Intelligence (AAAI 2002) (pp. 24-28) (5 p.). AAAI Press, FM02b.
an conference on intelligent systems : proceedings : Uberlândia, MG, Brazil from October 2 to 5, 2017 (pp. 133-138) (6 p.).
17). A Versatile Simulation Model of Agile Production by Autonomous Systems. 2017 IEEE 13th International Symposium on Autonomous D
ons, Institutions, and Norms in Agent Systems XII - COIN 2016 International Workshops, COIN@AAMAS and COIN@ECAI, Revised Selected P
ystems - 20th International Conference, Nice, France, October 30-November 3, 2017, Proceedings (pp. 15-33) (19 p.). Cham, Switzerland: S
ystems - AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers (pp. 203-221) (19 p.). Cham: Sp
(pp. 1616-1618) (3 p.). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
of the 18th ACM International Conference on Multimodal Interaction - Tokyo, Japan-November 12-16, 2016 (pp. 45-52). ACM.
View (Online Version of Record published before inclusion in an issue).
modal Interaction - ICMI 2015, November 9-13, 2015 (pp. 327-334) (8 p.). Seattle, WA, USA.
te. Frontiers in Neuroscience, 8 (400).
, 231 (2), (pp. 209-218).
havior 2012, 8th International Conference on Methods and Techniques in Behavioral Research (pp. 390-393) (4 p.). Wageningen: Noldus In
nts and Multi-Agent Systems (pp. 813-820) (8 p.). ACM Press, AAMAS08.
hop on Task Models and Diagrams (TAMODIA 2008) (pp. 72-83) (12 p.). Berlin: Springer.
eedings of the second international conference on Ambient Intelligence Developments (AmI.d'07) (pp. 23-33) (11 p.). France, Paris: Springe
g Topics in Computing PP 1-13.
matics and BioEngineering (BIBE), 243-246.
rence and Exhibition, DATE 2018, 721-730, IEEE.
ernational Conference on Design and Technology of Integrated Systems In Nanoscale Era, DTIS 2018, IEEE.
egrated Circuits and Systems 37 311-323.
ynthesis (CODES+ ISSS), 1-2, IEEE.
iation for Computing Machinery (ACM).

th Informatics , 148-157, Association for Computing Machinery (ACM).
-Schindler, V., Pérez-Sanagustín, M., Drachsler, H., Elferink, R. & Scheffel, M. (eds.). Cham: Springer, p. 467-481 15 p. (Lecture Notes in Comp
R., 2013, In : International Journal of Organisational Design and Engineering. 3, 1, p. 86-114 29 p.
and Trusted Computing, C and TC, held as part of OTM 2018 (2018)
Design : the EUROMICRO journal, 65, 15-29. In Scopus Cited 2 times.
cture : Embedded Software Design : the EUROMICRO journal, 62, 24-37. In Scopus Cited 0 times.
-923. In Scopus Cited 2 times.
ed 126 times.
ed 109 times.
unication and Interaction (pp. 33-40). New York: Association for Computing Machinery, Inc. In Scopus Cited 0 times.
CI 2018 - 11th International Symposium on Visual Information Communication and Interaction (pp. 88-91). New York: Association for Comp
nery, Inc. In Scopus Cited 0 times.
nal Conference on Software Engineering, ICSE 2018 (2018)

, 51(2), 257–300-257–300. In Scopus Cited 1 times.
WG 2.6 International Symposium, SIMPDA 2017, Revised Selected Papers (pp. 65-88). (Lecture Notes in Business Information Processing, N
25th Italian Symposium on Advanced Database Systems (SEBD 2017) (pp. 273-280). Red Hook, NY: Curran Associates. In Scopus Cited 0 tim
g and Semantics, WIMS 2017 Association for Computing Machinery, Inc. In Scopus Cited 0 times.
onal Conference on Information Reuse and Integration, IRI 2017 (pp. 485-492). Institute of Electrical and Electronics Engineers (IEEE). In Sco
Workshop, NFMCP 2016 Held in Conjunction with ECML-PKDD 2016, Revised Selected Papers (pp. 181-197). (Lecture Notes in Computer Sc
larisó (Eds.), Proceedings of the BPM Demo Track and BPM Dissertation Award (CEUR workshop proceedings, No. 1920). Sun SITE Central E
sium on Data-driven Process Discovery and Analysis (SIMPDA 2017) (pp. 8-22). (CEUR-ws.org, No. 2016). CEUR-WS.org. In Scopus Cited 4 tim
ase Systems, SEBD 2015 (pp. 256-263). Red Hook: Curran Associates. In Scopus Cited 2 times.
), 333-363. In Scopus Cited 196 times.

h evolving data.
evices (pp. 213-239). (Philips Research Book Series, No. 3). Dordrecht: Kluwer Academic Publishers.
Connected Consumer-Electronic Devices (pp. 193-212). (Philips Research Book Series, No. 3). Dordrecht: Kluwer Academic Publishers.
p. 1-6). Piscataway: Institute of Electrical and Electronics Engineers (IEEE). In Scopus Cited 2 times.
mputer Programming, 78(12), 2435-2452. In Scopus Cited 7 times.
us Cited 0 times.
Mathematik und Mechanik, 98(1), 106-133. In Scopus Cited 0 times.
ited 3 times.
g, 133(1), 011101-1/9. In Scopus Cited 8 times.
cience and Engineering, Trustcom/BigDataSE 2018 (2018)
2017), September 04, 2017, Berlin, Germany (2017)
Scopus Cited 3 times.

s Cited 4 times.
ember 3 2017, Urbana-Champaign, Illinois, USA (2017)
ents:1705.09359v2
erly, 68(12), 1-21.

privacy compliance and enforcement
alysis and visualization.
https://doi.org/10.1016/j.pmcj.2016.08.011
09/MCOM.2017.1600672CM
formatics: 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017 (pp. 443-457). (Lecture Notes in
on. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, P
Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
hods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 20
pplications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Lim
plications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol,
the Occasion of his 60th Birthday (pp. 129-146). Cham: Springer. https://doi.org/10.1007/978-3-319-98047-8_9
1007/s10009-018-0504-7
nal Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018. Proceedings (pp. 30-46). [3] (Lecture Notes in Comput
e Programs Formal techniques, Amsterdam, Netherlands.
zek (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIII (pp. 181-209). (Lecture notes in computer scie
Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018 IEEE Xplore: IEEE
nal Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings(pp. 162-177). (Lecture Notes in Compu
ystem Design : Proceedings (pp. 50-59). IEEE. https://doi.org/10.1109/ACSD.2018.00008
ali, J. vom Brocke, & I. Weber (Eds.), Business Process Management: 16th International Conference, BPM 2018, Sydney, NS
ts, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated
Eds.), Handbook of Parallel Constraint Reasoning (pp. 457-507). Cham: Springer. https://doi.org/10.1007/978-3-319-63516-
007/978-3-319-63516-3_13
Newport News, VA, USA, April 17-19, 2018, Proceedings (pp. 349-366). (Lecture Notes in Computer Science; Vol. 10811). Ch
09-017-0468-z
stness to packet loss. In 2018 European Control Conference (ECC) (pp. 1399-1404). IEEE. https://doi.org/10.23919/ECC.201
/10.4230/DagRep.8.5.31
Communications: 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedings
ttps://doi.org/10.1109/TCNS.2018.2800407
onference on Advances in Geographic Information Systems [102] Association for Computing Machinery (ACM). https://doi.o
In WMNC 2017: 10th IFIP Wireless and Mobile Networking Conference, 25-27 September 2017, Valencia (Spain) IEEE. https
nce on Decision and Control, CDC 2017, Melbourne, Australia. https://doi.org/10.1109/CDC.2017.8264183
formatics: 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017 (pp. 443-457). (Lecture Notes in
Eds.), Wired/Wireless Internet Communications: 15th IFIP WG 6.2 International Conference, WWIC 2017, Proceedings (pp. 1
://doi.org/10.1109/ECC.2016.7810343
.org/10.1016/j.adhoc.2015.08.003
ehicular networking Conference, VNC 2016 (pp. 166-173). USA: IEEE Communications Society. https://doi.org/10.1109/VNC.
al Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2016 (pp. -). USA: IEEE Comput
. USA: IEEE. https://doi.org/10.1109/WD.2016.7461501
onference, WD 2016 (pp. -). USA: IEEE Communications Society. https://doi.org/10.1109/WD.2016.7461489
eless Internet Communications, WWIC 2016 (pp. 78-90). (Lecture Notes in Computer Science; Vol. 9674). London: Springer.
4th IFIP WG 6.2 International Conference on Wired/Wireless Internet Communications, WWIC 2016 (pp. 187-198). (Lecture N
ssays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday(pp. 305-323). Springer. https://doi.org/10.10
mut Ehrig (pp. 83-104). (Lecture Notes in Computer Science; Vol. 10800). Springer. https://doi.org/10.1007/978-3-319-75396
edings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion P
ing (SAC) (pp. 1907-1915). Association for Computing Machinery (ACM). https://doi.org/10.1145/3167132.3167336

s.), Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018) (p
ormal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017 (pp. 217-229). (EPTCS - Electronic Publications in
and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (pp. 30-
d Brinksma on the Occasion of His 60th Birthday (Vol. 10500 LNCS, pp. 191-213). (Lecture Notes in Computer Science (inc
ence and Engineering of Programming [15] Association for Computing Machinery (ACM). https://doi.org/10.1145/3079368.3
ps://doi.org/10.1007/s11219-016-9315-9
ormal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017 (pp. 217-229). (EPTCS - Electronic Publications in
and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (pp. 30-
ence and Engineering of Programming [15] Association for Computing Machinery (ACM). https://doi.org/10.1145/3079368.3
e on Emerging Trends and Technologies in Convergence Solutions (pp. 15-30). (Integrated design and process technology;
://doi.org/10.1016/j.suscom.2015.05.001
nal Conference on Modularity, MODULARITY Companion 2015 (pp. 31-34). New York: Association for Computing Machinery (
nce on Advances in Computing, Control and Networking, ACCN 2015 (pp. 51-53). New York, NY, USA: Institute of Research E
ce on Software Engineering, Parallel and Distributed Systems (SEPADS 2015) (pp. 58-62). (Recent Advances in Computer En
erprinting. In ACSAC 2017, Proceedings of the 33rd Annual Computer Security Applications Conference (pp. 373-386) https
tology And Network Security 2017, Hong Kong, China.
-015-9768-9
e on Computer Security Applications, ACSAC 2016 (pp. 484-495). New York: Association for Computing Machinery (ACM). h
p. 35-38). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2994539.2994544
and Security, ARES 2015 (pp. 50-59). Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/ARES.2015.82
ecurity and Trust, PST 2014 (pp. 330-337). USA: IEEE. https://doi.org/10.1109/PST.2014.6890956

sing, ICASSP 2014 (pp. 2694-2698). USA: IEEE. https://doi.org/10.1109/ICASSP.2014.6854089
d Zuverlässigkeit, Beiträge der 7. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI) (pp. 48
Study Programs: Towards a Student-Centered Learning Approach. In Proceedings of the 12th Annual International Technolog
ommunications and Mobile Computing, 2017, [3938545]. https://doi.org/10.1155/2017/3938545
In WMNC 2017: 10th IFIP Wireless and Mobile Networking Conference, 25-27 September 2017, Valencia (Spain) IEEE. https
mposium on Integrated Network Management (IM 2017) IEEE. https://doi.org/10.23919/INM.2017.7987321
017 Wireless Days IEEE. https://doi.org/10.1109/WD.2017.7918114
in Practice (pp. 387-404). (International Series in Operations Research & Management Science; Vol. 248). Cham: Springer.
gton), 38(2), 54-58.
41st IEEE Conference on Local Computer Networks (LNC 2016) (pp. 486-494). USA: IEEE Computer Society. https://doi.org/
ehicular networking Conference, VNC 2016 (pp. 166-173). USA: IEEE Communications Society. https://doi.org/10.1109/VNC.
d Arab Emirates.
ernational Conference on Pervasive Computing and Communications, PerCom 2018[8444584] IEEE. https://doi.org/10.1109
ve Computing and Communications Workshops, PerCom Workshops 2018 (pp. 348-354). [8480354] IEEE. https://doi.org/10
onference on Pervasive Computing and Communications Workshops, PerCom Workshops 2018 (pp. 34-39). [8480135] IEEE
- 9th International Conference on Indoor Positioning and Indoor Navigation (pp. 1-7). [8533790] IEEE. https://doi.org/10.11
bjective examination of horse gait. Sensors (Switserland), 18(3), [850]. https://doi.org/10.3390/s18030850

on Collar Tags. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 2(1), [15]. https://do
erence on New Technologies, Mobility and Security (NTMS), Paris, France.
nternational Conference on New Technologies, Mobility and Security (NTMS), Paris, France.
ttps://doi.org/10.3390/s17122763
onference on Pervasive Computing and Communications Workshops, PerCom Workshops 2017 (pp. 219-224). Piscataway,
ive Computing and Communications, PerCom 2017 (pp. 217-226). IEEE. https://doi.org/10.1109/PERCOM.2017.7917868
on Multisensor Fusion and Integration for Intelligent Systems, MFI 2017, Daegu, Korea, Republic of. https://doi.org/10.1109/
Indoor Navigation (IPIN) IEEE. https://doi.org/10.1109/IPIN.2017.8115900
E -- International Performance Computing and Communications Conference, San Diego, United States.
OBECOM 2017 https://doi.org/10.1109/GLOCOM.2017.8254524
bal Community, IoTGC 2017 - Proceedings [8008973] IEEE. https://doi.org/10.1109/IoTGC.2017.8008973
onal Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium
obile wireless sensor nodes. In 2017 International Conference on Computing, Networking and Communications, ICNC 2017
nsor networks. 1806-1814. Paper presented at 3rd IEEE International Conference on Internet of People 2017, San Francisco
MIC.2017.2
s (WF-IoT) Piscataway, NJ: IEEE. https://doi.org/10.1109/WF-IoT.2018.8355223
ttps://doi.org/10.3390/s16101629
per presented at Workshop on Intelligent Conversation Agents in Home and Geriatric Care Applications 2018, Stockholm, S
193-018-00291-7
Expressions. Poster session presented at The International Society for Autism Research Annual Meeting 2018, Rotterdam, N
Joint Proceedings of the Workshop on Social Interaction and Multimodal Expression for Socially Intelligent Robots and the W
for Remote Collaboration Systems. In VRST'18: Proceedings of the 24th ACM Symposium on Virtual Reality Software and Te
& C. Pelachaud (Eds.), Proceedings of Laughter Workshop 2018 (pp. 58-63)
s. In Proceedings of the 18th International Conference on Intelligent Virtual Agents (18 ed., pp. 43-50). ACM Press. https://d
ps://doi.org/10.1007/s12193-018-0276-0
. https://doi.org/10.1007/s12193-018-0269-z
ster session presented at 13th International Conference on Persuasive Technology, PERSUASIVE 2018, Waterloo, Canada.
d Sobaci (Ed.), Social Media and Local Governments: Theory and Practice (pp. 281-298). (Public Administration and Information Technolog
erdisciplinary Perspectives on User Satisfaction (pp. 241-287). Hershey, PA, USA: IGI Global. https://doi.org/10.4018/978-1-4666-5129-6.ch
cs and Informatics. June 29th - July 2nd, 2008 Orlando, Florida, USA, 2008-06-29/2008-07-02 - p. 146 - 151.
rtugal, June 21-23, 2017, Proceedings (pp. 272-283). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-59930-4_22
1612-1613) https://doi.org/10.3233/978-1-61499-672-9-1612
K, September 3-5, 2018, Proceedings (pp. 262-276) (15 p.). Springer.

80-85) (6 p.). MF02.
posium on Autonomous Decentralized Systems (ISADS 2017) - Proceedings (pp. 77-83) (7 p.). Institute of Electrical and Electronics Enginee
@ECAI, Revised Selected Papers (pp. 119-138) (20 p.). Cham, Swirzerland: Springer.
p.). Cham, Switzerland: Springer.
03-221) (19 p.). Cham: Springer International Publishing AG.
45-52). ACM.
). Wageningen: Noldus Information Technology bv., Measuring Behavior 2012, 8th International Conference on Methods and Techniques in
1 p.). France, Paris: Springer, Conference on Ambient Intelligence Developments.

p. (Lecture Notes in Computer Science; vol. 11082).
ork: Association for Computing Machinery, Inc. In Scopus Cited 0 times.
Information Processing, No. 340). Cham: Springer. In Scopus Cited 0 times.
ates. In Scopus Cited 0 times.
cs Engineers (IEEE). In Scopus Cited 1 times.

ure Notes in Computer Science, No. 10312). Springer. In Scopus Cited 4 times.
1920). Sun SITE Central Europe. In Scopus Cited 1 times.
S.org. In Scopus Cited 4 times.
Academic Publishers.
457). (Lecture Notes in Computer Science; Vol. 10540). Cham: Springer. https://doi.org/10.1007/978-3-319-67256-4_35
, 2018, Proceedings, Part III (pp. 343-354). (Lecture Notes in Computer Science; Vol. 11246). Cham: Springer. https://doi.or
18, Proceedings, Part I (pp. 365-380). (Lecture Notes in Computer Science; Vol. 11244). Cham: Springer. https://doi.org/10.1
rus, November 5-9, 2018, Proceedings, Part I (pp. 111-118). (Lecture Notes in Computer Science; Vol. 11244). Cham: Sprin
osium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (pp. 77-81). (Lecture Notes in Computer S
ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (pp. 3-7). (Lecture Notes in Computer Science; No
9-98047-8_9
cture Notes in Computer Science; Vol. 11023). Cham: Springer. https://doi.org/10.1007/978-3-319-98938-9
notes in computer science; Vol. 11090). https://doi.org/10.1007/978-3-662-58381-4_9

018 IEEE Xplore: IEEE Canada. https://doi.org/10.1109/ICECCS2018.2018.00009
ecture Notes in Computer Science; Vol. 11119). Springer. https://doi.org/10.1007/978-3-030-00244-2_11
BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings (Vol. 11080, pp. 233-249). Cham: Springer. https:/
nternational Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
007/978-3-319-63516-3_12
cience; Vol. 10811). Cham: Springer. https://doi.org/10.1007/978-3-319-77935-5_24
org/10.23919/ECC.2018.8550585
–20, 2018, Proceedings (pp. 121-133). (Lecture notes in computer science; Vol. 10866). https://doi.org/10.1007/978-3-030-
ery (ACM). https://doi.org/10.1145/3139958.3140009
ncia (Spain) IEEE. https://doi.org/10.1109/WMNC.2017.8248846
457). (Lecture Notes in Computer Science; Vol. 10540). Cham: Springer. https://doi.org/10.1007/978-3-319-67256-4_35
17, Proceedings (pp. 127-142). (Lecture Notes in Computer Science; Vol. 10372). Springer. https://doi.org/10.1007/978-3-3
//doi.org/10.1109/VNC.2016.7835959
p. -). USA: IEEE Computer Society. https://doi.org/10.1109/WiMOB.2016.7763230
674). London: Springer. https://doi.org/10.1007/978-3-319-33936-8_7

pp. 187-198). (Lecture Notes in Computer Science; Vol. 9674). London: Springer. https://doi.org/10.1007/978-3-319-33936-8
er. https://doi.org/10.1007/978-3-319-98047-8_19
1007/978-3-319-75396-6_5
Systems: Companion Proceedings, MODELS-Companion 2018 (pp. 82-89). Association for Computing Machinery (ACM). http
7132.3167336
eering (FASE 2018) (pp. 56-73). (Lecture Notes in Computer Science; Vol. 10802). Springer. https://doi.org/10.1007/978-3-3
ectronic Publications in Theoretical Computer Science; Vol. 244). arXiv.org. https://doi.org/10.4204/EPTCS.244.9
elected Papers (pp. 30-40). (Lecture Nodes in Computer Science; Vol. 10748). Springer. https://doi.org/10.1007/978-3-319-7
Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 105
org/10.1145/3079368.3079392
ectronic Publications in Theoretical Computer Science; Vol. 244). arXiv.org. https://doi.org/10.4204/EPTCS.244.9
elected Papers (pp. 30-40). (Lecture Nodes in Computer Science; Vol. 10748). Springer. https://doi.org/10.1007/978-3-319-7
org/10.1145/3079368.3079392
d process technology; Vol. 22).
Computing Machinery (ACM). https://doi.org/10.1145/2735386.2735387

Institute of Research Engineers and Doctors. https://doi.org/10.15224/978-1-63248-038-5-10
vances in Computer Engineering Series; Vol. 27). Sofia, Bulgaria: WSEAS Press.
nce (pp. 373-386) https://doi.org/10.1145/3134600.3134605
ng Machinery (ACM). https://doi.org/10.1145/2991079.2991095
rmatik e.V. (GI) (pp. 481-500). (Lecture Notes in Informatics (LNI)). Bonn: Gesellschaft für Informatik e.V..
International Technology, Education and Development Conference (INTED)(pp. 4477-4484)
ncia (Spain) IEEE. https://doi.org/10.1109/WMNC.2017.8248846
248). Cham: Springer. https://doi.org/10.1007/978-3-319-47766-4_14

Society. https://doi.org/10.1109/LCN.2016.77
//doi.org/10.1109/VNC.2016.7835959
https://doi.org/10.1109/PERCOM.2018.8444584
IEEE. https://doi.org/10.1109/PERCOMW.2018.8480354
4-39). [8480135] IEEE. https://doi.org/10.1109/PERCOMW.2018.8480135
E. https://doi.org/10.1109/IPIN.2018.8533790
s, 2(1), [15]. https://doi.org/10.1145/3191747
219-224). Piscataway, NJ: IEEE. https://doi.org/10.1109/PERCOMW.2017.7917561

COM.2017.7917868
ttps://doi.org/10.1109/MFI.2017.8170360
ernational Symposium on Wearable Computers (pp. 597-606). New York, NY: ACM Press. https://doi.org/10.1145/3123024.3
munications, ICNC 2017 (pp. 1024-1030). [7876275] Piscataway, NJ: IEEE. https://doi.org/10.1109/ICCNC.2017.7876275
le 2017, San Francisco, United States.
ons 2018, Stockholm, Sweden.
ng 2018, Rotterdam, Netherlands.

igent Robots and the Workshop on the Barriers of Social Robotics take-up by Society (pp. 30-39). CEUR-WS.org.
Reality Software and Technology (pp. 1-11). [26] New York, New York, USA: ACM Press. https://doi.org/10.1145/3281505.32
0). ACM Press. https://doi.org/10.1145/3267851.3267882
8, Waterloo, Canada.
nd Information Technology; Vol. 15, No. 15). Switzerland: Springer. https://doi.org/10.1007/978-3-319-17722-9_15

18/978-1-4666-5129-6.ch014
7/978-3-319-59930-4_22
l and Electronics Engineers Inc..
ethods and Techniques in Behavioral Research.

-3-319-67256-4_35
Springer. https://doi.org/10.1007/978-3-030-03424-5_23
ger. https://doi.org/10.1007/978-3-030-03418-4_22
l. 11244). Cham: Springer. https://doi.org/10.1007/978-3-030-03418-4_7
e Notes in Computer Science; Vol. 11247). Cham: Springer. https://doi.org/10.1007/978-3-030-03427-6_10
Computer Science; No. 11245). Cham: Springer. https://doi.org/10.1007/978-3-030-03421-4_1
Cham: Springer. https://doi.org/10.1007/978-3-319-98648-7_14
ain, June 18-21, 2018, Proceedings (pp. 121-140). (Lecture Notes in Computer Science; Vol. 10854). Cham: Springer. https
rg/10.1007/978-3-030-02931-9_10
-3-319-67256-4_35
oi.org/10.1007/978-3-319-61382-6_11
07/978-3-319-33936-8_15
Machinery (ACM). https://doi.org/10.1145/3270112.3270121
oi.org/10.1007/978-3-319-89363-1_4
PTCS.244.9
g/10.1007/978-3-319-74730-9_4
oinformatics); Vol. 10500 LNCS). Springer. https://doi.org/10.1007/978-3-319-68270-9_10
PTCS.244.9
g/10.1007/978-3-319-74730-9_4
rg/10.1145/3123024.3124407
NC.2017.7876275
EUR-WS.org.
g/10.1145/3281505.3281542
Cham: Springer. https://doi.org/10.1007/978-3-319-92612-4_7
https://en.wikipedia.org/wiki/List_of_universities_in_the_Netherlands

CS Professors

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

CS Professors

Enviado por

Direitos autorais:

Formatos disponíveis

University URL Location Professopr Name Professor's Profile Url Person's Email

http://www.uu.nl/EN/ Netherlands Prof. dr. G.T. (Gerard) Ba https://www.uu.nl/sta G.T.Barkema@uu.nl

Prof. dr. M.M. (Mehdi) Dahttps://www.uu.nl/staff/MMDastani&t=0

Prof. dr. J.T. (Johan) Jeurinhttps://www.uu.nl/staff/JTJeuring&t=0

Prof. dr. J.J.C. (John-Jules https://www.uu.nl/staff/JJCMeyer&t=0

Prof. dr. Peter Werkhovenhttps://www.uu.nl/staff/PJWerkhoven&t=0

Peter Hofstee https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/quan

Prof.dr.ir. G.J.P.M. (Geer https://www.tudelft.nl/staff/g.j.p.m.houben/

Prof.dr. SDC Wehner https://www.tudelft.nl/staff/s.d.c.wehner/

Prof.dr.ir. JLG Dietz https://www.tudelft.nl/staff/j.l.g.dietz/

WIL VAN DER AALST https://www.tue.nl/en/research/researchers/wil-van-der-aals

NIKHIL BANSAL https://www.tue.nl/en/research/researchers/nikhil-bansal/

MARK DE BERG https://www.tue.nl/en/research/researchers/mark-de-berg/

Kees van Berkel http://www.tue.nl/staff/c.h.v.berkel

prof.dr. P.M.E. (Paul) De Bhttp://www.tue.nl/staff/debra

MARK VAN DEN BRAND https://www.tue.nl/en/research/researchers/mark-van-den-b

LOEK CLEOPHAS https://www.tue.nl/en/research/researchers/loek-cleophas/

PIETER CUIJPERS https://www.tue.nl/en/research/researchers/pieter-cuijpers/

BOUDEWIJN VAN DONGEhttps://www.tue.nl/en/research/researchers/boudewijn-van-

SANDRO ETALLE https://www.tue.nl/en/research/researchers/sandro-etalle/

DIRK FAHLAND https://www.tue.nl/en/research/researchers/dirk-fahland/

GEORGE FLETCHER https://www.tue.nl/en/research/researchers/george-fletcher

ARTHUR VAN GOETHEM https://www.tue.nl/en/research/researchers/arthur-van-goet

JAN FRISO GROOTE https://www.tue.nl/en/research/researchers/jan-friso-groote

dr.ing. M. (Marwan) Hass http://www.tue.nl/staff/m.hassani

prof.dr. K.M. (Kees) van H http://www.tue.nl/staff/k.m.v.hee

EKATERINI IOANNOU https://www.tue.nl/en/research/researchers/ekaterini-ioanno

BART JANSEN https://www.tue.nl/en/research/researchers/bart-jansen/

dr. D.S. (Dmitri) Jarnikov http://www.tue.nl/staff/dmitri.jarnikov

dr.ir. J.J.A. (Jeroen) Keiren http://www.tue.nl/staff/j.j.a.keiren

dr. R. (Ruurd) Kuiper http://www.tue.nl/staff/r.kuiper

prof.dr.ir. R. (Robert) van http://www.tue.nl/staff/r.v.liere

JOHAN LUKKIEN https://www.tue.nl/en/research/researchers/johan-lukkien/

YAPING LUO https://www.tue.nl/en/research/researchers/yaping-luo/

BAS LUTTIK https://www.tue.nl/en/research/researchers/bas-luttik/

dr. R.H. (Rudolf) Mak http://www.tue.nl/staff/r.h.makv

RENATA MEDEIROS DE C https://www.tue.nl/en/research/researchers/renata-medeiro

dr. V. (Vlado) Menkovski http://www.tue.nl/staff/v.menkovski

JESPER NEDERLOF https://www.tue.nl/en/research/researchers/jesper-nederlof

ODYSSEAS PAPAPETROU https://www.tue.nl/en/research/researchers/odysseas-papap

MYKOLA PECHENIZKIY https://www.tue.nl/en/research/researchers/mykola-pechen

HAJO REIJERS https://www.tue.nl/en/research/researchers/hajo-reijers/

RAMON SCHIFFELERS https://www.tue.nl/en/research/researchers/ramon-schiffele

ALEXANDER SEREBRENIK https://www.tue.nl/en/research/researchers/alexander-sereb

JOAQUIN VANSCHOREN https://www.tue.nl/en/research/researchers/joaquin-vansch

TOM VERHOEFF https://www.tue.nl/en/research/researchers/tom-verhoeff/

JURGEN VINJU https://www.tue.nl/en/research/researchers/jurgen-vinju/

ERIK DE VINK https://www.tue.nl/en/research/researchers/erik-de-vink/

JACK VAN WIJK https://www.tue.nl/en/research/researchers/jack-van-wijk/

TIM WILLEMSE https://www.tue.nl/en/research/researchers/tim-willemse/

NIKOLAY YAKOVETS https://www.tue.nl/en/research/researchers/nikolay-yakovet

dr. N. (Nicola) Zannone http://www.tue.nl/staff/n.zannone

PROF.DR. M. HUISMAN (Mhttps://people.utwente.nl/m.huisman?tab=about-me

PROF.DR.IR. G.J. HEIJENK https://people.utwente.nl/geert.heijenk

PROF.DR.IR. A. RENSINK https://people.utwente.nl/arend.rensink

PROF.DR.IR. A. PRAS (AIK https://people.utwente.nl/a.pras?tab=education

PROF.DR. W. JONKER (WI https://people.utwente.nl/w.jonker?tab=about-me

PROF.DR. J.L. VAN DEN B https://people.utwente.nl/j.l.vandenberg?tab=about-me

PROF.DR. D.K.J. HEYLEN ( https://people.utwente.nl/d.k.j.heylen?tab=about-me

PROF.DR. T.W.C. HUIBERS https://people.utwente.nl/t.w.c.huibers?tab=about-me

ing. JJ (John) Wolters https://www.wur.nl/en/Persons/John-ing.-JJ-John-Wolters.htm

drs. MR (Mark) Kramer https://www.wur.nl/en/Persons/Mark-drs.-MR-Mark-Kramer.h

C (Cagatay) Catal PhD https://www.wur.nl/en/Persons/Cagatay-C-Cagatay-Catal-PhD