Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Boekredactie

Problems in applied, industrial and engineering mathematics

Kuiken, H. K. (redactie) & Rienstra, S. W. (redactie), 1992, Dordrecht: Kluwer Academic Publishers. 265 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

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 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 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
284 Downloads (Pure)

Proceedings of the ACID-WG/EXACT Workshop on Asynchronous Data Processing (1993)

Josephs, M. B. (redactie) & Mak, R. H. (redactie), 1993, Eindhoven: Technische Universiteit Eindhoven. 266 blz.

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 the first international conference on industrial and applied mathematics (ICIAM 87) : contributions from the Netherlands

Burgh, van der, A. H. P. (redactie) & Mattheij, R. M. M. (redactie), 1987, Amsterdam: Centrum voor Wiskunde en Informatica. 433 blz. (CWI tracts; vol. 36)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the real-time database workshop, Eindhoven, 23 February 1995

Stok, van der, P. D. V. (redactie) & Wal, van der, J. (redactie), 1995, Eindhoven: Technische Universiteit Eindhoven. 106 blz. (Computing science reports; vol. 9527)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
89 Downloads (Pure)

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

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
364 Downloads (Pure)

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
971 Downloads (Pure)

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)

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

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

Protocol, specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 ninth international symposium of protocol specification, testing, and verification, Enschede, the Netherlands, 6-9 June, 1989

Brinksma, E. (redactie), Scollo, G. (redactie) & Vissers, C. A. (redactie), 1990, Amsterdam: North-Holland Publishing Company. 401 blz. (Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... international workshop; vol. 9)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems organized by PTT Research Leidschendam, The Netherlands, 15-17 October, 1991

Kroon, J. (redactie), Heijink, R. J. (redactie) & Brinksma, E. (redactie), 1992, Amsterdam: North-Holland Publishing Company. 310 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

Bakker, de, J. W. (redactie), Huizing, C. (redactie), Roever, de, W. P. (redactie) & Rozenberg, G. (redactie), 1992, Berlin: Springer. 723 blz. (Lecture notes in computer science; vol. 600)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

7 Citaten (Scopus)

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

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)

Scheduling theory and its applications

Chrétienne, P. (redactie), Coffman, E. G. (redactie), Lenstra, J. K. (redactie) & Liu, Z. (redactie), 1995, Chichester: Wiley. 365 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

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

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

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

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

74 Citaten (Scopus)

Selected papers on Automath

Nederpelt, R. P. (redactie), Geuvers, J. H. (redactie), Vrijer, de, R. C. (redactie), Benthem Jutting, van, L. S. (redactie) & van Daalen, D. T. (redactie), 1994, Amsterdam: Elsevier. 1024 blz. (Studies in logic and the foundations of mathematics; vol. 133)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Selected publications of Eugene L. Lawler

Aardal, K. I. (redactie), Lenstra, J. K. (redactie), Maffioli, F. (redactie) & Shmoys, D. B. (redactie), 1999, Amsterdam: Centrum voor Wiskunde en Informatica. 318 blz. (CWI tracts; vol. 126)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Selected scientific papers Balthasar van der Pol

Bremmer, H. (redactie), Bouwkamp, C. J. (redactie) & Pol, van der, B. (redactie), 1960, Amsterdam: North-Holland Publishing Company. 2 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Semantics of specification languages (SoSL) : proceedings of the international workshop, Utrecht, The Netherlands, 25-27 October 1993

Andrews, D. J. (redactie), Groote, J. F. (redactie) & Middelburg, C. A. (redactie), 1994, Berlin: Springer. 355 blz. (Workshops in computing)

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

Teletraffic analysis and computer performance evaluation : proceedings of the international seminar held at the Centre for Mathematics and Computer Science (CWI), June 2-6, 1986, Amsterdam, The Netherlands

Boxma, O. J. (redactie), Cohen, J. W. (redactie) & Tijms, H. C. (redactie), 1986, Amsterdam: North-Holland Publishing Company. 529 blz. (North-Holland studies in telecommunication; vol. 7)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

The language/action perspective : 2nd international workshop on communication modeling (LAP'97), Veldhoven, The Netherlands, 9-10 June, 1997

Dignum, F. P. M. (redactie) & Dietz, J. L. G. (redactie), 1997, Eindhoven: Eindhoven University of Technology. 147 blz. (Computing science reports; vol. 9709)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
274 Downloads (Pure)

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Brinksma, E. (redactie), Cleaveland, W. R. (redactie), Larsen, K. G. (redactie), Margaria, T. (redactie) & Steffen, B. (redactie), 1995, Berlin: Springer. 289 blz. (Lecture notes in computer science; vol. 1019)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Brinksma, E. (redactie), 1997, Berlin: Springer. (Lecture notes in computer science; vol. 1217)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

Twenty-five years of operations research in the Netherlands : papers dedicated to Gijs de Leve

Lenstra, J. K. (redactie), Tijms, H. C. (redactie) & Volgenant, A. (redactie), 1989, Amsterdam: Centrum voor Wiskunde en Informatica. 181 blz. (CWI tracts; vol. 70)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers

Geuvers, J. H. (redactie) & Wiedijk, F. (redactie), 2003, Berlin: Springer. 330 blz. (Lecture notes in computer science; vol. 2646)(TYPES : types for proofs and programs : international conference; vol. 2002)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

User interfaces for theorem provers : informal proceedings of the workshop, Eindhoven University of Technology, 13-15 July 1998

Backhouse, R. C. (redactie), 1998, Eindhoven: Technische Universiteit Eindhoven. 180 blz. (Computing science reports; vol. 9808)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
394 Downloads (Pure)

User-oriented methodology and techniques of decision analysis and support : proceedings of the international IIASA workshop held in Serock, Poland, September 9-13, 1991

Wessels, J. (redactie) & Wierzbicki, A. P. (redactie), 1993, Berlin: Springer. 295 blz. (Lecture notes in economics and mathematical systems; vol. 397)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

WebNet 99 : proceedings of WebNet 99 - World Conference on the WWW and Internet, Honolulu, Hawaii, October 24-30, 1999

De Bra, P. M. E. (redactie) & Leggett, J. (redactie), 1999, Charlottesville: Association for the Advancement of Computing in Education. 1825 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Open Access
Bestand
426 Downloads (Pure)

Workshop on generic programming

Backhouse, R. C. (redactie) & Sheard, T. (redactie), 1998, Berlin: Springer.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

Etalle, S. (redactie) & Smaus, J. G. (redactie), 1999, Amsterdam: Elsevier. 125 blz. (Electronic Notes in Theoretical Computer Science; vol. 30, nr. 1)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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
69 Downloads (Pure)
computerprogramma software

3D flying pipe-laying turtle

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel