Allah Bukhsh, Z.
, van Sinderen, M.
, Sikkel, K.
, & Quartel, D. (2019).
How to manage and model unstructured business processes: A proposed list of representational requirements. In M. S. Obaidat, & E. Cabello (Eds.),
E-Business and Telecommunications: 14th International Joint Conference, ICETE 2017, Revised Selected Paper (pp. 81-103). (Communications in Computer and Information Science; Vol. 990). Springer.
https://doi.org/10.1007/978-3-030-11039-0_5
Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T.
, Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y.
, van Dijk, T., & Wolf, K. (2019).
Presentation of the 9th Edition of the Model Checking Contest. In F. Kordon, M. Huisman, B. Steffen, & D. Beyer (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings (pp. 50-68). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11429 LNCS). Springer Verlag.
https://doi.org/10.1007/978-3-030-17502-3_4
Amrani, M., Blouin, D., Heinrich, R.
, Rensink, A., Vangheluwe, H., & Wortmann, A. (2019).
Towards a formal specification of multi-paradigm modelling. In L. Burgueño, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Engels, & G. Kappel (Eds.),
Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 (pp. 419-424). [8904740] IEEE.
https://doi.org/10.1109/MODELS-C.2019.00067
André, É.
, Bloemen, V.
, Petrucci, L.
, & van de Pol, J. (2019).
Minimal-time synthesis for parametric timed automata. In L. Zhang, & T. Vojnar (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 211-228). (Lecture Notes in Computer Science; Vol. 11428), (Theoretical Computer Science and General Issues). Springer.
https://doi.org/10.1007/978-3-030-17465-1_12
Bartocci, E., Beyer, D., Black, P. E., Fedyukovich, G., Garavel, H.
, Hartmanns, A.
, Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T., & Yamada, A. (2019).
TOOLympics 2019: An Overview of Competitions in Formal Methods. In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS (pp. 3-24). (Lecture Notes in Computer Science; Vol. 11429). Springer.
https://doi.org/10.1007/978-3-030-17502-3_1
Bemthuis, R. H.
, Koot, M.
, Mes, M. R. K.
, Bukhsh, F. A.
, Iacob, M-E.
, & Meratnia, N. (2019).
An Agent-Based Process Mining Architecture for Emergent Behavior Analysis. In
2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW) (pp. 54-64). [8907303] (Proceedings IEEE International Enterprise Distributed Object Computing Workshop (EDOCW); Vol. 23). IEEE.
https://doi.org/10.1109/EDOCW.2019.00022
Bortolameotti, R.
, van Ede, T. S.
, Everts, M. H.
, Jonker, W.
, Hartel, P. H.
, Peter, A.
, & Continella, A. (2019).
Victim-Aware Adaptive Covert Channels. In S. Chen, K-K. R. Choo, X. Fu, W. Lou, & A. Mohaisen (Eds.),
Security and Privacy in Communication Networks - 15th EAI International Conference, SecureComm 2019, Proceedings: 15th EAI International Conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019, Proceedings, Part I (pp. 450-471). (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; Vol. 304 LNICST).
https://doi.org/10.1007/978-3-030-37228-6_22
Chia, V.
, Hartel, P. H., Hum, Q., Ma, S., Piliouras, G., Reijsbergen, D., Van Staalduinen, M., & Szalachowski, P. (2019).
Rethinking Blockchain Security: Position Paper. In
2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) (pp. 1273-1280). IEEE.
https://doi.org/10.1109/Cybermatics_2018.2018.00222
Chung, T., Aben, E., Bruijnzeels, T., Chandrasekaran, B., Choffnes, D., Levin, D., Maggs, B., Mislove, A.
, van Rijswijk - Deij, R. M., Rula, J., & Sullivan, N. (2019).
RPKI is Coming of Age: A Longitudinal Study of RPKI Deployment and Invalid Route Origins. In
IMC '19: ACM Internet Measurement Conference, Amsterdam Netherlands, October, 2019 (pp. 406-419). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3355369.3355596
Corradini, A., Heindel, T., König, B., Nolte, D.
, & Rensink, A. (2019).
Rewriting Abstract Structures: Materialization Explained Categorically. In A. Simpson, & M. Bojanczyk (Eds.),
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 169-188). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11425 LNCS). Springer Verlag.
https://doi.org/10.1007/978-3-030-17127-8_10
Coutinho, J. C., Moreira, J. M.
, & de Sá, C. R. (2019).
Mining Frequent Distributions in Time Series. In H. Yin, R. Allmendinger, D. Camacho, P. Tino, A. J. Tallón-Ballesteros, & R. Menezes (Eds.),
Intelligent Data Engineering and Automated Learning – IDEAL 2019: 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings (Vol. II, pp. 271-279). (Lecture Notes in Computer Science; Vol. 11872), (Information Systems and Applications, incl. Internet/Web, and HCI). Springer.
https://doi.org/10.1007/978-3-030-33617-2_28
Daneva, M., Berry, D.
, Condori-Fernandez, N., Dalpiaz, F., Herrmann, A., Horkoff, J., & Madhavji, N. (2019).
Live studies at REFSQ 2019. In P. Spoletini, P. Mäder, D. M. Berry, F. Dalpiaz, & M. Daneva (Eds.),
REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track: Essen, Germany, March 18th, 2019 (CEUR Workshop Proceedings; Vol. 2376). CEUR.
https://dblp1.uni-trier.de/pers/hd/d/Daneva:Maya
Dietz, C., Castro, R. L.
, Steinberger, J., Wilczak, C., Antzek, M.
, Sperotto, A.
, & Pras, A. (2019).
IoT-Botnet Detection and Isolation by Access Routers. In F. Idzikowski, A. Kliks, M. Rodziewicz, D. Tuncer, & P. Chemouil (Eds.),
2018 9th International Conference on the Network of the Future, NOF 2018 (pp. 88-95). [8598138] IEEE.
https://doi.org/10.1109/NOF.2018.8598138
Dijk, T. V., & Rubbens, B. (2019).
Simple Fixpoint Iteration To Solve Parity Games. In J. Leroux, & J-F. Raskin (Eds.),
Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019 (pp. 123-139). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 305). ArXiv.
https://doi.org/10.4204/EPTCS.305.9
Dudzik, B.
, Jansen, M-P., Burger, F., Kaptein, F., Broekens, J.
, Heylen, D. K. J., Hung, H., Neerincx, M.
, & Truong, K. P. (2019).
Context in Human Emotion Perception for Automatic Affect Detection: A Survey of Audiovisual Databases. In
2019 8th International Conference on Affective Computing and Intelligent Interaction (ACII) (pp. 206-212). (International Conference on Affective Computing and Intelligent Interaction (ACII); Vol. 2019). IEEE.
https://doi.org/10.1109/ACII.2019.8925446
Engelsman, W.
, Wieringa, R. J.
, van Sinderen, M. J., Gordijn, J., & Haaker, T. (2019).
Realizing Traceability from the Business Model to Enterprise Architecture. In G. Guizzardi, F. Gailly, & R. S. Pitangueira Maciel (Eds.),
Advances in Conceptual Modeling - ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings (pp. 37-46). (Lecture Notes in Computer Science; Vol. 11787). Springer.
https://doi.org/10.1007/978-3-030-34146-6_4
Ernst, G.
, Huisman, M.
, Mostowski, W., & Ulbrich, M. (2019).
VerifyThis - Verification Competition with a Human Factor. In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (pp. 176-195). (Lecture Notes in Computer Science; Vol. 11429). Springer.
https://doi.org/10.1007/978-3-030-17502-3_12
Esquivel-Vargas, H., Caselli, M.
, Tews, E.
, Bucur, D.
, & Peter, A. (2019).
BACRank: Ranking building automation and control system components by business continuity impact. In A. Romanovsky, E. Troubitsyna, & F. Bitsch (Eds.),
Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Proceedings (pp. 183-199). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11698 LNCS). Springer Verlag.
https://doi.org/10.1007/978-3-030-26601-1_13
Fehnker, A., & de Man, R. (2019).
Detecting and Addressing Design Smells in Novice Processing Programs. In B. M. McLaren, R. Reilly, S. Zvacek, & J. Uhomoibhi (Eds.),
Computer Supported Education: 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15–17, 2018, Revised Selected Papers (pp. 507-531). (Communications in Computer and Information Science; Vol. 1022). Springer.
https://doi.org/10.1007/978-3-030-21151-6_24
Ferreira, P. J. S., Magalhães, R. M. C.
, Dearo Garcia, K., Cardoso, J. M. P., & Mendes-Moreira, J. (2019).
An Efficient Scheme for Prototyping kNN in the Context of Real-Time Human Activity Recognition. In H. Yin, D. Camacho, P. Tino, A. J. Tallón-Ballesteros, & R. Menezes (Eds.),
Intelligent Data Engineering and Automated Learning – IDEAL 2019: 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part I (pp. 486-493). (Lecture Notes in Computer Science; Vol. 11871), (Information Systems and Applications, incl. Internet/Web, and HCI). Springer.
https://doi.org/10.1007/978-3-030-33607-3_52
Garcia, K. D.
, Poel, M.
, Kok, J. N., & de Carvalho, A. C. P. L. F. (2019).
Online Clustering for Novelty Detection and Concept Drift in Data Streams. In P. Moura Oliveira, P. Novais, & L. P. Reis (Eds.),
Progress in Artificial Intelligence: 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings (pp. 448-459). (Lecture Notes in Computer Science; Vol. 11805), (Lecture Notes in Artificial Intelligence), (Lecture Notes in Bioinformatics). Springer.
https://doi.org/10.1007/978-3-030-30244-3_37
Garcia, K. D., de Faria, E. R.
, de Sá, C. R., Mendes-Moreira, J., Aggarwal, C. C., de Carvalho, A. C. P. L. F.
, & Kok, J. N. (2019).
Ensemble Clustering for Novelty Detection in Data Streams. In P. Kralj Novak, S. Džeroski, & T. Šmuc (Eds.),
Discovery Science : 22nd International Conference, DS 2019, Splitm, Croatia, October 28-30, 2019. Proceedings (pp. 460-470). (Lecture Notes in Artificial Intelligence; subseries of Lecture Notes in Computer Science; Vol. 11828 LNAI). Springer.
https://doi.org/10.1007/978-3-030-33778-0_34
Gomes Avelino, J.
, de Alencar Silva, P.
, & Allah Bukhsh, F. (2019).
Towards green value network modeling: A case from the agribusiness sector in Brazil. In H. Panetto, C. Debruyne, D. Lewis, M. Hepp, C. A. Ardagna, & R. Meersman (Eds.),
On the Move to Meaningful Internet Systems: OTM 2019 Conferences - Confederated International Conferences: CoopIS, ODBASE, C and TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings (pp. 458-475). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11877 LNCS). Springer Singapore.
https://doi.org/10.1007/978-3-030-33246-4_29
Hahn, E. M.
, Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Křetínský, J., Parker, D., Quatmann, T., Steinmetz, M.
, & Ruijters, E. (2019).
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report). In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Vol. Part III, pp. 69-92). (Lecture Notes in Computer Science; Vol. 11429). Springer.
https://doi.org/10.1007/978-3-030-17502-3_5
Haider, F.
, Salim, F., Naghashi, V., Yengec Tasdemir, S. B., Tengiz, I., Cengiz, K.
, Postma, D.
, Van Delden, R.
, Reidsma, D.
, van Beijnum, B-J., & Luz, S. (2019).
Evaluation of dominant and non-dominant hand movements for volleyball action modelling. In
ICMI '19: Adjunct of the 2019 International Conference on Multimodal Interaction [8] Association for Computing Machinery (ACM).
https://doi.org/10.1145/3351529.3360651
Hartmanns, A., Klauck, M., Parker, D., Quatmann, T.
, & Ruijters, E. J. J. (2019).
The Quantitative Verification Benchmark Set. In T. Vojnar, & L. Zhang (Eds.),
Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019) (pp. 344-350). (Lecture Notes in Computer Science; Vol. 11427). Springer.
https://doi.org/10.1007/978-3-030-17462-0_20
Herrmann, A., Berry, D. M.
, Daneva, M., & Groen, E. C. (2019).
Eighth International Workshop on Creativity in Requirements Engineering (CreaRE 2019). In
2019 Joint of International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, REFSQ-JP 2019 (CEUR workshop proceedings; Vol. 2376). CEUR.
http://ceur-ws.org/Vol-2376/
Honig, J. J.
, Everts, M. H.
, & Huisman, M. (2019).
Practical Mutation Testing for Smart Contracts. In C. Pérez-Solà, G. Navarro-Arribas, A. Biryukov, & J. García-Alfaro (Eds.),
Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, Proceedings (pp. 289-303). (Lecture Notes in Computer Science; Vol. 11737). Springer.
https://doi.org/10.1007/978-3-030-31500-9_19
Hoogsteen, G.
, Gerards, M. E. T.
, Hurink, J. L.
, Smit, G. J. M.
, Mansour, O.
, & Bijwaard, D. (2019).
Combining distributed synchronized high frequency measurements with a control system for smart low voltage grids. In
Proceedings of the 25th International Conference on Electricity Distribution (CIRED 2019) (25 ed.). [1058] CIRED.
Huibers, T., Fails, J. A., Kucirkova, N., Landoni, M., Murgia, E., & Pera, M. S. (2019).
3rd KidRec workshop: What does good look like? In
Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 (pp. 681-688). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3311927.3325162
Ibrahim, A. M. Y.
, Kerkhoff, H. G., Ibrahim, A., Safar, M., & El-Kharashi, M. W. (2019).
Efficient Structured Scan Patterns Retargeting for Hierarchical IEEE 1687 Networks. In
IEEE VLSI Test Symposium (VTS): VTS 2019: proceedings: April 23rd - 25th 2019, Monterey, California (USA) (pp. 1-6). IEEE.
https://doi.org/10.1109/VTS.2019.8758635
Ionita, D., van der Velden, C., Ikkink, H. J. K., Neven, E.
, Daneva, M., & Kuipers, M. (2019).
Towards risk-driven security requirements management in agile software development. In C. Cappiello, & M. Ruiz (Eds.),
Information Systems Engineering in Responsible Information Systems: CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings (pp. 133-144). (Lecture Notes in Business Information Processing; Vol. 350). Springer.
https://doi.org/10.1007/978-3-030-21297-1_12
Jorge, C. C., Atzmueller, M., Heravi, B. M., Gibson, J. L.
, de Sá, C. R., & Rossetti, R. J. F. (2019).
Mining Exceptional Social Behaviour. In P. Moura Oliveira, P. Novais, & L. P. Reis (Eds.),
Progress in Artificial Intelligence: 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Proceedings (Vol. Part II, pp. 460-472). (Lecture Notes in Computer Science; Vol. 11805), (Lecture notes in Artificial Intelligence). Springer.
https://doi.org/10.1007/978-3-030-30244-3_38
Kamilaris, A., van den Brink, C., & Karatsiolis, S. (2019).
Training Deep Learning Models via Synthetic Data: Application in Unmanned Aerial Vehicles. In M. Vento, G. Percannella, S. Colantonio, D. Giorgi, B. J. Matuszewski, H. Kerdegari, & M. Razaak (Eds.),
Computer Analysis of Images and Patterns : CAIP 2019 International Workshops, ViMaBi and DL-UAV, Salerno, Italy, September 6, 2019, Proceedings (pp. 81-90). (Communications in Computer and Information Science; Vol. 1089). Springer.
https://doi.org/10.1007/978-3-030-29930-9_8
Kantharaju, R. B., Pease, A.
, Reidsma, D., Pelachaud, C., Snaith, M.
, Bruijnes, M.
, Klaassen, R.
, Beinema, T.
, Huizing, G.
, Simonetti, D.
, Heylen, D.
, & op den Akker, H. (2019).
Integrating argumentation with social conversation between multiple virtual coaches. In
IVA 2019 - Proceedings of the 19th ACM International Conference on Intelligent Virtual Agents (pp. 203-205). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3308532.3329450
Kegel, R. H. P.
, van Sinderen, M.
, & Wieringa, R. J. (2019).
Towards More Individualized Interfaces: Automating the assessment of computer literacy. In S. Iyengar, P. Tikka, L. van Gemert-Pijnen, & H. Oinas-Kukkonen (Eds.),
Behavior Change Support Systems, BCSS 2019: Proceedings of the Seventh International Workshop on Behavior Change Support Systems (CEUR Workshop proceedings; Vol. 2340). CEUR.
http://ceur-ws.org/Vol-2340/06-BCSS2019_paper.pdf
Kließ, M. S.
, Stoelinga, M.
, & van Riemsdijk, M. B. (2019).
From Good Intentions to Behaviour Change: Probabilistic Feature Diagrams for Behaviour Support Agents. In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai, & R. Zalila-Wenkstern (Eds.),
PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings (pp. 354-369). (Lecture Notes in Computer Science; Vol. 11873). Springer.
https://doi.org/10.1007/978-3-030-33792-6_22
Koopman, R.
, & Wang, S. (2019).
A two-step approach toward subject prediction. In G. Catalano, C. Daraio, M. Gregori, H. F. Moed, & G. Ruocco (Eds.),
17th International Conference on Scientometrics and Informetrics, ISSI 2019 - Proceedings: 2-5 September 2019 Sapienza University of Rome, Italy (Vol. I, pp. 1038-1043). International Society for Scientometrics and Informetrics.
Krom, B. N., Catoire, M., Toet, A., van Dijk, R. J. E.
, & van Erp, J. B. F. (2019).
Effects of Likeness and Synchronicity on the Ownership Illusion over a Moving Virtual Robotic Arm and Hand. In
2019 IEEE World Haptics Conference, WHC 2019 (pp. 49-54). [8816112] IEEE.
https://doi.org/10.1109/WHC.2019.8816112
Landoni, M., Matteri, D., Murgia, E.
, Huibers, T., & Pera, M. S. (2019).
Sonny, Cerca! Evaluating the Impact of Using a Vocal Assistant to Search at School. In F. Crestani, M. Braschler, J. Savoy, A. Rauber, H. Müller, D. E. Losada, G. Heinatz Bürki, L. Cappellato, & N. Ferro (Eds.),
Experimental IR Meets Multilinguality, Multimodality, and Interaction: 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9-12, 2019. Proceedings (pp. 101-113). (Lecture Notes in Computer Science; Vol. 11696). Springer.
https://doi.org/10.1007/978-3-030-28577-7_6
Lau, E. T., Chai, K. K., Chen, Y.
, & Vasenev, A. (2019).
A Strategic Urban Grid Planning Tool to Improve the Resilience of Smart Grid Networks. In C. Klein, A. Pascoal, B. Donnellan, O. Gusikhin, & M. Helfert (Eds.),
Smart Cities, Green Technologies, and Intelligent Transport Systems - 6th International Conference, SMARTGREENS 2017, and 3rd International Conference, VEHITS 2017, Revised Selected Papers (pp. 150-167). (Communications in Computer and Information Science; Vol. 921). Springer Verlag.
https://doi.org/10.1007/978-3-030-02907-4_8
Lee, H. R., Cheon, E.
, De Graaf, M., Alves-Oliveira, P.
, Zaga, C., & Young, J. (2019).
Robots for Social Good: Exploring Critical Design for HRI. In
14th ACM/IEEE International Conference on Human-Robot Interaction (HRI) (pp. 681-682). [8673130] IEEE Computer Society.
https://doi.org/10.1109/HRI.2019.8673130
Lestriandoko, N. H.
, Spreeuwers, L.
, & Veldhuis, R. (2019).
Multi-Resolution Face Recognition: The Behaviors of Local Binary Pattern at Different Frequency Bands. In G. Callebaut, K. Verniers, & B. Cox (Eds.),
Proceedings of the 2019 Symposium on Information Theory and Signal Processing in the Benelux: May 28-29 2019, KU Leuven, Technologiecampus Gent, Belgium (pp. 63-70). Werkgemeenschap voor Informatie- en Communicatietheorie (WIC).
http://www.w-i-c.org/proceedings/proceedings_SITB2019.pdf
Lewis, B.
, Hartmanns, A., Basu, P., Shridevi, R. J., Chakraborty, K., Roy, S., & Zhang, Z. (2019).
Probabilistic Verification for Reliable Network-on-Chip System Design. In K. G. Larsen, & T. Willemse (Eds.),
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (pp. 110-126). (Lecture Notes in Computer Science; Vol. 11687). Springer.
https://doi.org/10.1007/978-3-030-27008-7_7
Linard, A.
, Bucur, D.
, & Stoelinga, M. (2019).
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. In N. Guan, J-P. Katoen, & J. Sun (Eds.),
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings (pp. 19-37). (Lecture Notes in Computer Science; Vol. 11951), (Programming and Software Engineering). Springer.
https://doi.org/10.1007/978-3-030-35540-1_2
Marazza, F.
, Bukhsh, F. A., Vijlbrief, O.
, Geerdink, J.
, Pathak, S.
, van Keulen, M.
, & Seifert, C. (2019).
Comparing Process Models for Patient Populations: Application in Breast Cancer Care. In C. Di Francescomarino, R. Dijkman, & U. Zdun (Eds.),
Business Process Management Workshops - BPM 2019 International Workshops, Revised Selected Papers (pp. 496-507). (Lecture Notes in Business Information Processing; Vol. 362). Springer.
https://doi.org/10.1007/978-3-030-37453-2_40
Melgar-Estrada, L., Koolen, M., Beelen, K., Huurdeman, H., Wigham, M., Martinez-Ortiz, C., Blom, J.
, & Ordelman, R. (2019).
The CLARIAH Media Suite: A Hybrid Approach to System Design in the Humanities. In
Proceedings of the 2019 Conference on Human Information Interaction and Retrieval (pp. 373-377). ACM Siggraph.
https://doi.org/10.1145/3295750.3298918
Moreira, J.
, Ferreira Pires, L.
, van Sinderen, M.
, Wieringa, R.
, Singh, P.
, Dockhorn Costa, P., & Llop, M. (2019).
Improving the Semantic Interoperability of IoT Early Warning Systems: The Port of Valencia Use Case. In K. Popplewell, K-D. Thoben, T. Knothe, & R. Poler (Eds.),
Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability (pp. 17-29). (Proceedings of the I-ESA Conferences; Vol. 9). Springer International Publishing AG.
https://doi.org/10.1007/978-3-030-13693-2_2
Murgia, E., Landoni, M., Pera, M. S.
, & Huibers, T. (2019).
When will the promises of search technology in the classroom come trur? In
ICERI2019 Proceedings: 12th annual International Conference of Education, Research and Innovation, 11-13 November, 2019, Seville, Spain (pp. 10409-10415). (International Conference of Education, Research and Innovation (ICERI); Vol. 2019). International Association of Technology, Education and Development (IATED).
https://doi.org/10.21125/iceri.2019.2547
Müller, M., Thomas, M., Wessels, D., Hardaker, W., Chung, T., Toorop, W.
, & Rijswijk-Deij, R. V. (2019).
Roll, Roll, Roll your Root: A Comprehensive Analysis of the First Ever DNSSEC Root KSK Rollover. In
IMC '19: Proceedings of the Internet Measurement Conference (pp. 1-14). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3355369.3355570
Nakhaee, M. C.
, Hiemstra, D.
, Stoelinga, M., & Noort, M. V. (2019).
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey. In S. Collart-Dutilleul, T. Lecomte, & A. B. Romanovsky (Eds.),
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings (pp. 91-105). (Lecture Notes in Computer Science; Vol. 11495). Springer.
https://doi.org/10.1007/978-3-030-18744-6_6
Nazareth, D. S., Burghardt, C., Capra, A., Cristoforetti, P., Lam, W.
, van Waterschoot, J. B.
, Westerhof, G. J.
, & Truong, K. P. (2019).
Babbelbord: A personalized conversational game for people with dementia. In R. Brankaert (Ed.),
Dementia Lab 2019. Making Design Work: Engaging with Dementia in Context: 4th Conference, D-Lab 2019, Eindhoven, The Netherlands, October 21–22, 2019, Proceedings (pp. 169-173). (Communications in Computer and Information Science; Vol. 1117).
https://doi.org/10.1007/978-3-030-33540-3_18
Nazareth, D. S., Tournier, E., Leimkötter, S., Janse, E.
, Heylen, D.
, Westerhof, G. J.
, & Truong, K. P. (2019).
An acoustic and lexical analysis of emotional valence in spontaneous speech: Autobiographical memory recall in older adults. In
Proceedings Interspeech 2019 (pp. 3287-3291). International Speech Communication Association (ISCA).
https://doi.org/10.21437/Interspeech.2019-1823
Neidlinger, K. L., Toussaint, L.
, Dertien, E. C.
, Truong, K. P.
, Hermens, H. J.
, & Evers, V. (2019).
Emotional prosthesis for animating awe through performative biofeedback. In
Proceedings of the 23rd International Symposium on Wearable Computers (ISWC '19) (pp. 312-317)
https://doi.org/10.1145/3341163.3346939
Nijholt, A. (2019).
Smart, Affective, and Playable Cities. In A. L. Brooks, E. Brooks, & C. Sylla (Eds.),
Interactivity, Game Creation, Design, Learning, and Innovation - 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Proceedings (pp. 163-168). (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; Vol. 265). Springer Verlag.
https://doi.org/10.1007/978-3-030-06134-0_17
Nijholt, A. (2019).
Stand-up Comedy and Humor by Robots. In L. Ruiz Miyares (Ed.),
Proceedings Sixteenth International Symposium on Social Communication: Comunicación Social: Lingüística, Medios Masivos, Arte, Etnología, Folclor y otras ciencias afines (pp. 228-234). Centro de Lingüística Aplicada.
Okai, J., Paraschiakos, S., Beekman, M., Knobbe, A.
, & Pinho Rebelo de Sá, C. F. (2019).
Building robust models for Human Activity Recognition from raw accelerometers data using Gated Recurrent Units and Long Short Term Memory Neural Networks. In
2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) (Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC); Vol. 2019, No. 41). IEEE.
https://doi.org/10.1109/EMBC.2019.8857288
Oortwijn, W.
, & Huisman, M. (2019).
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. In W. Ahrendt, & S. L. Tapia Tarifa (Eds.),
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (pp. 418-436). (Lecture Notes in Computer Science; Vol. 11918). Springer.
https://doi.org/10.1007/978-3-030-34968-4_23
Ozceylan, B.
, Haverkort, B. R. H. M.
, de Graaf, M.
, & Gerards, M. E. T. (2019).
A Generic Processor Temperature Estimation Method. In M. Rencz, L. Codecasa, & A. Poppe (Eds.),
2019 25th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC) IEEE.
https://doi.org/10.1109/THERMINIC.2019.8923636
Postma, D.
, Van Delden, R., Walinga, W., Koekoek, J.
, van Beijnum, B-J.
, Salim, F. A., Van Hilvoorde, I.
, & Reidsma, D. (2019).
Towards smart sports exercises: First designs. In
CHI PLAY '19 Extended Abstracts: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts (pp. 619-630). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3341215.3356306
Rebelo de Sá, C., Shekar, A. K., Ferreira, H., & Soares, C. (2019).
Building Robust Prediction Models for Defective Sensor Data Using Artificial Neural Networks. In H. Quintián, J. A. Sáez Muñoz, E. Corchado, F. Martínez Álvarez, & A. Troncoso Lora (Eds.),
14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2019) (pp. 142-153). (Advances in Intelligent Systems and Computing; Vol. 950). Springer.
https://doi.org/10.1007/978-3-030-20055-8_14
Rivolli, A., Amaral, C., Guardão, L.
, de Sá, C. R., & Soares, C. (2019).
KnowBots: Discovering Relevant Patterns in Chatbot Dialogues. In P. Kralj Novak, S. Džeroski, & T. Šmuc (Eds.),
Discovery Science : 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019. Proceedings (pp. 481-492). (Lecture Notes in Artificial Intelligence ; subseries of Lecture Notes in Computer Science; Vol. 11828 LNAI). Springer.
https://doi.org/10.1007/978-3-030-33778-0_36
Ruijters, E. J. J.
, Budde, C. E.
, Chenariyan Nakhaee, M.
, Stoelinga, M. I. A.
, Bucur, D.
, Hiemstra, D.
, & Schivo, S. (2019).
FFORT: A benchmark suite for fault tree analysis. In M. Beer, & E. Zio (Eds.),
ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference (pp. 878-885). Research Publishing.
https://doi.org/10.3850/978-981-11-2724-3_0641-cd
Río, N. G. D., González-González, C. S., Martín-González, R., Navarro-Adelantado, V., Toledo-Delgado, P., Marrero-Gordillo, N.
, Barrios-Fleitas, Y. D. C., Armas-Ramos, H., & Gacía-Pẽalvo, F. (2019).
Treatment of children obesity and diabetes through gamification: A case of study. In M. A. Conde-Gonzalez, F. J. Rodriguez-Sedano, C. Fernandez-Llamas, & F. J. Garcia-Penalvo (Eds.),
Proceedings - TEEM 2019: 7th International Conference on Technological Ecosystems for Enhancing Multiculturality (pp. 452-458). (ACM International Conference Proceeding Series). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3362789.3362935
Salim, F., Haider, F., Tasdemir, S. B. Y., Naghashi, V., Tengiz, I., Cengiz, K.
, Postma, D.
, Van Delden, R.
, Reidsma, D., Luz, S.
, & van Beijnum, B-J. (2019).
A searching and automatic video tagging tool for events of interest during volleyball training sessions. In
ICMI 2019 - Proceedings of the 2019 International Conference on Multimodal Interaction (pp. 501-503). ACM Publishing.
https://doi.org/10.1145/3340555.3358660
Soro, F.
, Drago, I., Trevisan, M., Mellia, M.
, Ceron, J.
, & Santanna, J. J. (2019).
Are darknets all the same? On darknet visibility for security monitoring. In
25th IEEE International Symposium on Local and Metropolitan Area Networks, LANMAN 2019 [8847113] (IEEE Workshop on Local and Metropolitan Area Networks; Vol. 2019-July). IEEE Computer Society Press.
https://doi.org/10.1109/LANMAN.2019.8847113
Sun, J.
, Katoen, J-P., & Guan, N. (2019).
Preface. In
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings (pp. v-v). (Lecture Notes in Computer Science; Vol. 11951). Springer.
https://link.springer.com/content/pdf/bfm%3A978-3-030-35540-1%2F1.pdf
Thammasan, N.
, Stuldreher, I., Wismeijer, D.
, Poel, M.
, van Erp, J., & Brouwer, A-M. (2019).
A novel, simple and objective method to detect movement artefacts in electrodermal activity. In
2019 8th International Conference on Affective Computing and Intelligent Interaction, ACII 2019 (pp. 371-377). [8925512] (International Conference on Affective Computing and Intelligent Interaction (ACII); Vol. 2019). IEEE.
https://doi.org/10.1109/ACII.2019.8925512
Toet, A., Heijn, F., Brouwer, A-M., Mioch, T.
, & van Erp, J. B. F. (2019).
The EmojiGrid as an Immersive Self-report Tool for the Affective Assessment of 360 VR Videos. In P. Bourdot, V. Interrante, L. Nedel, N. Magnenat-Thalmann, & G. Zachmann (Eds.),
Virtual Reality and Augmented Reality: 16th EuroVR International Conference, EuroVR 2019, Tallinn, Estonia, October 23–25, 2019, Proceedings (pp. 330-335). (Lecture Notes in Computer Science; Vol. 11883). Springer.
https://doi.org/10.1007/978-3-030-31908-3_24
Trienes, J., & Balog, K. (2019).
Identifying unclear questions in community question answering websites. In B. Stein, P. Mayr, L. Azzopardi, D. Hiemstra, N. Fuhr, & C. Hauff (Eds.),
Advances in Information Retrieval - 41st European Conference on IR Research, ECIR 2019, Proceedings (pp. 276-289). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11437 LNCS). Springer Verlag.
https://doi.org/10.1007/978-3-030-15712-8_18
Venkatesh, S., Ramachandra, R., Raja, K.
, Spreeuwers, L.
, Veldhuis, R., & Busch, C. (2019).
Morphed Face Detection Based on Deep Color Residual Noise. In
2019 9th International Conference on Image Processing Theory, Tools and Applications, IPTA 2019 [8936088] (International Conference on Image Processing Theory, Tools and Applications (IPTA); Vol. 2019). IEEE.
https://doi.org/10.1109/IPTA.2019.8936088
Verhoeven, G.
, Catala, A.
, & Theune, M. (2019).
Designing a playful robot application for second language learning. In A. L. Brooks, E. Brooks, & C. Sylla (Eds.),
Interactivity, Game Creation, Design, Learning, and Innovation: 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24–26, 2018, Proceedings (pp. 385-394). (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Vol. 265). Springer.
https://doi.org/10.1007/978-3-030-06134-0_42
Wang, S., Koopman, R.
, & Englebienne, G. (2019).
Non-Parametric Subject Prediction. In A. Doucet, A. Isaac, K. Golub, T. Aalberg, & A. Jatowt (Eds.),
Digital Libraries for Open Knowledge: 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings (pp. 312-326). (Lecture Notes in Computer Science; Vol. 11799). Springer.
https://doi.org/10.1007/978-3-030-30760-8_27
Wrede, C.
, Jansen, L.
, Havinga, P. J. M.
, Croockewit, J. H.
, & van Gemert-Pijnen, J. E. W. C. (2019).
Unobtrusive sensing technologies to monitor and coach elderly with dementia: Track, Trace & Trigger. In E. Kyza, P. Karpinnen, E. Karapanos, K. T. Win , & H. Oinas-Kukkonen (Eds.),
Adjunct Proceedings of the 14th International Conference on Persuasive Technology, Limassol, Cyprus (pp. 43-45)
Zeinstra, C.
, Meuwly, D.
, Veldhuis, R.
, & Spreeuwers, L. (2019).
Mind the Gap: A practical framework for classifiers in a forensic context. In
2018 IEEE 9th International Conference on Biometrics Theory, Applications and Systems, BTAS 2018 [8698583] (IEEE nternational Conference on Biometrics Theory, Applications and Systems (BTAS); Vol. 2018). IEEE.
https://doi.org/10.1109/BTAS.2018.8698583
de Sousa Santos, O.
, de Alencar Silva, P.
, Bukhsh, F. A., & Queiroz, P. G. G. (2019).
Conceptual Modeling for Corporate Social Responsibility: A Systematic Literature Review. In K. Djemame, J. Altmann, J. Á. Bañares, O. Agmon Ben-Yehuda, & M. Naldi (Eds.),
Economics of Grids, Clouds, Systems, and Services - 16th International Conference, GECON 2019, Proceedings (pp. 218-227). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11819 LNCS). Springer Singapore.
https://doi.org/10.1007/978-3-030-36027-6_19
de Vries, W. B., Scheitle, Q.
, Müller, M., Toorop, W., Dolmans, R.
, & van Rijswijk-Deij, R. (2019).
A First Look at QNAME Minimization in the Domain Name System. In D. Choffnes, & M. Barcellos (Eds.),
Passive and Active Measurement: 20th International Conference, PAM 2019, Proceedings (pp. 147-160). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11419 LNCS). Springer Verlag.
https://doi.org/10.1007/978-3-030-15986-3_10
van Delden, R.
, de Vries, R. A. J.
, & Heylen, D. K. J. (2019).
Questioning Our Attitudes and Feelings Towards Persuasive Technology. In H. Oinas-Kukkonen, K. Than Win, E. Karapanos, P. Karppinen, & E. Kyza (Eds.),
Persuasive Technology: Development of Persuasive and Behavior Change Support Systems: 14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9–11, 2019, Proceedings (pp. 3-15). (Lecture Notes in Computer Science ; Vol. 11433). Springer.
https://doi.org/10.1007/978-3-030-17287-9_1
van Dijk, T.
, Meijer, J.
, & van de Pol, J. (2019).
Multi-core On-The-Fly Saturation. In L. Zhang, & T. Vojnar (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 58-75). (Lecture Notes in Computer Science; Vol. 11428), (Theoretical Computer Science and General Issues). Springer.
https://doi.org/10.1007/978-3-030-17465-1_4
van Stegeren, J.
, & Theune, M. (2019).
Narrative Generation in the Wild: Methods from NaNoGenMo. In F. Ferraro, T-H. K. Huang, S. Lukin, & M. Mitchell (Eds.),
Storytelling: Proceedings of the Second Workshop, August 1, 2019, Florence Italy (pp. 65-74). Association for Computational Linguistics (ACL).
https://www.aclweb.org/anthology/W19-34
van de Kamp, T. R., Stritzl, D.
, Jonker, W.
, & Peter, A. (2019).
Two-Client and Multi-client Functional Encryption for Set Intersection. In J. Jang-Jaccard, & F. Guo (Eds.),
Information security and privacy: 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings (pp. 97-115). (Lecture Notes in Computer Science; Vol. 11547). Springer International Publishing AG.
https://doi.org/10.1007/978-3-030-21548-4_6