Beruflich Dokumente
Kultur Dokumente
https://www.maastrichtuniversity.nl/
Netherlands Gerhard Weiss (G.B.) https://www.maastrichtuniversity.nl/gerhard.weiss
gerhard.weiss@maastrichtuniversity.n
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
Algemeen FBW,
Doctor of PhilosophUniversiteit
Simulation ofUtrecht Critical dynamical expo
Complex Systems,
Université Utrecht Generalized Langevin equ
Optimal data structures
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
.Wehner@tudelft.nl
.berg@tue.nl
MSc in computer science from Utrecht University (the Netherlands) in 1
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
at Eindhoven University of Technology
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
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
Oct
Apr 2014
2013 –– Sep
Sep 2016
2014 -- Research Scientist
Data Scientist at Philips
at Adversitement
eulemans@tue.nl algorithms, computationa
theory,
Jan 2013 – Present - Sr. Architect methods and too
at ASML
-Mechanical engineering
progressive
Dec 2012 – Dec 2013 - Data Scientist automation
at Mobile Vikings
Dr -Computer Science
1982 – 1986 2001 – Present - Professor at information visualization
flow visualization and m
hierarchical data and ne
development of parallel
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
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
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
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
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
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
https://www.tue.nl/en/our-university/departments/mathematics-and-computer-science/the-department/staff/detail/ep/e/d/e
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
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
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).
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
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,
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
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/
/IEEE 26th International Conference on Program Comprehension, ICPC 2018, collocated with the 40th International Conference on Softwar
ngineering (ICSE 2018) (2018)
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)
onal Conference on Formal Aspects of Component Software, FACS 2018 (2018)
earch (2013)
ent/staff/detail/ep/e/d/ep-uid/20165488/ep-tab/4/
information extraction tasks within databases, and on efficiently retrieving analytics over graphs/hypergraphs with evolving data.
n from the Web)
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
ent/staff/detail/ep/e/d/ep-uid/20010695/ep-tab/4/
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.
ent/staff/detail/ep/e/d/ep-uid/19860157/ep-tab/4/
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.
ent/staff/detail/ep/e/d/ep-uid/20010786/ep-tab/4/
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.
ent/staff/detail/ep/e/d/ep-uid/19970020/ep-tab/4/
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)
kshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017), September 04, 201
ctures in Computer Science (2016)
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.
ent/staff/detail/ep/e/d/ep-uid/20093057/ep-tab/4/
oCG2018) (2018)
YUAN
EuroCG2018) (2018)
Theory (2018)
on Systems (2016)
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.
ent/staff/detail/ep/e/d/ep-uid/19980494/ep-tab/4/
ement (2016)
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.
ent/staff/detail/ep/e/d/ep-uid/20085763/ep-tab/4/
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.
(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
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
pbiomed.2015.11.005
er 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) (pp. 1612-1613) https://doi.or
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.
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.
ernational Conference on Design and Technology of Integrated Systems In Nanoscale Era, DTIS 2018, IEEE.
-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
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.
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.
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.
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.
us Cited 0 times.
Mathematik und Mechanik, 98(1), 106-133. In Scopus Cited 0 times.
ited 3 times.
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
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
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
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
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
, 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
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
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
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
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).
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..
ncia (Spain) IEEE. https://doi.org/10.1109/WMNC.2017.8248846
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
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.
8, Waterloo, Canada.
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