Search concepts
|
Selected filters
|
- 5,400 - 5,450 out of 7,888 results
Search results
-
Conference Article in proceeding
A Framework for Visualization of Changes of Enterprise Architecture
Bakelaar, R., Roubtsova, E. E. & Joosten, S., 2017, Business Modeling and Software Design: 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016, Revised Selected Papers. Shishkov, B. (ed.). Springer, p. 140-160 21 p. (Lecture Notes in Business Information Processing, Vol. 275).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Functional Taxonomy of Logic Puzzles
Hufkens, L. V. & Browne, C., 26 Sep 2019, IEEE Conference on Games 2019. Perez Liebana, D. & Mostaghim, S. (eds.). IEEE, p. 642-645 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile313 Downloads (Pure) -
A Hoare Logic for Energy Consumption Analysis
Kersten, R. W. J., Parisien Toldin, P., van Gastel, B. E. & van Eekelen, M. C. J. D., 2014, Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Dal Lago, U. & Peña, R. (eds.). Cham: Springer, p. 93-109 17 p. (Lecture Notes in Computer Science, Vol. 8552).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Holistic Pedagogical Model for STEM education in schools: Its Design and Evaluation through Mixed Methods Research with Surveys and Interviews
Stracke, C. M., Van Dijk, G., Fasen, J., Lisdat, F., Wesolowski, A., Simoens, W., Desutter, J., Lippens, J., Rimkevičė, A., Daneniene, J., Kelmelyte, V., Baltazar, R., Barreiros, A., Pascoal, A., Spatafora, M., Cotovanu, A. M. & Spatafora, A., 9 Dec 2019, Proceedings of Learning Innovations and Quality (LINQ) 2019. Stracke, C. M. (ed.). EasyChair, Vol. 2. p. 40-48 9 p. (EPiC Series in Education Science , Vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile63 Downloads (Pure) -
A Holistic Pedagogical Model for STEM learning and education inside and outside the classroom
Stracke, C. M., Van Dijk, G., Fasen, J., Lisdat, F. & Simoens, W., 2020, Learning and Collaboration Technologies: Designing, Developing and Deploying Learning Experiences. Zaphiris, P. & Ioannou, A. (eds.). Cham, Switzerland: Springer, p. 568–581 14 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A human-centric tool for component design and reuse in the UML
Roubtsova, E. E. & Roubtsov, S. A., Oct 2003, IEEE Symposium on Human Centric Computing Languages and Environments. Hosking, J. & Cox, P. (eds.). Auckland, New Zealand: IEEE Computer Society Press, p. 177-179 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Language to Specify Declarative Business Rules
Wedemeijer, L., 2015, Business Modeling and Software Design: 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers. Shishkov, B. (ed.). Cham, Switzerland: Springer International Publishing AG, p. 82-101 20 p. (Lecture Notes in Business Information Processing, Vol. 220).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Lightweight Method for Analysing Performance Dependencies between Services: Fifth International Workshop on Adaptive Services for the Future Internet (WAS4FI 2015)
Lamers, A. & van Eekelen, M. C. J. D., 2016, Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers. Celesti, A. & Leitner, P. (eds.). Springer International Publishing AG, Vol. 567. p. 93 110 p. (Communications in Computer and Information Science, Vol. 567).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Aligning Effectively: The Case of Electronic Medical Records
Walraven, P., van de Wetering, R., Helms, R. W. & Caniëls, M. C. J., Jun 2020, Proceedings of the 28th European Conference on Information Systems (ECIS): An Online AIS Conference, June 15-17, 2020. online: Association for Information Systems, 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile40 Downloads (Pure) -
A Mass Customization Approach to Business Process Modularization
Soetekouw, T., Grefen, P. W. P. J., Turetken, O. & Vanderfeesten, I. T. P., 2021, Proceedings of the IEEE CBI 2021 conference. J. P. A. A., D. B., G. G., M. M., H. A. P. & T. P. S. (eds.). IEEE, p. 29-38Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A maturity model for scaling agile development
Stojanov, I., Turetken, O. & Trienekens, J. J. M., 2015, Proceedings of the 41st EUROMICRO Conference on Software Engineering and Advanced Applications Piscataway : IEEE, 2015. blz. 446-453.: (SEAA2015) Madeira, Portugal.. IEEE Computer Society Press, p. 446-453 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Ambient Displays and Game Design Patterns for Social Learning
Kelle, S., Börner, D., Kalz, M., Specht, M. & Glahn, C., 2010, Workshop Proceedings of the 18th International Conference on Computers in Education . Hirashima, T., Mohd Ayub, A. F., Kwok, L-F., Wong, S. L., Kong, S. C. & Yu, F-Y. (eds.). Asia-Pacific Society for Computers in Education, p. 47-49 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile6 Downloads (Pure) -
A meta-framework for Efficacious Adaptive Enterprise Architectures
van de Wetering, R. & Bos, R., 2017, Business Information Systems Workshops: BIS 2016 International Workshops, Leipzig, Germany, July 6-8, 2016, Revised Papers. Abramowicz, W., Alt, R. & Franczyk, B. (eds.). Springer International Publishing AG, p. 273-288 16 p. (Lecture Notes in Business Information Processing; No. LNBIP 263).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Metamodel for Business Rules with Access Control
Wedemeijer, L., 2016, Business Modeling and Software Design: 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016, Revised Selected Papers. Shishkov, B. (ed.). Cham: Springer International Publishing AG, p. 46-53 8 p. (Lecture Notes in Business Information Processing, Vol. 275).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
A Method for the Design of Gamified Trainings
Helms, R. W., Barneveld, R. & Dalpiaz, F., 2015, Proceedings of the Pacific Asian Conference on Information Systems : PACIS 2015. AIS Electronic Library, 59Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Model-Level Mutation Tool to Support the Assessment of the Test Case Quality Complexity
Granda, M. F., Condori-Fernández, N., Vos, T. E. J. & Pastor, O., 2016, Information Systems Development: Complexity in Information Systems Development: ISD2016 Proceedings. Gołuchowski, J., Pańkowska, M., Barry, C., Lang, M., Linger, H. & Schneider, C. (eds.). Katowice, Poland: University of Economics in Katowice, p. 17-37 21 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Amplifying applied game development and uptake
Hollins, P., Westera, W. & Manero, B., 4 Oct 2015, Proceedings of the 9th European Conference on Games Based Learning: ECGBL 2015. Munkvold, R. & Kolas, L. (eds.). Reading, UK: Academic Conferences Ltd, p. 234-241Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile42 Downloads (Pure) -
Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training
Lala, R., Jeuring, J. T. & Overbeek, T., 2017, iLRN 2017 Coimbra: Workshop, Long and Short Paper , and Poster Proceedings from the Third Immersive Learning Research Network Conference. Beck, D., Allison, C., Morgado, L., Pirker, J., Khosmood, F., Richter, J. & Gütl, C. (eds.). Verlag der Technischen Universität Graz, p. 197-204Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Analysing business-IT alignment in the IT outsourcing context: A Case Study Approach
Sabelnikova, E., Chituc, C-M. & Trienekens, J. J. M., 2015, Proceedings of the 17th International Conference on Enterprise Information Systems. Hammoudi, S., Maciaszek, L. & Teniente, E. (eds.). Portugal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 5-16 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Analysing Privacy Analyses
Bella, G., Butin, D. & Jonker, H., 2017, Proceedings of the 1st Italian Conference on Cybersecurity: ITASEC17. Armando, A., Baldoni, R. & Focardi, R. (eds.). Aachen: CEUR-WS.org, p. 19-28 10 p. (CEUR Workshop Proceedings, Vol. 1816).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach
Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Analysis of specifications of multiparty sessions with dcj-lint
Horlings, E. & Jongmans, S-S., Aug 2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D., Gousios, G., Chechik, M. & Di Penta, M. (eds.). ACM Digital Library, p. 1590-1594Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise Architectures
Dijkstra, R. & Roubtsova, E. E., 2019, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering: May 4-5, 2019, in Heraklion, Crete, Greece. E. D., G. S. & L. M. (eds.). Heraklion, Crete, Greece: SCITEPRESS-Science and Technology Publications, Lda., p. 226-233Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Analyzing conceptual content of international informatics curricula for secondary education
Barendsen, E. & Steenvoorden, B., 2016, Informatics in schools: Improvement of informatics knowledge and perception : 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 14-27 (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Analyzing student's software redesign strategies
Stuurman, S., Passier, H. & Barendsen, E., 24 Nov 2016, Koli Calling '16: Proceedings of the 16th Koli Calling International Conference on Computing Education Research. Sheard, J. & Suero Montero, C. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 110-119 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Nation-wide ePortfolio: Reflections on Ambitions and Experiences in the Netherlands
Janssen, J., Brouns, F., Vaessen, H., Weijnen, G., Huveneers, E. & Hodzelmans, R., 22 Jul 2011, Proceedings of the 9th ePortfolio & Identity Conference (ePIC) 2011. 191 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile -
Ancient Cities: Teaching and learning in the digital age
Blömer, M., Brouns, F. M. R., Duplouy, A., Feuser, S., Malmberg, S., Merten, S., Videbech, C. & Zarmakoupi, M., 2021, Teaching Classics in the Digital Age. Feuser, S., Merten, S. & Wesselmann, K. (eds.). Kiel: Universitätsverlag Kiel , p. 107-116 10 p. (Think! Historically: Teaching History and the Dialogue of Disciplines; No. 2, Vol. Teaching Classics in the Digital Age).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
An Evaluation Framework for Data Competitions in TEL
Drachsler, H., Stoyanov, S., d'Aquin, M., Herder, E., Guy, M. & Dietze, S., 2014, Open Learning and Teaching in Educational Communities: 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings. Rensing, C., de Freitas, S., Ley, T. & Muñoz-Merino, P. J. (eds.). Cham: Springer, p. 70-83 14 p. (Lecture Notes in Computer Science (LNCS), Vol. 8719).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
An Evaluation of the Intuitiveness of the PGA Modeling Language Notation
Roelens, B. F. C. & Bork, D., 2020, Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8–9, 2020, Proceedings. Nurcan, S., Reinhartz-Berger, I., Soffer, P. & Zdravkovic, J. (eds.). Cham: Springer Nature Switzerland AG, p. 395-410 16 p. (Lecture Notes in Business Information Processing, Vol. 387).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
A New Informatics Curriculum for Secondary Education in The Netherlands
Barendsen, E., Grgurina, N. & Tolboom, J., 2016, Informatics in Schools: Improvement of Informatics Knowledge and Perception: 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 105-117 (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A new method for sustainable development of open educational resources
Stuurman, S., van Eekelen, M. & Heeren, B. J., 9 Sep 2012, Proceedings of Second Computer Science Education Research Conference. van der Veer, G., Sikorski, M., Sloep, P. & van Eekelen, M. (eds.). acm, p. 57-66 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
An executable and changeable reference model for the health insurance industry
Verheul, J. & Roubtsova, E. E., Jun 2011, BM-FA '11: Proceedings of the Third Workshop on Behavioural Modelling - Foundations and Application. Birmingham United Kingdom: Association for Computing Machinery, p. 33-40 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
An exercise assistant for practical networking and IT security courses in higher education
Haag, J., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2015, Computer Supported Education: 6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014, Revised Selected Papers. Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). Cham: Springer International Publishing AG, p. 84-98 15 p. (Communications in Computer and Information Science (CCIS), Vol. 510).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
An exercise assistant for practical networking courses
Haag, J., Witte, C., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2014, Proceedings of the 6th International Conference On Computer Supported Education : (CSEDU2014, 1-3 April, 2014, Barcelona, Spain). Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 97-104 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
An extensible domain-specific language for describing problem-solving procedures
Heeren, B. & Jeuring, J., 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. André, E., Baker, R., Hu, X., Rodrigo, M. T. & du Boulay, B. (eds.). Springer International Publishing AG, Vol. LNCS 10331. p. 77-89 13 p. (Lecture Notes in Computer Science; No. 10331).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
An implementation architecture for scenario-based simulations
Lala, R., Jeuring, J. T. & Van Dortmont, J., Jun 2016, Intelligent Tutoring Systems: 13th International Conference, ITS 2016. Micarelli, A., Stamper, J. & Panourgia, K. (eds.). Springer, (Lecture Notes in Computer Science, Vol. 9684).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
File43 Downloads (Pure) -
An Instructional Model to Link Designing and Conceptual Understanding in Secondary Computer Science Education
Rahimi, E., Barendsen, E. & Henze, I., 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education. New York, NY: acm, 4 p. 11. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
An integrated approach to inquiry based science learning in a secondary school: designing a colony on Mars
Rusman, E., Firssova, O., Janssen, T. & Specht, M., Mar 2015, INTED2015 Proceedings: 9th International Technology, Education and Development Conference March 2nd-4th - Madrid, Spain. Gómez Chova, L., López Martínez, A. & Candel Torres, I. (eds.). IATED Academy, p. 4438-4492 55 p. (INTED Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Professional
File2 Downloads (Pure) -
An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions
Arends, H., Keuning, H., Heeren, B. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 2-9 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
An observation method for behavioral analysis of collaborative modeling skills
Wilmont, I., Hoppenbrouwers, S. & Barendsen, E., 2017, Advanced Information Systems Engineering Workshops: CAISE 2017 International Workshops, Essen, Germany, June 12–16, 2017, Proceedings. Metzger, A. & Persson, A. (eds.). Springer International Publishing AG, p. 59-71Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A novel approach and software component for supporting competence-based learning with serious games
Nussbaumer, A., Maurer, M., Malicet, S., Steiner, C. M. & Albert, D., 2018, (Accepted/In press) INTED2019 conference (International Technology, Education and Development Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile101 Downloads (Pure) -
A Pattern Language for Value Modeling in ArchiMate
Sales, T. P., Roelens, B. F. C., Poels, G., Guizzardi, G., Guarino, N. & Mylopoulos, J., 29 May 2019, Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings. Giorgini, P. & Weber, B. (eds.). Cham: Springer, p. 230-245 16 p. (Lecture Notes in Computer Science, Vol. 11483).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile199 Downloads (Pure) -
A pilot study of the use of LogEx, lessons learned
Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 2015, Proceedings of the Fourth International Conference on Tools for Teaching Logic: 9–12 June 2015. Huertas, M. A., Marcos, J., Manzano, M., Pinchinat, S. & Schwarzentruber, F. (eds.). Rennes: Presses Universitaires de Rennes, p. 93-100 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
A Placement Web-Service for Lifelong Learners
Kalz, M., Drachsler, H., Van der Vegt, W., Van Bruggen, J., Glahn, C. & Koper, R., 2009, Proceedings of I-KNOW '09: 9th international conference on knowledge management and knowledge technologies: Proceedings of I-SEMANTICS '09: 5th international conference on semantic systems. Tochtermann, K. & Maurer, H. (eds.). Graz: Verlag der Technischen Universität Graz, p. 289-298 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile21 Downloads (Pure) -
A Platform for the Geometry Friends: Cooperative Game AI Competition
Costa, R., Prada, R. & Melo, F. S., 2018, Proceedings of Videojogos 2018 - 10th Conference on Videogame Sciences and Arts 2018.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile33 Downloads (Pure) -
Applying deep learning on packet flows for botnet detection: Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing
van Roosmalen, J., Vranken, H. P. E. & van Eekelen, M. C. J. D., 13 Apr 2018, Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (eds.). New York: acm, p. 1629-1636 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile48 Downloads (Pure) -
Applying Scrum in Data Science Projects
Baijens, J., Helms, R. W. & Iren, D., 2020, 2020 IEEE 22nd Conference on Business Informatics (CBI 2020). Guédria, W., Proper, H. A., Verelst, J., Hacks, S., Timm, F., Sandkuhl, K., Fellmann, M., Serapiao, G., Payan, M., Komarov, M., Maltseva, S., Uskenbayeva, R., Nazarov, D., Ge, M., Helfert, M. & Ehrlinger, L. (eds.). Danvers, MA: Institute of Electrical and Electronics Engineers Inc., Vol. 2. p. 30-38 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile56 Downloads (Pure) -
Approximate Model Checking of Stochastic COWS
Quaglia, P. & Schivo, S., 2010, 5th International Symposium on Trustworthly Global Computing, TGC 2010. Wirsing, M., Hofmann, M. & Rauschmayer, A. (eds.). Germany: Springer Verlag, p. 335-347 13 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming
Michels, S., Hommersom, A. & Lucas, P. J. F., Jul 2016, IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Brewka, G. (ed.). AAAI Press, p. 3616-3622 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Practical Application of Upon Lite for the Development of a Semi-Informal Application Ontology
De Lille, N. & Roelens, B. F. C., 23 Mar 2021, Proceedings of the International Workshop on Value Modelling and Business Ontologies. Guizzardi, G., Sales, T. P., Griffo, C. & Fumagalli, M. (eds.). CEUR-WS, Vol. 2835. p. 63-70 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access