Previous research Department of Mathematics and Computer Science

Filter
Conference contribution

Search results

  • 2021

    Online Bin Packing with Overload Cost

    Luo, K. & Spieksma, F. C. R., 2021, Algorithms and Discrete Applied Mathematics - 7th International Conference, CALDAM 2021, Proceedings. Mudgal, A. & Subramanian, C. R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-15 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12601 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2020

    Generation of false data injection attacks using conditional generative adversarial networks

    Mohammadpourfard, M., Ghanaatpishe, F., Mohammadi, M., Lakshminarayana, S. & Pechenizkiy, M., 26 Oct 2020, Proceedings of 2020 IEEE PES Innovative Smart Grid Technologies Europe, ISGT-Europe 2020. IEEE Computer Society, p. 41-45 5 p. 9248967

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Post-processing of fluxes for finite volume methods for elliptic problems

    Cheng, H. M., 2020, Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples, FVCA 2020. Klöfkorn, R., Keilegavlen, E., Radu, F. A. & Fuhrmann, J. (eds.). Springer, p. 133-141 9 p. (Springer Proceedings in Mathematics and Statistics; vol. 323).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2019

    Dancing manhole cover: A nonlinear spring-mass system

    Tijsseling, A. S., Vasconcelos, J. G., Hou, Q. & Bozkuş, Z., 2019, Fluid-Structure Interaction. American Society of Mechanical Engineers, A032. (American Society of Mechanical Engineers, Pressure Vessels and Piping Division (Publication) PVP; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Tool support for correctness-by-construction

    Runge, T., Schaefer, I., Cleophas, L., Thüm, T., Kourie, D. & Watson, B. W., 1 Jan 2019, Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 25-42 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    5 Citations (Scopus)
    40 Downloads (Pure)
  • 2018

    Finding the optimal number of features based on mutual information

    Chen, P., Wilbik, A., van Loon, S., Boer, A-K. & Kaymak, U., 2018, Advances in Fuzzy Logic and Technology 2017 - Proceedings of: EUSFLAT-2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, IWIFSGN’2017 – The 16th International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets. Springer, Vol. 641. p. 477-486 10 p. (Advances in Intelligent Systems and Computing; vol. 641).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
    1 Downloads (Pure)
  • 2016

    Analysis of cascading failures

    Sloothaak, F. & Zwart, B., 2016, INFORMS Annual Meeting 2015 (Philadelphia PA, USA, November 1-4, 2015). Catonsville: INFORMS Institute for Operations Research and the Management Sciences

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Capacity allocation in a transient queue

    Mathijsen, B. W. J. & Zwart, B., 2016, INFORMS Annual Meeting 2015 (Philadelphia PA, USA, November 1-4, 2015). Catonsville: INFORMS Institute for Operations Research and the Management Sciences

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2015

    A modeling approach to support safety assurance in the automotive domain

    Luo, Y., van den Brand, M. G. J., Engelen, L. J. P. & Klabbers, M. D., 2015, Progress in Systems Engineering (Twenty-Third International Conference on Systems Engineering, ICSEng'14, Las Vegas NV, USA, August 19-21, 2014). Selvaraj, H., Zydek, D. & Chmaj, G. (eds.). Cham: Springer, p. 339-345 (Advances in Intelligent Systems and Computing; vol. 1089).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    3 Downloads (Pure)
  • Analysis of fibre-loop optical buffers with a void-avoiding schedule

    Rogiest, W., Dorsman, J. L. & Fiems, D., 2015, Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (Valuetools 2014, Bratislava, Slovakia, December 9-11, 2014). Haviv, M., Knottenbelt, W., Maggi, L. & Miorandi, D. (eds.). Brussels: ICST, p. 122-128

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • An analytic evaluation of the Trickle algorithm : towards efficient, fair, fast and reliable data dissemination

    Meyfroyt, T. M. M., 2015, 2015 IEEE 16th International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM, Boston MA, USA, June 14-17, 2015). Bononi, L., Noubir, G. & Manfredi, V. (eds.). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 1-2

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    4 Downloads (Pure)
  • Business-IT alignment in PSS value networks linking customer knowledge management to social customer relationship management

    Bagheri, S., Kusters, R. J. & Trienekens, J. J. M., 2015, ICEIS 2015,17th International Conference on Enterprise Information Systems 2015, 27-30 April 20215, Barcelona, Spain. Hammoudi, S., Cordeiro, J. & Maciaszek, L. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 249-257

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    10 Citations (Scopus)
    293 Downloads (Pure)
  • Chains of antiprisms

    Verhoeff, T. & Stoel, M., 2015, Bridges Baltimore 2015 : Mathematics, Music, Art, Architecture, Culture, Baltimore, MD, USA, July 29 - August 1, 2015. The Bridges Organization, p. 347-350 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3746 Downloads (Pure)
  • Minimizing flow-time on unrelated machines

    Bansal, N. & Kulkarni, J., 2015, STOC 2015 : 47th Annual ACM Symposium on the Theory of Computing, Portland OR, USA, June 14-17, 2015. Servedio, R. A. & Rubinfeld, R. (eds.). New York NY: Association for Computing Machinery, Inc, p. 851-860

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
  • Multiprocessor jobs, preemptive schedules, and one-competitive online algorithms

    Sgall, J. & Woeginger, G., 2015, Approximation and Online Algorithms (12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers). Bampis, E. & Svensson, O. (eds.). Dordrecht: Springer, p. 236-247 (Lecture Notes in Computer Science; vol. 8952).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • On the Lovász theta function for independent sets in sparse graphs

    Bansal, N., Gupta, A. & Guruganesh, G., 2015, 47th Annual ACM Symposium on the Theory of Computing (STOC'15, Portland OR, USA, June 14-17, 2015). Servedio, R. A. & Rubinfeld, R. (eds.). New York NY: Association for Computing Machinery, Inc, p. 193-200

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
  • Subexponential time algorithms for finding small tree and path decompositions

    Bodlaender, H. L. & Nederlof, J., 2015, Algorithms - ESA 2015 (23rd Annual European Symposium, Patras, Greece, September 14-16, 2015). Bansal, N. & Finocchi, I. (eds.). Berlin: Springer, p. 179-190 (Lecture Notes in Computer Science; vol. 9294).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
  • Three families of mitered Borromean ring sculptures

    Verhoeff, T. & Verhoeff, K., 2015, Bridges Beltimore 2015 : Mathematics, Music, Art, Architecture, Culture, 29 July–1 August 2015, Baltimore, MD, USA. Delp, K., Kaplan, C. S., McKenna, D. & Sarhangi, R. (eds.). The Bridges Organization, p. 53-60 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    180 Downloads (Pure)
  • 2014

    A cooperative sequential adsorption model for wireless gossiping

    Meyfroyt, T. M. M., 2014, 32nd International Symposium on Computer Performance, Modeling, Measurement, and Evaluation (IFIP WG 7.3 Performance 2014, Torino, Italy, October 7-9, 2014). p. 40-42 (ACM SIGMETRICS Performance Evaluation Review; vol. 42).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    1 Downloads (Pure)
  • Another look at the shoelace TSP : the case of very old shoes

    Deineko, V. G. & Woeginger, G. J., 2014, Fun with Algorithms (7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings). Ferro, A., Luccio, F. & Widmayer, P. (eds.). Berlin: Springer, p. 125-136 (Lecture Notes in Computer Science; vol. 8496).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    1 Downloads (Pure)
  • Approximating vector scheduling: almost matching upper and lower bounds

    Bansal, N., Vredeveld, T. & Zwaan, van der, G. R. J., 2014, LATIN 2014: Theoretical Informatics (11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014. Proceedings). Pardo, A. & Viola, A. (eds.). Berlin: Springer, p. 47-59 (Lecture Notes in Computer Science; vol. 8392).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • A test generator for model-based testing

    Roubtsova, E. E. & Roubtsov, S., 2014, 4th International Symposium on Business Modeling and Software Design (BMSD 2014) , 24-26 June, 2014 Luxembourg, Grand Duchy of Luxembourg,. Shishkov, B. (ed.). SCITEPRESS-Science and Technology Publications, Lda., p. 103-112

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    106 Downloads (Pure)
  • Big data in daily manufacturing operations

    Wilschut, T., Adan, I. J. B. F. & Stokkermans, J., 2014, 2014 Winter Simulation Conference (WSC'14,Savannah GA, USA, December 7-10, 2014). Institute of Electrical and Electronics Engineers, p. 2364-2375

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
    11 Downloads (Pure)
  • Corrected phase-type approximations of heavy-tailed queueing models in a Markovian environment

    Vatamidou, E., Adan, I. J. B. F., Vlasiou, M. & Zwart, A. P., 2014, Proceedings of the 8th International Conference on Matrix-Analytic Methods in Stochastic Models (MAM8), Kerala, India, January 6-10, 2014. s.l.: s.n., p. 113-141

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Decision modules in models and implementations

    Roubtsova, E. E. & Roubtsov, S., 2014, Proceedings of Benevol 2014, Seminar on Software Evolution in Belgium and the Netherlands, : Amsterdam, The Netherlands, November 27-28, 2014. Bruntink, M. & Storm, T. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 36-37

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    91 Downloads (Pure)
  • Flowgen: Flowchart-based documentation framework for C++

    Kosower, D. A., Lopez-Villarejo, J. J. & Roubtsov, S., 2014, Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014), Victoria BC, Canada, September 28-29, 2014). Institute of Electrical and Electronics Engineers, p. 59-64

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Implementation of decision modules

    Roubtsov, S. & Roubtsova, E. E., 2014, 6th Workshop on Behaviour Modelling - Foundations and Applications (BM-FA'14, York, UK, July 22, 2014). New York NY: Association for Computing Machinery, Inc, p. 7/1-10

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Improved approximation algorithm for two-dimensional bin packing

    Bansal, N. & Khan, A., 2014, Proceedings 25th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'14, Portland OR, USA, January 5-7, 2014). Chekuri, C. (ed.). Philadelphia PA: Society for Industrial and Applied Mathematics (SIAM), p. 13-25

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    33 Citations (Scopus)
  • Modelling a water purification process for quality monitoring

    Meulen, van der, F. H., Luca, S., Overal, G., Dubbeldam, J. L. A., Di Bucchianico, A. & Jongbloed, G., 2014, Proceedings of the Study Group Mathematics with Industry (Delft, The Netherlands, January 27-31, 2014). Dubbeldam, J., Groenevelt, W., Heemink, A. W., Lahaye, D., Meerman, C. & Meulen, van der, F. (eds.). Delft: Technische Universiteit Delft, p. 36-52

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    50 Downloads (Pure)
  • New developments in iterated rounding

    Bansal, N., 2014, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014, New Dehli, India, December 15-17, 2014). Raman, V. & Suresh, S. P. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-10 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 29).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    32 Downloads (Pure)
  • Nonlinear cochlear dynamics

    Bosmans, M., Gaaf, S. W., Groothede, C., Gupta, R., Regis, M., Tsardakas, M., Vromans, A. J. & Vuik, C., 2014, Proceedings of the Study Group Mathematics with Industry (Delft, The Netherlands, January 27-31, 2014). Dubbeldam, J., Groenevelt, W., Heemink, A. W., Lahaye, D., Meerman, C. & Meulen, van der, F. (eds.). Delft: Technische Universiteit Delft, p. 94-110

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    58 Downloads (Pure)
  • On the adaptivity gap of stochastic orienteering

    Bansal, N. & Nagarajan, V., 2014, Integer Programming and Combinatorial Optimization (17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings). Lee, J. & Vygen, J. (eds.). Berlin: Springer, p. 114-125 (Lecture Notes in Computer Science; vol. 8494).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
  • On the random structure of behavioural transition systems

    Groote, J. F., van der Hofstad, R. W. & Raffelsieper, M., 2014, 14th International Workshop on Automated Verification of Critical Systems (AVOCS14, Enschede, The Netherlands, September 24-26, 2014. Pre-proceedings). Huisman, M. & Pol, van de, J. C. (eds.). CTIT, p. 141-156 (CTIT Workshop Proceedings Series; vol. WP 14-01).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    82 Downloads (Pure)
  • Optimal rate allocation for adaptive wireless video streaming in networks with user dynamics

    Joseph, V., Borst, S. C. & Reiman, M. I., 2014, IEEE Infocom 2014 (Toronto ON, Canada, April 27-May 2, 2014). Institute of Electrical and Electronics Engineers, p. 406-414

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    14 Citations (Scopus)
  • Performance analysis of exponential multi-server production lines with fluid flow and finite buffers

    Bierbooms, R., Fleuren, S. T. G. & Adan, I. J. B. F., 2014, Eighth International Conference on Matrix-Analytic Methods in Stochastic Models (MAM8, Kerala, India, January 6-10, 2014). s.l.: s.n., p. 43-53

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • Personalized PageRank with node-dependent restart

    Avrachenkov, K. E., Hofstad, van der, R. W. & Sokol, M., 2014, Algorithms and Models for the Web Graph (11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014. Proceedings). Bonato, A., Graham, F. C. & Pralat, P. (eds.). Berlin: Springer, p. 23-33 (Lecture Notes in Computer Science; vol. 8882).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
  • Physics-based film blowing modeling to enhance empirical film property predictions from polymer and processing parameters

    Leonova, T. I., Eijndhoven, van, S. J. L. & Doelder, den, C. F. J., 2014, ANTEC 2014 (Proceedings of the Technical Conference & Exhibition, Las Vegas, Nevada, USA, April 28-30, 2014). Society of Plastics Engineers, p. 950-954

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Downloads (Pure)
  • Polynomial chaos for wave propagation in a one dimensional inhomogeneous slab

    Barzegar, E., Beurden, van, M. C., Eijndhoven, van, S. J. L. & Tijhuis, A. G., 2014, 8th International Conference on Antennas and Propagation (EuCAP'14, The Hague, The Netherlands, April 6-10, 2014). IEEE, X. (ed.). p. 1720-1723

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    3 Downloads (Pure)
  • Random access in wireless networks : how much aggressiveness can cause instability?

    Ghaderi, J., Borst, S. C. & Whiting, P. A., 2014, Workshop on Mathematical Performance Modeling an Analysis (MAMA 2013, Pittsburg PA, USA, June 21, 2013, in conjunction with ACM SIGMETRICS 2013). New York NY: Association for Computing Machinery, Inc, p. 19-21 (ACM SIGMETRICS Performance Evaluation Review; vol. 41(3)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    90 Downloads (Pure)
  • Testing conformance of EJB 3 enterprise application servers

    Putter, de, S. M. J., Roubtsov, S. & Serebrenik, A., 2014, 16th International Conference on Enterprise Information Systems (ICEIS 2014, Lisbon, Portugal, April 27-30, 2014). SCITEPRESS-Science and Technology Publications, Lda., p. 272-279

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Downloads (Pure)
  • Vacation and polling models with retrials

    Boxma, O. J. & Resing, J. A. C., 2014, Computer Performance Engineering (11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings). Horváth, A. & Wolter, K. (eds.). Berlin: Springer, p. 45-58 (Lecture Notes in Computer Science; vol. 8721).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    1 Downloads (Pure)
  • 2013

    A case for societal digital security culture

    Ben Othmane, L., Weffers, H. T. G., Ranchal, R., Angin, P., Bhargava, B. & Mohamad, M. M., 2013, Security and privacy protection in information processing systems : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Janczewski, L. J., Wolfe, H. B. & Shenoi, S. (eds.). Berlin: Springer, p. 391-404 (IFIP Advances in Information and Communication Technology; vol. 405).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
    2 Downloads (Pure)
  • A case study in the future challenges in electricity grid infrastructure

    Akker, van den, J. M., Blok, H., Budd, C. J., Eggermont, R. H., Guterman, A., Lahaye, D. J. P., Lansink Rotgerink, J., Myerscough, K. W., Prins, C. R., Tromper, T. & Wadman, W., 2013, Proceedings of the 84th European Study Group Mathematics with Industry (SWI 2012). Boon, M. A. A. (ed.). p. 5-21

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    63 Downloads (Pure)
  • A complexity and approximability study of the bilevel knapsack problem

    Caprara, A., Carvalho, M., Lodi, A. & Woeginger, G. J., 2013, Integer Programming and Combinatorial Optimization (16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings). Goemans, M. & Correa, J. (eds.). Berlin: Springer, p. 98-109 (Lecture Notes in Computer Science; vol. 7801).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    16 Citations (Scopus)
  • Aggregate model based performance analysis of an emergency department

    Adan, I. J. B. F., Lefeber, A. A. J., Timmermans, J. J. D., Waarsenburg, van de, A. & Wolleswinkel-Schriek, M., 2013, The 25th European Modeling and Simulation Symposium : Simulation in Industry (EMSS 2013), 25-27 September 2013, Athens, Greece. Bruzzone, J. & Longo, M. (eds.). Genova: DIME, Università degli studi di Genova, p. 290-296

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Downloads (Pure)
  • An interactive, web-based tool for genealogical entity resolution

    Efremova, I., Ranjbar-Sahraei, B., Oliehoek, F. A., Calders, T. G. K. & Tuyls, K. P., 2013, The 25th Benelux Conference on Artificial Intelligence (BNAIC 2013), 7-8 November 2013, Delft, the Netherlands.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
    1 Downloads (Pure)
  • An overview of the mCRL2 toolset and its recent advances

    Cranen, S., Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Vink, de, E. P., Wesselink, J. W. & Willemse, T. A. C., 2013, Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Piterman, N. & Smolka, S. A. (eds.). Berlin: Springer, p. 199-213 (Lecture Notes in Computer Science; vol. 7795).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    92 Citations (Scopus)
    1 Downloads (Pure)
  • Building an elastic cloud out of small datacenters

    Widjaja, I., Borst, S. C. & Saniee, I., 2013, 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRid 2013, Delft, The Netherlands, May 14-16, 2014). Balaji, P., Epema, D. & Fahringer, T. (eds.). Institute of Electrical and Electronics Engineers, p. 10-17

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • Control of supply networks by robust optimal control and using observers

    Zwieten, van, D. A. J., Lefeber, A. A. J., Adan, I. J. B. F. & Rooda, J. E., 2013, 7th IFAC Conference on Manufacturing Modelling, Management, and Control (MIM 2013, Saint Petersburg, Russian Federation, June 19-21, 2013). Bakhtadze, N., Chernyshov, K., Dolgui, A. & Lototsky, V. (eds.). Laxenburg: IFAC, p. 1584-1589

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Core stability in hedonic coalition formation

    Woeginger, G. J., 2013, SOFSEM 2013: Theory and Practice of Computer Science (39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings). Emde Boas, van, P., Groen, F. C. A., Italiano, G. F., Nawrocki, J. & Sack, H. (eds.). Berlin: Springer, p. 33-50 (Lecture Notes in Computer Science; vol. 7741).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    31 Citations (Scopus)