- Radboud Repository
- →
- Collections Radboud University
- →
- Faculties
- →
- Faculty of Science
- →
- Browsing Faculty of Science by Faculty & Departments
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse by Faculty & Departments
Now showing items 1-50 of 1188
-
Work Practices and Challenges in Pull-Based Development: The Integrator’s Perspective Gousios, G.; Zaidman, A.; Storey, M.-A.; Deursen, A. van2015, Article in monograph or in proceedings (Kellenberger, P. (ed.), ICSE 2015 : 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 16-24 May 2015 Florence, Italy. Proceedings, pp. 358-368) -
Work practices and challenges in pull-based development: the contributor's perspective Gousios, G.; Storey, M.-A.; Bacchelli, A.2016, Article in monograph or in proceedings (Dillon, L. (ed.), ICSE '16 : Proceedings of the 38th International Conference on Software Engineering Austin, TX, May 14 - 22, 2016, pp. 285-296) -
Word Meaning, Data Semantics, Crowdsourcing, and the BKM/A-Lex Approach Nobel, T.; Hoppenbrouwers, S. ; Pleijsant, J.M.; Ouborg, M.2020, Article in monograph or in proceedings (Debruyne, C. (ed.), On the Move to Meaningful Internet Systems: OTM 2019 Workshops: Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers, pp. 67-78)
-
Wiskundig onderzoek per computer? Cornelissen, G.; Graaf, W.T.A. van der ; Kallen, W. van der; Sijsling, J.; Smit, B.; Stevens, J.; Wiedijk, F.2009, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 10, iss. 3, (2009), pp. 197-200) -
WiPSCE '17: Proceedings of the 12th Workshop on Primary and Secondary Computing Education, Nijmegen, Netherlands — November 08 - 10, 2017 Barendsen, E. ; Hubwieser, P.2017, Book (monograph)
-
WiPSCE '16: Proceedings of the 11th Workshop in Primary and Secondary Computing Education, WiPSCE 2016, Münster, Germany, October 13-15, 2016 Vahrenhold, J.; Barendsen, E.2016, Book (monograph)
-
WickedXmas: Designing and Verifying on-chip Communication Fabrics Joosten, S.J.C.; Verbeek, F.; Schmaltz, J.2014, Article in monograph or in proceedings (DIFTS'14 : Proceedings of the 3rd International Workshop on Design and Implementation of Formal Tools and Systems, October 20, 2014 Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland, pp. 1-8)
-
Why functional programming matters to me 2013, Part of book or chapter of book (Achten, P.; Koopman, P. (ed.), The beauty of functional code, pp. 79-96)
-
White-box optimization from historical data Verwer, S.E.; Ye, Q.C.; Zhang, Y.2013, Article in monograph or in proceedings (Bosch, A. van den; Heskes, T.; Leeuwen, D. van (ed.), BENELEARN 2013: Proceedings of the 22nd Belgian-Dutch Conference on Machine Learning, Nijmegen, 3 june 2013, pp. 103-104)
-
When, How, and Why Developers (Do Not) Test in Their IDEs Beller, M.; Gousios, G.; Panichella, A.; Zaidman, A.2015, Article in monograph or in proceedings (Nitto, E. Di (ed.), ESEC/FSE 2015 : Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 179-190)
-
When is a query a question? Reconstructing wh-requests from ad hoc-queries Heijden, M van der; Hinne, M. ; Verberne, S. ; Hoenkamp, E.C.M. ; Weide, T. van der ; Kraaij, W.2010, Article in monograph or in proceedings (Croft, B. (ed.), Query Representation and Understanding : Workshop of the 33rd Annual International ACM in Information Retrieval on Research and Development SIGIR Conference, pp. 17-20)
-
When Generic Functions Use Dynamic Values 2003, Part of book or chapter of book (Pena, Ricardo (ed.), Implementation of Functional Languages : The 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, pp. 17-33)
-
What Does DEMO Do? A Qualitative Analysis about DEMO in Practice: Founders, Modellers and Beneficiaries Décosse, C.; Molnar, W.; Proper, H.A.2014, Part of book or chapter of book (Aveiro, D.; Tribolet, J.; Gouveia, D. (ed.), Advances in Enterprise Engineering VIII, pp. 16-30)
-
Wensen en behoeften van mensen met een lichte en matige verstandelijke beperking en hun netwerk ten aanzien van flexibele levensloopondersteuning Hermsen, M.A. ; Havens, L.M.P.; Jeurens, J.; Hoppenbrouwers, S.J.B.A.2017, Article / Letter to editor (NTZ. Nederlands tijdschrift voor de zorg aan mensen met verstandelijke beperkingen, vol. 2017, iss. 2, (2017), pp. 108-124)
-
Well-definedness of streams by transformation and termination 2010, Article / Letter to editor (Logical Methods in Computer Science, vol. 6, iss. 3, (2010), pp. 1-27)
-
Well-definedness of streams by termination 2009, Article in monograph or in proceedings (Treinen, R. (ed.), Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings, pp. 164-178)
-
Weighted positive binary decision diagrams for exact probabilistic inference Dal, G.H.; Lucas, P.J.F.2017, Article / Letter to editor (International Journal of Approximate Reasoning, vol. 90, iss. Supplement C, (2017), pp. 411-432)
-
Web based dynamic workflow systems for C2 of military operations Jansen, J.M. ; Grant, T.; Lijnse, B.; Plasmeijer, R.2010, Article in monograph or in proceedings (15th ICCRTS `The Evolution of C2' :, pp. 1-19)
-
Web based dynamic workflow systems and applications in the military domain Jansen, Jan Martin; Koopman, P.W.M. ; Plasmeijer, M.J.2008, Part of book or chapter of book (Hupkens, Theo; Monsuur, Herman (ed.), Sensors, Weapons, C4I and Operations Research, pp. 43-59)
-
WANDA – a Higher Order Termination Tool Kop, C.L.M.2020, Article in monograph or in proceedings (Ariola, Z.M. (ed.), FSCD 2020: 5th International Conference on Formal Structures for Computation and Deduction, pp. 36:1-36:19)
-
Visualizing Formalisms with ORM Models Overbeek, S.J.; Bommel, P. van ; Proper, H.A. ; Rijsenbrij, D.B.B.2007, Part of book or chapter of book (Meersman, R.; Tari, Z.; Herrero, P. (ed.), On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, pp. 709-718)
-
Visual Support for Learning Monads Steenvoorden, T.; Stutterheim, J.; Barendsen, E. ; Plasmeijer, R.2017, Article in monograph or in proceedings (Sampson, D.G. (ed.), CSEIT 2017: Proceedings of the 8th Annual International Conference on Computer Science Education Innovation & Technology, 9th-10th October, 2017, Singapore, pp. 130-139)
-
Verifying OpenJDK's Sort Method for Generic Collections Gouw, S de; Boer, F.S. de; Bubel, Richard; Haehnle, Reiner; Rot, Jurriaan; Steinhoefel, Dominic2019, Article / Letter to editor (Journal of Automated Reasoning, vol. 62, iss. 1, (2019), pp. 93-126)
-
Verifying functional formalizations – a type-theoretical case study in pvs 2013, Part of book or chapter of book (Achten, P.; Koopman, P. (ed.), The beauty of functional code, pp. 47-59)
-
Verification of Printer Datapaths Using Timed Automata Igna, G.; Vaandrager, F.2010, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 412-423)
-
Verification of Counting Sort and Radix Sort Gouw, S de; Boer, F.S. de; Rot, J.C.2016, Article in monograph or in proceedings (Ahrendt, W. (ed.), Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 609-618)
-
Verificatie en validatie van veiligheidskritieke systemen 2014, Article / Letter to editor (Bits & Chips (Nijmegen), vol. 2014, iss. 4, (2014), pp. 42-45)
-
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints Carr, S.; Jansen, Nils ; Topcu, U.2020, Article in monograph or in proceedings (Bessiere, C. (ed.), IJCAI-PRICAI 2020: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan, pp. 4121-4127)
-
Varieties and covarieties of languages (extended abstract) Rutten, J. ; Ballester-Bolinches, A.; Cosme-Llópez, E.2013, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 298, iss. 0, (2013), pp. 7-28)
-
Variation in the Early Trajectories of Autism Symptoms Is Related to the Development of Language, Cognition, and Behavior Problems Visser, J.C. ; Lambregts, N.N.J. ; Lappenschaar, M. ; Servatius-Oosterling, I.J. ; Greven, C.U. ; Buitelaar, J.K.2017, Article / Letter to editor (Journal of the American Academy of Child and Adolescent Psychiatry, vol. 56, iss. 8, (2017), pp. 659-668)
-
Variability Representations in Class Models: An Empirical Assessment. Replication Package Strüber, D.G.F.; Anjorin, A.; Berger, T.2020, Dataset
-
Variability representations in class models: an empirical assessment Strüber, D.G.F.; Anjorin, A.; Berger, T.2020, Article in monograph or in proceedings (Syriani, E. (ed.), MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems Virtual Event Canada October, 2020, pp. 240–251)
-
Value Co-creation in Parkinson Networks Proper, H.A. ; Alkema, M.P.T.; Barlatier, P.-J.2019, Article in monograph or in proceedings (Johannesson, P. (ed.), VMBO 2019: Value Modeling and Business Ontologies. Short Paper Proceedings of the 13th International Workshop on Value Modeling and Business Ontologies Stockholm, Sweden, March 4-5, 2019, pp. 1-8)
-
Validation Support for Distributed Real-Time Embedded Systems in VDM++ Fitzgerald, John S.; Larsen, Peter Gorm; Tjell, Simon; Verhoef, Marcel2007, Article in monograph or in proceedings (Proceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE), pp. 331-340)
-
Validation of ACCESS: an automated tool to support self-management of COPD exacerbations Boer, L.M. ; Heijden, Maarten van der; Kuijk, Nathalie M.E. van; Lucas, P.J.F. ; Vercoulen, J.H. ; Assendelft, W.J.J.; Bischoff, E.W. ; Schermer, T.R.2018, Article / Letter to editor (International journal of COPD, vol. 13, (2018), pp. 3255-3267)
-
Validating Specifications for Model-Based Testing 2008, Article in monograph or in proceedings (Arabnia, R. Hamid; Reza, Hassan (ed.), Proceedings of The 2008 International Conference on Software Engineering Research and Practice (SERP'08) : SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, pp. 225-231)
-
Validated Designs for Object--oriented Systems Fitzgerald, John; Larsen, P.G.; Mukherjee, Paul; Plat, Nico; Verhoef, M.H.G.2005, Book (monograph)
-
Using Work Agreements as Operation-time System Requirements for Emergent Work Community Support Systems Hoppenbrouwers, S. ; Heesch, U. van; Koppe, C.2015, Part of book or chapter of book (Matulevicius, R. (ed.), REFSQ-JP 2015 : REFSQ Workshops, Research Method Track, and Poster Track, Joint Proceedings of REFSQ-2015 Workshops, Research Method Track, and Poster Track co-located with the 21st International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2015) Essen, Germany, March 23, 2015, pp. 19-24)
-
-
Using Psychometrics to Explicate Personal Ontologies in Enterprise Modeling Linden, D. Van der; Hoppenbrouwers, S.J.B.A. ; Lartseva, A.; Molnar, W.2012, Article / Letter to editor (Applied Ontology, vol. 7, (2012), pp. 1-15)
-
Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels Diggelen, J. van; Post, W.; Rakhorst, M.; Plasmeijer, R. ; Staal, W.2014, Part of book or chapter of book (Ślȩzak, D.; Schaefer, G.; Vuong, S. (ed.), Active Media Technology, pp. 442-452)
-
Using model-checking to reveal a vulnerability of tamper-evident pairing Kersten, R.; Gastel, B. van; Drijvers, M.; Smetsers, S. ; Eekelen, M.C.J.D. van2013, Article in monograph or in proceedings (Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 63-77)
-
Using Model Checking for Critiquing based on Clinical Guidelines Groot, P.C. ; Hommersom, A.J. ; Lucas, P.J.F. ; Merk, R.J.; Teije, A. ten; Harmelen, F. van; Serban, R.2008, Article / Letter to editor (Artificial Intelligence in Medicine, vol. 46, iss. 1, (2008), pp. 19-36)
-
Using MASSCLEAN to Describe Stellar Clusters Found in the Vista Variables in the Via Lactea (VVV) Survey Popescu, B.; Hanson, M.M.; Borissova, J.; Kurtev, R.; Ivanov, D.; Catelan, M.; Larsen, S.S.; Minniti, D.; Lucas, P.2014, Article / Letter to editor (Revista Mexicana de Astronomia y Astrofisica Conference Series, vol. 44, iss. Octubre, (2014), pp. 163)
-
Using Local Context Information to Improve Automatic Mammographic Mass Detection Velikova, Marina ; Lucas, P.J.F. ; Karssemeijer, B.2010, Article in monograph or in proceedings (Safran, C. (ed.), MEDINFO 2010 - Proceedings of the 13th World Congress on Medical Informatics, pp. 1291-1295)
-
Using Game Psychology in Information System Design for Sustainable Behavior Changes Oldenhave, D.; Weide, T. van der ; Hoppenbrouwers, S. ; Sauren, J.2016, Article in monograph or in proceedings (Kornyshova, E. (ed.), CBI 2016: 2016 IEEE 18th Conference on Business Informatics, 29th August - 1st September, Paris, France, pp. 238-247)
-
Using Domain Specific Languages to Improve the Development of a Power Control Unit Schuts, M.; Hooman, J.2015, Part of book or chapter of book (Ganzha, M. (ed.), Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 781-788)
-
Using clean for platform games Wiering, M.; Achten, P.M. ; Plasmeijer, R.2000, Part of book or chapter of book (Koopman, P.; Clack, C. (ed.), Implementation of Functional Languages, pp. 1-17)
-
Using bayesian networks in an industrial setting: Making printing systems adaptive 2010, Article in monograph or in proceedings (Coelho, H.; Studer, R. (ed.), ECAI 2010 - 19th European Conference on Artificial Intelligence, pp. 401-406)
-
Using a Liquid Democracy Tool for End-user Involvement in Continuous RE Seesink, J.; Hoppenbrouwers, S.2017, Article in monograph or in proceedings (Knauss, E. (ed.), REFSQ 2017: 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, February 27, 2017, pp. 1-7)
Now showing items 1-50 of 1188
Search Repository
Browse
-
All of Repository
-
This Collection
Upload Full Text