Faculty of Science

Research output

Research output per year 1989 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2024

• 652 Article
• 552 Conference Article in proceeding
• 101 Chapter
• 90 Paper
• 400 More
  • 47 Abstract
  • 39 Technical report
  • 38 Poster
  • 37 Review article
  • 33 Doctoral Thesis
  • 32 Commissioned report
  • 23 Editorial
  • 17 Conference Article in journal
  • 14 Book editing
  • 14 Conference Abstract/Poster in proceeding
  • 12 Conference Abstract/Poster in journal
  • 12 Comment/Letter to the editor
  • 10 Book
  • 10 Inaugural speech
  • 10 Web publication/site
  • 9 Deliverable
  • 8 Preprint
  • 6 Book/Film/Article review
  • 5 Foreword/postscript
  • 5 Special issue
  • 5 Digital or Visual Products
  • 4 Software
  • 3 Other report (internal)
  • 3 Entry for encyclopedia/dictionary
  • 2 Working paper
  • 1 Literature review
  • 1 Discussion paper

Research output per year

Research output per year

Search results

• 2016

  Mutation Operators for UML Class Diagrams

  Granda, M. F., Condori Fernandez, N., Vos, T. E. J. & Pastor, O., 2016, Advanced Information Systems Engineering: 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Cham: Springer International Publishing AG, p. 325-341 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9694). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 9694).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Open Data? Wel eens van gehoord ja!

  Helms, R. W. & Poppel, J. V., 12 Sept 2016.

  Research output: Contribution to conference › Poster › Professional

  Open Access

  File
  33 Downloads (Pure)

• Opleidingsplan BSc Milieu-natuurwetenschappen 2016-2019: yOUteach Vernieuwing Bacheloropleidingen Open Universiteit

  Translated title of the contribution: Development Plan 2016-2019 of the Academic programme BSc Environmental Sciences : yOUteach on Innovation of the Academic Bachelor's programmes of the Open University of the NetherlandsLansu, A., 19 Feb 2016, 49 p.

  Research output: Book/Report › Other report (internal)

  1 Downloads (Pure)

• Participatory approaches to land re-allotment: on the interplay between institutional frameworks and trust

  Beunen, R. & Louwsma, M. A., 9 Nov 2016.

  Research output: Contribution to conference › Paper › Academic

• Perceived (In)justice of Public Land Acquisition

  Holtslag-Broekhof, S. M., van Marwijk, R., Beunen, R. & Wiskerke, J. S. C., Apr 2016, In: Journal of Agricultural & Environmental Ethics. 29, 2, p. 167-184 18 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  • Justice 100%
  • Public Lands 100%
  • Land Acquisition 100%
  • Discourse 100%
  • Landowner 100%
  9 Citations (Web of Science)

• Place as layered and segmentary commodity: place branding, smart growth and the creation of product and value

  Van Assche, K., Beunen, R. & Lo, M. C., 2016, In: International Planning Studies. 21, 2, p. 164-175 12 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  • Place Branding 100%
  • Smart Growth 100%
  • Spatial Planning 100%
  • Physical Planning 100%
  • Narrative 33%

• PrDK: Protocol Programming with Automata

  Jongmans, S.-S. & Arbab, F., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J.-F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 547-552 6 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  • Automata 100%
  • Automaton 100%
  • Java 50%
  • Domain-specific Languages 50%
  • Interpreter 50%

• Preface of the FOPARA 2015 proceedings

  van Eekelen, M. C. J. D. & Dal Lago, U., 2016, Foundational and Practical Aspects of Resource Analysis, 4th international workshop (FOPARA) 2015. : Revised selected papers. Co-located with DICE 2015 at ETAPS, London. LNCS 9964. van Eekelen, M. & Dal Lago, U. (eds.). Cham: Springer International Publishing AG, p. V-VI 2 p. (Lecture Notes in Computer Science, Vol. 9964). (Programming and Software Engineering LNPSE, Vol. 9964).

  Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

  Open Access

• Preface RAC 2016 - Resource Aware Computing

  van Eekelen, M. & Eder, K., 10 Dec 2016, In: Electronic Notes in Theoretical Computer Science. 330, p. 1-3 3 p.

  Research output: Contribution to journal › Special issue › Academic › peer-review

  Open Access

• Problem-Based and Project-Based Learning for Sustainable Development

  Cörvers, R., Wiek, A., de Kraker, J., Lang, D. J. & Martens, P., 2016, Sustainability Science: An Introduction. Heinrichs, H., Martens, P., Michelsen, G. & Wiek, A. (eds.). Dordrecht: Springer, p. 349-358 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Project-based Learning (PjBL) 100%
  • Sustainable Development 100%
  • Problem-based 100%
  • Project-Based Learning 100%
  • Problem-based Learning 33%

• Q-learning strategies for action selection in the TESTAR automated testing tool

  Esparcia-Alcazar, A., Almenar, F., Martınez, M., Rueda, U. & Vos, T. E. J., 2016, Proceedings of the 6TH International Conference on Metaheuristics and Nature Inspired Computing: META’2016. p. 174-180 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• QSARs for estimating intrinsic hepatic clearance of organic chemicals in humans

  Pirovano, A., Brandmaier, S., Huijbregts, M. A. J., Ragas, A. M. J., Veltman, K. & Hendriks, A. J., Mar 2016, In: Environmental Toxicology and Pharmacology. 42, p. 190-197 8 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  9 Citations (Web of Science)

• Redox-Related Mechanisms to Rebalance Cancer-Deregulated Cell Growth

  Stevens, A.-S., Pirotte, N., Wouters, A., Van Roten, A., Van Belleghem, F., Willems, M., Cuypers, A., Artois, T. & Smeets, K., 2016, In: Current Drug Targets. 17, 12, p. 1414-1437 24 p.

  Research output: Contribution to journal › Review article › peer-review

  • Cell Growth 100%
  • Rebalance 100%
  • Redox 100%
  • Malignant Neoplasm 100%
  • Regeneration 100%
  3 Citations (Web of Science)

• Rijksprojecten: hét natuurinclusieve werken? Een analyse van relaties tussen rijksprojecten en de Rijksnatuurvisie. Wettelijke Onderzoekstaken Natuur & Milieu

  Translated title of the contribution: Governmental projects: the nature inclusive way of working?: An analysis of the relations between Governmental projects and the government's vision on nature. Legal research tasks of Nature and EnvironmentBeunen, R., Pleijte, M. & During, R., Dec 2016, Wageningen University.

  Research output: Book/Report › Commissioned report › Academic

  Open Access

  File
  122 Downloads (Pure)

• River Export of Plastic from Land to Sea: A Global Modeling Approach

  Siegfried, M., Gabbert, S., Koelmans, A. A., Kroeze, C., Löhr, A. J. & Verburg, C., 2016, In: Geophysical Research Abstracts. 18, 1 p., 11507.

  Research output: Contribution to journal › Conference Abstract/Poster in journal › Academic › peer-review

  Open Access

• Scheduling Games for Concurrent Systems

  Dokter, K., Jongmans, S.-S. & Arbab, F., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proença, J. (eds.). Cham: Springer International Publishing, p. 84-100 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9686). (Programming and Software Engineering LNPSE, Vol. 9686).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  • Scheduler 100%
  • Concurrent Systems 100%
  • Scheduling Game 100%
  • Concurrent System 100%
  • Scheduling Framework 40%

• Smart Education

  Versteijlen, M., Perez Salgado, F. & Goes Janssen, M., Aug 2016, Proceedings of the ICT for Sustainability Conference 2016. Grosso, P., Lago, P. & Osseyran, A. (eds.). Atlantis Press SARL, p. 242-243 2 p. (Advances in Computer Science Research).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File

  • CO2 Footprint 100%
  • Smart Education 100%
  • Energy Efficiency 100%
  • Information and Communication Technology 100%
  • Carbon Dioxide 100%
  77 Downloads (Pure)

• Software Testing Innovation Alliance: the SHIP project

  Vos, T. E. J. & Esparcia-Alcazar, A., 2016, STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Dubois, C., Parisi-Presicce , F., Kolovos , D. & Matragkas , N. (eds.). RWTH Aachen, Vol. 1675. p. 65-71 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• South to South Learning in Great Ape Conservation

  Schoneveld-de Lange, N., Meijaard, E. & Löhr, A., Jun 2016, In: American Journal of Primatology. 78, 6, p. 669-678 10 p.

  Research output: Contribution to journal › Review article › peer-review

  • Great Ape Conservation 100%
  • Congo Basin 100%
  • Pongo Pygmaeus 100%
  • Orangutan 100%
  • Conservation Strategies 80%
  3 Citations (Web of Science)

• Statically and Dynamically Verifiable SLA Metrics

  Giachino, E., Gouw, S. D., Laneve, C. & Nobakht, B., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday., E. Á., , M. B. & , E. B. J. (eds.). Springer, p. 211-225 15 p. (Lecture Notes in Computer Science, Vol. 9660). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9660).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Service Level Agreement 100%
  • Metric Function 100%
  • Service-Level Agreement 100%
  • Feedback Loop 50%
  • Quality Expectation 50%

• Studying the mechanisms of Cd-induced stem cell proliferation and their role in tumor avoidance in Schmidtea mediterranea

  Van Belleghem, F., Van Roten, A., Artois, T. & Smeets, K., 16 Sept 2016, In: Toxicology Letters. 258, Supplement, p. S252-S252 1 p.

  Research output: Contribution to journal › Conference Abstract/Poster in journal › Academic › peer-review

• Stuttering equivalence is too slow!

  Jansen, D. N. & Keiren, J. J. A., 22 Sept 2016, 11 p.

  Research output: Working paper / Preprint › Working paper › Academic

  Open Access

  File
  25 Downloads (Pure)

• Sustainable Development Research at ICIS (now MSI): Taking stock and looking ahead

  Cörvers, R. (Editor), de Kraker, J. (Editor), Kemp, R. (Editor), Martens, P. (Editor) & van Lente, H. (Editor), 2016, Maastricht: Datawyse/Universitaire Pers Maastricht. 432 p.

  Research output: Book/Report › Book editing › Academic

  Open Access

  • Development Research 100%
  • Sustainable Development 100%
  • Sustainable Development Research 100%
  • Collaborator 100%

• Talking To Me? Creating Networks From Online Community Logs

  Helms, R. W., Ai, W. & Cranefield, J., 2016, Proceedings of the 24th European Conference on Information Systems, Instanbul, Turkey.: Research Papers. AIS Electronic Library, p. 1-17 143

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  • Online Communities 100%
  • Network Creation 80%
  • Creation Method 80%
  • Selection Strategy 20%
  • Knowledge Sharing 20%

• THC, CBD en gezondheidseffecten van wiet en hasj: Update 2016

  Niesink, R. J. M. & Van Laar, M., Dec 2016, AF 1490 ed. Trimbos Institute. 132 p.

  Research output: Book/Report › Commissioned report › Professional

  Open Access

  File
  3112 Downloads (Pure)

• THC-concentraties in wiet, nederwiet en hasj in Nederlandse coffeeshops 2015-2016

  Rigter, S. & Niesink, R. J. M., Aug 2016, AF1471 ed. Utrecht: Trimbos Institute.

  Research output: Book/Report › Commissioned report › Professional

  Open Access

  File
  152 Downloads (Pure)

• The amazon forest-rainfall feedback

  Dekker, S. C., Stall, A., Bosmans, J. & Tuinenburg, O., 9 Oct 2016.

  Research output: Contribution to conference › Paper › Academic

• The Automatic Generation of Knowledge Spaces From Problem Solving Strategies

  Milovanovic', I. & Jeuring, J. T., Apr 2016, Utrecht: Utrecht University. 4 p.

  Research output: Book/Report › Technical report › Academic

  Open Access

  • Problem-solving Strategies 100%
  • Knowledge Generation 100%
  • Automatic Generation 100%
  • Knowledge Space 100%
  • Learning Environment 50%

• The drama of the Do-democracy: constructing inclusion and exclusion in self-governing communities

  Beunen, R., Aalvanger, A., Aarts, N. & Feindt, P., 4 Feb 2016.

  Research output: Contribution to conference › Paper › Academic

• The Drugs Information and Monitoring System (DIMS): Monitoring and surveillance of illicit drugs in The Netherlands

  Niesink, R. J. M., 2 May 2016.

  Research output: Contribution to conference › Paper › Academic

• The emergence of climate change adaptation as a new field of public policy in Europe

  Massey, E. & Huitema, D., Feb 2016, In: Regional Environmental Change. 16, 2, p. 553-564 12 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  • Adaptation 100%
  • Europe 100%
  • Public Policy 100%
  • Climate Change Adaptation 100%
  • Policy Field 100%
  21 Citations (Web of Science)

• The governance of adaptation: choices, reasons, and effects. Introduction to the Special Feature

  Huitema, D., Adger, W. N., Berkhout, F., Massey, E., Mazmanian, D., Munaretto, S., Plummer, R. & Termeer, C. C. J. A. M., 2016, In: Ecology and Society. 21, 3, 15 p., 37.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  • Adaptive Governance 100%
  • Adaptogen 100%
  • Adaptive Decision Making 100%
  • Public Goods 100%
  • Government Agency 100%
  50 Citations (Web of Science)

• The impact of (low) trust on knowledge sharing

  Rutten, W., Blaas-Franken, J. & Martin, H., 2016, In: Journal of Knowledge Management. 20, 2, p. 199-214 16 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  • Knowledge Sharing 100%
  • Co-Worker 100%
  • Knowledge Level 60%
  • Affective Trust 40%
  • Netherlands 20%
  76 Citations (Web of Science)

• The Implementation of Hohfeldian Legal Concepts with Semantic Web Technologies

  Slootweg, P., Rutledge, L. W., Wedemeijer, L. & Joosten, S. M. M., 2016, AI4J – Artificial Intelligence for Justice, August 30, 2016 The Hague, The Netherlands: Workshop at the 22nd European Conference on Artificial Intelligence (ECAI 2016). Amsterdam: IOS Press, p. 65-72 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  • Semantic Web 100%
  • Semantic Web Technology 100%
  • Conditional Statement 100%
  • Formal Logic 100%
  • Legal Relationship 100%

• The influence of groundwater depth on the moisture recycling: System in the Amazon rainforest following agricultural land-use change

  Dekker, S. C., O'connor, J. & Rebel, K., 9 Oct 2016.

  Research output: Contribution to conference › Paper › Academic

• The influence of uncertainty and location-specific conditions on the environmental prioritisation of human pharmaceuticals in Europe

  Oldenkamp, R., Huijbregts, M. A. J. & Ragas, A. M. J., May 2016, In: Environment International. 91, p. 301-311 11 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  • Europe 100%
  • Specific Conditions 100%
  • Location-specific 100%
  • Human Pharmaceuticals 100%
  • Active Pharmaceutical Ingredients 100%
  7 Citations (Web of Science)

• The opportunities and roles of experimentation in addressing climate change

  Hilden, M., Saikku, L., Jordan, A., Huitema, D. & Huisingh, D., 1 Mar 2016, In: Journal of Cleaner Production. 115, p. 1-4 4 p.

  Research output: Contribution to journal › Editorial › Academic › peer-review

  Open Access

• The Role of Internet Service Providers in Botnet Mitigation

  Pijpker, J. & Vranken, H. P. E., 2016, 2016 European Intelligence and Security Informatics Conference, Proceedings: 17–19 August 2016 Uppsala, Sweden. Brynielsson, J. & Johansson , F. (eds.). IEEE Computer Society Press, p. 24-32 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Towards a systematic review of automated feedback generation for programming exercises

  Keuning, H., Jeuring, J. T. & Heeren, B. J., Jul 2016, ITiCSE '16: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, p. 41-46 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  • Programming Exercises 100%
  • Automated Feedback Generation 100%
  • Formative Feedback 50%
  • Feedback Message 50%
  • Feedback Content 50%

• Towards a Systematic Review of Automated Feedback Generation for Programming Exercises: Extended Version. (UU-CS-2016-001)

  Keuning, H., Jeuring, J. T. & Heeren, B. J., Mar 2016, Utrecht: Utrecht University. 20 p. (Technical Report University Utrecht, Vol. UU-CS-2016-001).

  Research output: Book/Report › Technical report › Professional

  Open Access

• Towards A Virtual Bank For Evaluating Security Aspects With Focus On User Behavior

  Kiljan, S., van Eekelen, M. C. J. D. & Vranken, H. P. E., 2016, Proceedings of 2016 SAI Computing Conference 2016: SAI 2016. IEEE, p. 1068-1075 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Toxic effects of cadmium on flatworm stem cell dynamics: A transcriptomic and ultrastructural elucidation of underlying mechanisms

  Plusquin, M., De Mulder, K., Van Belleghem, F., DeGheselle, O., Pirotte, N., Willems, M., Cuypers, A., Salvenmoser, W., Ladurner, P., Artois, T. & Smeets, K., Oct 2016, In: Environmental Toxicology. 31, 10, p. 1217-1228 12 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  • Stem Cell Dynamics 100%
  • Stem Cells 100%
  • Flatworm 100%
  • Cadmium 100%
  • Toxic Effects 100%
  2 Citations (Web of Science)

• Transforming European Water Governance? Participation and River Basin Management under the EU Water Framework Directive in 13 Member States

  Jager, N. W., Challies, E., Kochskaemper, E., Newig, J., Benson, D., Blackstock, K., Collins, K., Ernst, A., Evers, M., Feichtinger, J., Fritsch, O., Gooch, G., Grund, W., Hedelin, B., Hernandez-Mora, N., Hueesker, F., Huitema, D., Irvine, K., Klinke, A. & Lange, L. & 9 others, Loupsans, D., Lubell, M., Maganda, C., Matczak, P., Pares, M., Saarikoski, H., Slavikova, L., van der Arend, S. & von Korff, Y., Apr 2016, In: Water. 8, 4, 22 p., 156.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  • Water Governance 100%
  • River Basin Management 100%
  • European Waters 100%
  • Water Framework Directive 100%
  • European Union 100%
  110 Citations (Web of Science)

• Type 2 Diabetes Patients Benefit from the COMODITY12 mHealth System: Results of a Randomised Trial

  Kardas, P., Lewandowski, K. & Bromuri, S., Dec 2016, In: Journal of Medical Systems. 40, 259.

  Research output: Contribution to journal › Article › Academic › peer-review

  • Randomized Trial 100%
  • Type 2 Diabetic Patients 100%
  • Patient Benefit 100%
  • MHealth 100%
  • Maturity Onset Diabetes of the Young 100%
  8 Citations (Web of Science)

• Typifying informatics teachers’ PCK of designing digital artefacts in Dutch upper secondary education

  Rahimi, E., Barendsen, E. & Henze, I., 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, Switzerland: Springer International Publishing AG, p. 65-77 13 p. (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

• Uncertainty and variability in human exposure limits: a chemical-specific approach for ciprofloxacin and methotrexate

  Oldenkamp, R., Huijbregts, M. A. J. & Ragas, A. M. J., 2016, In: Critical Reviews in Toxicology. 46, 3, p. 261-278 18 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  2 Citations (Web of Science)

• Understanding disease processes by partitioned dynamic Bayesian networks

  Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Lappenschaar, M. & Janzing, J. G. E., Jun 2016, In: Journal of Biomedical Informatics. 61, p. 283-297 15 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  • Dynamic Bayesian Network 100%
  • Disease Process 100%
  • Case Study 100%
  • Network Model 100%
  • Bayesian 100%
  10 Citations (Web of Science)

• Unit Testing Tool Competition: Round Four

  Rueda, U., Just, R., Galeotti, J. P. & Vos, T. E. J., 2016, 9th International Workshop on Search-Based Software Testing SBST 2016 . Kellenberger , P. (ed.). New York: ACM Digital Library, Vol. 1. p. 19-28 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• User-friendly Manual Transfer of Authenticated Online Banking Transaction Data: A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme

  Kiljan, S. Z., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications : July 26-28, 2016, in Lisbon, Portugal. Callegari, C., van Sinderen, M., Sarigiannidis, P., Samarati, P., Cabello, E., Lorenz, P. & Obaidat, M. S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 4. p. 259-270 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• Using Dependent Types to Define Energy Augmented Semantics of Programs

  van Gastel, B., Kersten, R. & van Eekelen, M., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. van Eekelen, M. & Dal Lago, U. (eds.). Cham: Springer International Publishing AG, p. 20-39 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9964).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Type Systems 100%
  • IT Systems 100%
  • Energy Consumption 100%
  • Hardware Configuration 100%
  • Dependent Types 100%