Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Filter
Boekredactie
2016

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2015

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2013

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
282 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Downloads (Pure)
2012

Mathematical Methods for Signal and Image Analysis and Representation

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Scaling limits in models of statistical mechanics

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2011

European success stories in industrial mathematics

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Jan Karel Lenstra : the traveling science man : liber amicorum

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
1132 Downloads (Pure)

Liber amicorum Bob Mattheij

Rook, R. (redactie), 2011, Eindhoven: Technische Universiteit Eindhoven. 54 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
76 Downloads (Pure)

Liber amicorum voor Henk van Tilborg : Klabotscrypt

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie) & Zschaler, S. (redactie), 2010, Eindhoven: Technische Universiteit Eindhoven. 78 blz. (Computer science reports; vol. 1011)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
192 Downloads (Pure)

Advanced Computational Methods in Science and Engineering

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2009

Post-quantum cryptography

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2008

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of VVSS2008, 24th of April 2008 Eindhoven

Koopman, P. (redactie), 2008, Eindhoven: Technische Universiteit Eindhoven. 262 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
3 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2007

Liber amicorum Jan de Graaf

Meer, van der, J. C. (redactie), 2007, Eindhoven: Technische Universiteit Eindhoven. 138 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
409 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the eighteenth annual ACM-SIAM Symposium on discrete algorithms, SODA'07, New Orleans LA, USA, January 7-9, 2007

Bansal, N. (redactie), Pruhs, K. R. (redactie) & Stein, C. (redactie), 2007, New York: Association for Computing Machinery, Inc.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
906 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Security, privacy, and trust in modern data management

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

73 Citaten (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. (redactie) & Marsh, S. (redactie), 2007, Berlin: Springer. 414 blz. (IFIP International Federation for Information Processing; vol. 238)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2006

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

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
38 Downloads (Pure)

Progress in industrial mathematics at ECMI 2004

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Workshop proceedings of the 1st workshop on quality in modeling

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
61 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. (redactie), 2005, Berlin: Springer. (Lecture notes in computer science; vol. 3573)(LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers; vol. 14)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Perspectives of model-based testing

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie), Williamson, C. L. (redactie), Borst, S. C. (redactie) & Lui, J. C. S. (redactie), 2005, New York: Association for Computing Machinery, Inc. (Measurement and modeling of computer systems : proceedings of the ... ACM SIGMETRICS conference; vol. 2005)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
347 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie), Läuter, H. (redactie) & Wynn, H. P. (redactie), 2004, Heidelberg: Physica-Verlag. 240 blz. (MODA : model-oriented data analysis : international workshop; vol. 7)(Contributions to statistics)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Novel methods in soft matter simulations

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2003

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic