Previous research Department of Mathematics and Computer Science

Research Output

Filter
Book editing
2016

Macroscopic and large scale phenomena : coarse graining, mean field limits and ergodicity

Muntean, A. (ed.), Rademacher, J. D. M. (ed.) & Zagaris, A. (ed.), 2016, Cham: Springer. 290 p. (Lecture notes in Applied Mathematics and Mechanics; vol. 3)

Research output: Book/ReportBook editingAcademic

2015

Algorithms - ESA 2015 :23rd annual European symposium, Patras, Greece, September 14-16, 2015 : proceedings

Bansal, N. (ed.) & Finocchi, I. (ed.), 2015, Cham: Springer. 1033 p. (Theoretical computer science and general issues; vol. 9294)(Lecture notes in computer science; vol. 9294)

Research output: Book/ReportBook editingAcademic

2013

Proceedings of the 84th European Study Group Mathematics with Industry (SWI 2012), Eindhoven, January 30 - February 3, 2012

Boon, M. A. A. (ed.), Di Bucchianico, A. (ed.), Draisma, J. (ed.), Hofstad, van der, R. W. (ed.), Muntean, A. (ed.), Peletier, M. A. (ed.) & Oosterwijk, J. (ed.), 2013, s.l.: s.n. 151 p. (Mathematics with industry : European Study Group : proceedings (SWI); vol. 84)

Research output: Book/ReportBook editingAcademic

Open Access
File
283 Downloads (Pure)

Scheduling (Report from Dagstuhl Seminar 13111, March 10-15, 2013)

Albers, S. (ed.), Boxma, O. J. (ed.) & Pruhs, K. R. (ed.), 2013, Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; vol. 3(3))

Research output: Book/ReportBook editingAcademic

1 Downloads (Pure)
2012

Mathematical Methods for Signal and Image Analysis and Representation

Florack, L. M. J. (ed.), Duits, R. (ed.), Jongbloed, G. (ed.), Lieshout, van, M. N. M. (ed.) & Davies, P. L. (ed.), 2012, London: Springer. (Computational imaging and vision. CIVI; vol. 41)

Research output: Book/ReportBook editingAcademic

Parameterized and exact computation : 7th international symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings

Thilikos, D. M. (ed.) & Woeginger, G. J. (ed.), 2012, Berlin: Springer. 273 p. (Lecture notes in computer science; vol. 7535)

Research output: Book/ReportBook editingAcademic

Scaling limits in models of statistical mechanics

Alexander, K. (ed.), Biskup, M. (ed.), Hofstad, van der, R. W. (ed.) & Sidoravicius, V. (ed.), 2012, Oberwolfach: Mathematisches Forschungsinstitut Oberwolfach. 90 p. (Oberwolfach Reports; vol. 44/2012)

Research output: Book/ReportBook editingAcademic

2011

European success stories in industrial mathematics

Lery, T. (ed.), Primicerio, M. (ed.), Esteban, M. J. (ed.), Fontes, M. (ed.), Maday, Y. (ed.), Mehrmann, V. (ed.), Quadros, G. (ed.), Schilders, W. H. A. (ed.), Schuppert, A. (ed.) & Tewkesbury, H. (ed.), 2011, Dordrecht: Springer.

Research output: Book/ReportBook editingAcademic

Integer programming and combinatorial optimization : 15th international conference, IPCO 2011, New York NY, USA, June 15-17, 2011 : proceedings

Günlük, O. (ed.) & Woeginger, G. J. (ed.), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6655)(IPCO : integer programming and combinatorial optimization : international conference : proceedings; vol. 15)

Research output: Book/ReportBook editingAcademic

Jan Karel Lenstra : the traveling science man : liber amicorum

Heijden, van der, M. Y. (ed.), Koren, B. (ed.), Mei, van der, R. D. (ed.) & Vonderen, van, C. (ed.), 2011, Amsterdam: Centrum voor Wiskunde en Informatica. 274 p.

Research output: Book/ReportBook editingAcademic

Open Access
File
1203 Downloads (Pure)

Liber amicorum Bob Mattheij

Rook, R. (ed.), 2011, Eindhoven: Technische Universiteit Eindhoven. 54 p.

Research output: Book/ReportBook editingAcademic

Open Access
File
81 Downloads (Pure)

Liber amicorum voor Henk van Tilborg : Klabotscrypt

Asch, van, A. G. (ed.), Klooster, J. G. W. (ed.), Schoenmakers, L. A. M. (ed.) & Weger, de, B. M. M. (ed.), 2011, Eindhoven: Technische Universiteit Eindhoven. 169 p.

Research output: Book/ReportBook editingAcademic

Proceedings 10th International Workshop on the ACL2 theorem prover and its applications (ACL2 2011), Austin TX, USA, November 3-4, 2011

Hardin, D. S. (ed.) & Schmaltz, J. (ed.), 2011, EPTCS. (EPTCS; vol. 70)

Research output: Book/ReportBook editingAcademic

Open Access

Progress in Cryptology - INDOCRYPT 2011 : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011. Proceedings

Bernstein, D. J. (ed.) & Chatterjee, S. (ed.), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 7107)(INDOCRYPT : progress in cryptology : international conference in cryptology : proceedings; vol. 12)

Research output: Book/ReportBook editingAcademic

2010

1st doctoral symposium of the international conference on software language engineering (SLE) : collected research abstracts, October 11, 2010, Eindhoven, The Netherlands

Van Wyk, E. (ed.) & Zschaler, S. (ed.), 2010, Eindhoven: Technische Universiteit Eindhoven. 78 p. (Computer science reports; vol. 1011)

Research output: Book/ReportBook editingAcademic

Open Access
File
227 Downloads (Pure)

Advanced Computational Methods in Science and Engineering

Koren, B. (ed.) & Vuik, C. (ed.), 2010, Berlin: Springer. 498 p. (Lecture notes in computational science and engineering; vol. 71)

Research output: Book/ReportBook editingAcademic

Network control and optimization : third Euro-NF conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 : proceedings

Nunez Queija, R. (ed.) & Resing, J. A. C. (ed.), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 5894)(Network control and optimization ; Euro-NF workshop, NET-COOP; vol. 3)

Research output: Book/ReportBook editingAcademic

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010, Paphos, Cyprus, March 26-28, 2010)

Jacobs, B. P. F. (ed.), Niqui, M. (ed.), Rutten, J. J. M. M. (ed.) & Silva, A. (ed.), 2010, Amsterdam: Elsevier. (Electronic Notes in Theoretical Computer Science; vol. 264(2))

Research output: Book/ReportBook editingAcademic

2009

Post-quantum cryptography

Bernstein, D. J. (ed.), Buchmann, J. (ed.) & Dahmen, E. (ed.), 2009, Berlin: Springer. 245 p. (PQCrypto : international workshop on post-quantum cryptography; vol. 1)

Research output: Book/ReportBook editingAcademic

2008

Mini-Workshop Mathematics of Biological Membranes (Oberwolfach, Germany, August 31-September 6, 2008)

Garcke, H. (ed.), Niethammer, B. (ed.), Peletier, M. A. (ed.) & Röger, M. (ed.), 2008, Oberwolfach: EMS. (Oberwolfach Reports; vol. 3, no. 3)

Research output: Book/ReportBook editingAcademic

Proceedings of the 2008 Workshop on Middleware security, Leuven, Belgium, December 2, 2008

Scandariato, R. (ed.) & Russello, G. (ed.), 2008, New York NY: Association for Computing Machinery, Inc.

Research output: Book/ReportBook editingAcademic

Proceedings of VVSS2008, 24th of April 2008 Eindhoven

Koopman, P. (ed.), 2008, Eindhoven: Technische Universiteit Eindhoven. 262 p.

Research output: Book/ReportBook editingAcademic

Open Access
File
3 Downloads (Pure)

Secure data management : 5th VLDB workshop, SDM 2008, Auckland, New Zealand, August 24, 2008 : proceedings

Jonker, W. (ed.) & Petkovic, M. (ed.), 2008, Berlin: Springer. (Lecture notes in computer science; vol. 5159)(SDM : secure data management : VLDB workshop; vol. 5)

Research output: Book/ReportBook editingAcademic

2007

Liber amicorum Jan de Graaf

Meer, van der, J. C. (ed.), 2007, Eindhoven: Technische Universiteit Eindhoven. 138 p.

Research output: Book/ReportBook editingAcademic

Open Access
File
456 Downloads (Pure)

Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

Bosnacki, D. (ed.) & Edelkamp, S. (ed.), 2007, Berlin: Springer. 300 p. (Lecture notes in computer science; vol. 4595)(Model checking software : international SPIN workshop; vol. 14)

Research output: Book/ReportBook editingAcademic

Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands

Groot, P. (ed.), Serebrenik, A. (ed.) & van Eekelen, M. (ed.), 2007, Eindhoven: Technische Universiteit Eindhoven. 304 p. (Computer science reports; vol. 0704)

Research output: Book/ReportBook editingAcademic

Open Access
File
943 Downloads (Pure)

Secure data management : 4th VLDB workshop, SDM 2007, Vienna, Austria, September 23-24, 2007 : proceedings

Jonker, W. (ed.) & Petkovic, M. (ed.), 2007, Berlin: Springer. (Lecture notes in computer science; vol. 4721)(SDM : secure data management : VLDB workshop; vol. 4)

Research output: Book/ReportBook editingAcademic

Security, privacy, and trust in modern data management

Petkovic, M. (ed.) & Jonker, W. (ed.), 2007, Berlin: Springer. (Data-centric systems and applications)

Research output: Book/ReportBook editingAcademic

Security with noisy data : on private biometrics, secure key storage and anti-counterfeiting

Tuyls, P. T. (ed.), Skoric, B. (ed.) & Kevenaar, T. A. M. (ed.), 2007, New York: Springer. 339 p.

Research output: Book/ReportBook editingAcademic

73 Citations (Scopus)

Trust management : proceedings of IFIPTM 2007: joint iTrust and PST conferences on privacy, trust management and security, July 30 - August 2, 2007, New Brunswick, Canada

Etalle, S. (ed.) & Marsh, S. (ed.), 2007, Berlin: Springer. 414 p. (IFIP International Federation for Information Processing; vol. 238)

Research output: Book/ReportBook editingAcademic

2006

Exact algorithms and fixed-parameter tractability (Proceedings Dagstuhl Seminar, July 24-29, 2005)

Downey, R. G. (ed.), Grohe, M. (ed.) & Woeginger, G. J. (ed.), 2006, Schloss Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).

Research output: Book/ReportBook editingProfessional

Logic programming : 22nd International Conference, ICLP 2006, Seattle WA, USA, August 17-20, 2006 : proceedings

Etalle, S. (ed.) & Truszczynski, M. (ed.), 2006, Berlin: Springer. (Lecture notes in computer science; vol. 4079)(ICLP : international conference on logic programming : proceedings; vol. 22)

Research output: Book/ReportBook editingProfessional

Mathematics in industry : scientific proceedings of the 55th European Study Group with Industry, January 30 to February 3, 2006, in Eindhoven

Fledderus, E. (ed.), Hofstad, van der, R. W. (ed.), Jochemsz, E. (ed.), Molenaar, J. (ed.), Mussche, T. (ed.), Peletier, M. A. (ed.) & Prokert, G. (ed.), 2006, Eindhoven: Technische Universiteit Eindhoven. 140 p. (Mathematics with industry : European Study Group : proceedings (SWI); vol. 55)

Research output: Book/ReportBook editingAcademic

Open Access
File
42 Downloads (Pure)

Progress in industrial mathematics at ECMI 2004

Di Bucchianico, A. (ed.), Mattheij, R. M. M. (ed.) & Peletier, M. A. (ed.), 2006, Berlin: Springer. 679 p. (Mathematics in industry; vol. 8)(European conference on mathematics in industry (ECMI) : conference; vol. 13)

Research output: Book/ReportBook editingAcademic

Secure data management : third VLDB workshop, SDM 2006, Seoul, Korea, September 10-11, 2006 : proceedings

Jonker, W. (ed.) & Petkovic, M. (ed.), 2006, Berlin: Springer. (Lecture notes in computer science; vol. 4165)(SDM : secure data management : VLDB workshop; vol. 3)

Research output: Book/ReportBook editingAcademic

Soil mechanics and transport in porous media : selected works of G. de Josselin de Jong

Schotting, R. J. (ed.), Duijn, van, C. J. (ed.) & Verruijt, A. (ed.), 2006, Dordrecht: Springer. 364 p. (Theory and applications of transport in porous media. TATP; vol. 19)

Research output: Book/ReportBook editingAcademic

Spatial Random Processes and Statistical Mechanics (Abstracts from the workshop, September 3-6, 2006)

Alexander, K. (ed.), Biskup, M. (ed.), Hofstad, van der, R. W. (ed.) & Sidoravicius, V. (ed.), 2006, Zürich: EMS Publishing House. 2447 p.

Research output: Book/ReportBook editingAcademic

Workshop proceedings of the 1st workshop on quality in modeling

Kuzniarz, L. (ed.), Sourrouille, J. L. (ed.), Straeten, Van Der, R. (ed.), Staron, M. (ed.), Chaudron, M. R. V. (ed.), Förster, A. (ed.) & Reggio, G. (ed.), 2006, Eindhoven: Technische Universiteit Eindhoven. 107 p. (Computer science reports; vol. 0627)

Research output: Book/ReportBook editingAcademic

Open Access
File
67 Downloads (Pure)
2005

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

Etalle, S. (ed.), 2005, Berlin: Springer. (Lecture notes in computer science; vol. 3573)(LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers; vol. 14)

Research output: Book/ReportBook editingProfessional

Perspectives of model-based testing

Brinksma, E. (ed.), Grieskamp, W. (ed.) & Tretmans, J. (ed.), 2005, Schloss Dagstuhl: IBFI. (Dagstuhl seminar proceedings; no. 04371)

Research output: Book/ReportBook editingProfessional

Proceedings of the 15th Workshop on Logic-based methods in programming environments, WLPE'05, Sitges (Barcelona), Spain, October 5, 2005

Serebrenik, A. (ed.) & Muñoz-Hernández, S. (ed.), 2005, s.l.: s.n. 109 p.

Research output: Book/ReportBook editingAcademic

Proceedings of the 2005 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, Banff, AB, Canada - June 06 - 10, 2005

Eager, D. L. (ed.), Williamson, C. L. (ed.), Borst, S. C. (ed.) & Lui, J. C. S. (ed.), 2005, New York: Association for Computing Machinery, Inc. (Measurement and modeling of computer systems : proceedings of the ... ACM SIGMETRICS conference; vol. 2005)

Research output: Book/ReportBook editingProfessional

Proceedings of VVSS2005 - verification and validation of software systems : 24th November 2005, Eindhoven, The Netherlands

Punter, H. T. (ed.) & van Eekelen, M. (ed.), 2005, Eindhoven: Technische Universiteit Eindhoven. 249 p. (Computer science reports; vol. 0530)

Research output: Book/ReportBook editingAcademic

Open Access
File
354 Downloads (Pure)

Secure data management : second VLDB workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005 : proceedings

Jonker, W. (ed.) & Petkovic, M. (ed.), 2005, Berlin: Springer. (Lecture notes in computer science; vol. 3674)(SDM : secure data management : VLDB workshop; vol. 2)

Research output: Book/ReportBook editingAcademic

2004

MODA 7 - advances in model-oriented design and analysis : proceedings of the 7th international workshop on Model-oriented design and analysis, held in Heeze, The Netherlands, June 14-18, 2004

Di Bucchianico, A. (ed.), Läuter, H. (ed.) & Wynn, H. P. (ed.), 2004, Heidelberg: Physica-Verlag. 240 p. (MODA : model-oriented data analysis : international workshop; vol. 7)(Contributions to statistics)

Research output: Book/ReportBook editingAcademic

Novel methods in soft matter simulations

Karttunen, M. E. J. (ed.), Vattulainen, I. (ed.) & Lukkarinen, A. (ed.), 2004, Berlin: Springer. 393 p. (Lecture Notes in Physics; vol. 640)

Research output: Book/ReportBook editingAcademic

Secure data management : VLDB 2004 workshop, SDM 2004, Toronto, Canada, August 30, 2004 : proceedings

Jonker, W. (ed.) & Petkovic, M. (ed.), 2004, Berlin: Springer. 218 p. (Lecture notes in computer science; vol. 3178)(SDM : secure data management : VLDB workshop; vol. 1)

Research output: Book/ReportBook editingAcademic

2003

Automata, languages and programming: 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 : proceedings

Baeten, J. C. M. (ed.), Lenstra, J. K. (ed.), Parrow, J. (ed.) & Woeginger, G. J. (ed.), 2003, Berlin: Springer. 1199 p. (Lecture notes in computer science; vol. 2719)(ICALP : international colloquium on automata, languages and programming : proceedings; vol. 30)

Research output: Book/ReportBook editingAcademic

Computer analysis of images and patterns : 10th international conference CAIP 2003, Groningen, The Netherlands, August 25-27, 2003 : proceedings

Petkov, N. (ed.) & Westenberg, M. A. (ed.), 2003, Berlin: Springer. 781 p. (Lecture notes in computer science; vol. 2756)(CAIP : computer analysis of images and patterns : international conference : proceedings; vol. 10)

Research output: Book/ReportBook editingAcademic