Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Filter
Boekredactie
2003

Environmental policy in an international perspective

Marsiliani, L. (redactie), Rauscher, M. (redactie) & Withagen, C. A. A. M. (redactie), 2003, Dordrecht: Kluwer Academic Publishers. 336 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

2002

Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Brinksma, E. (redactie) & Larsen, K. G. (redactie), 2002, Berlin: Springer. 623 blz. (Lecture notes in computer science; vol. 2404)(CAV : computer-aided verification : international conference : proceedings; vol. 14)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Concepts and ontologies in web-based educational systems : workshop, Auckland, New Zealand

Aroyo, L. M. (redactie) & Dicheva, D. (redactie), 2002, Eindhoven: Technische Universiteit Eindhoven. 62 blz. (Computer science reports; vol. 0215)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
72 Downloads (Pure)

Environmental economics and the international economy

Marsiliani, L. (redactie), Rauscher, M. (redactie) & Withagen, C. A. A. M. (redactie), 2002, Dordrecht: Kluwer Academic Publishers. (Economy and environment; vol. 25)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Equilibrium, markets and dynamics : essays in honour of Claus Weddepohl

Hommes, C. H. (redactie), Ramer, R. (redactie) & Withagen, C. A. A. M. (redactie), 2002, Berlin: Springer. 344 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

Bosnacki, D. (redactie) & Leue, S. (redactie), 2002, Berlin: Springer. 257 blz. (Lecture notes in computer science; vol. 2318)(Model checking software : international SPIN workshop; vol. 9)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Multiscale problems in science and technology : challenges to mathematical analysis and perspectives

Antonic, N. (redactie), Duijn, van, C. J. (redactie), Jäger, W. (redactie) & Mikelic, A. (redactie), 2002, Berlin: Springer. 306 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

2001

Adaptive hypertext and hypermedia : workshop : proceedings, 3rd, Sonthofen, Germany, July 14, 2001 and Aarhus, Denmark, August 15, 2001

De Bra, P. M. E. (redactie), Brusilovsky, P. (redactie) & Kobsa, A. (redactie), 2001, Eindhoven: Technische Universiteit Eindhoven. 223 blz. (Computer science reports; vol. 0111)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
1028 Downloads (Pure)

Integer programming and combinatorial optimization : 8th international IPCO conference, Utrecht, The Netherlands, June 13-15, 2001 : proceedings

Aardal, K. I. (redactie) & Gerards, A. M. H. (redactie), 2001, Berlin: Springer. 421 blz. (Lecture notes in computer science; vol. 2081)(IPCO : integer programming and combinatorial optimization : international conference : proceedings; vol. 8)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

Brinksma, E. (redactie), Hermanns, H. (redactie) & Katoen, J. P. (redactie), 2001, Berlin: Springer. 429 blz. (Lecture notes in computer science; vol. 2090)(EEF/Euro summer school on trends in computer science; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Liber amicorum Jos Jansen

Anthonissen, M. J. H. (redactie), 2001, Eindhoven: Technische Universiteit Eindhoven. 132 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
419 Downloads (Pure)
2000

Business process management : models, techniques, and empirical studies

Aalst, van der, W. M. P. (redactie), Desel, J. (redactie) & Oberweis, A. (redactie), 2000, Berlin: Springer. 391 blz. (Lecture notes in computer science; vol. 1806)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Conferentie informatiewetenschap 2000, de Doelen, Utrecht, 5 april 2000

Vet, van der, P. (redactie) & De Bra, P. M. E. (redactie), 2000, Eindhoven: Technische Universiteit Eindhoven. 98 blz. (Computing science reports; vol. 0020)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
170 Downloads (Pure)
1999

Hybrid systems : computation and control: second international workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings

Vaandrager, F. W. (redactie) & Schuppen, van, J. H. (redactie), 1999, Berlin: Springer. 270 blz. (Lecture notes in computer science; vol. 1569)(HSCC : hybrid systems : computation and control : international conference; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

11 Citaten (Scopus)

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

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

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

1998

Nonlinear control systems design 1998 (NOLCOS'98) : a proceedings volume from the 4th IFAC Symposium, Enschede, The Netherlands, 1-3 July 1998

Huijberts, H. J. C. (redactie), Nijmeijer, H. (redactie), Schaft, van der, A. J. (redactie) & Scherpen, J. M. A. (redactie), 1998, Oxford: Pergamon. 2 blz. (NOLCOS : nonlinear control systems design : IFAC symposium : proceedings; vol. 4)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Online algorithms : the state of the art

Fiat, A. (redactie) & Woeginger, G. (redactie), 1998, Berlin: Springer. (Lecture notes in computer science; vol. 1442)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

6 Citaten (Scopus)

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
386 Downloads (Pure)
Open Access
Bestand
415 Downloads (Pure)

Workshop on generic programming

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

1997

Algorithms - ESA '97: 5th annual European symposium, Graz, Austria, September 15-17, 1997 : proceedings

Burkard, R. E. (redactie) & Woeginger, G. J. (redactie), 1997, Berlin: Springer. (Lecture notes in computer science; vol. 1284)(Algorithms - ESA : annual European symposium on algorithms : proceedings; vol. 5)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Euler and Navier-Stokes solvers using multi-dimensional upwind schemes and multigrid acceleration : results of the BRITE/EURAM projects AERO-CT89-0003 and AER2-CT92-00040, 1989-1995

Deconinck, H. (redactie) & Koren, B. (redactie), 1997, Braunschweig: Vieweg. 569 blz. (Notes on numerical fluid mechanics. NNFM; vol. 57)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
69 Downloads (Pure)

Local search in combinatorial optimization

Aarts, E. H. L. (redactie) & Lenstra, J. K. (redactie), 1997, Chichester: Wiley-Interscience. 512 blz. (Wiley-Interscience series in discrete mathematics and optimization)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

1996

Informatiesystemen: modelleren en specificeren

Aalst, van der, W. M. P. (redactie), Aerts, A. T. M. (redactie), Koppelman, H. (redactie) & Schuwer, R. V. (redactie), 1996, Heerlen: Open Universiteit. 3 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1995

ACP : algebra of communicating processes : workshop : proceedings, 2nd, Eindhoven, The Netherlands, 1995

Ponse, A. J. (redactie), Verhoef, C. (redactie) & Vlijmen, van, S. F. M. (redactie), 1995, Eindhoven: Technische Universiteit Eindhoven. 451 blz. (Computing science reports; vol. 9514)(ACP, algebra of communicating processes : workshop : proceedings; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
259 Downloads (Pure)

Computer algebra in industry : problem solving in practice, 2

Cohen, A. M. (redactie), Gastel, van, L. J. (redactie) & Verduyn Lunel, S. M. (redactie), 1995, Chichester: Wiley. 323 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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
86 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

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

1994

Advances in database systems : implementations and applications

Paredaens, J. (redactie) & Tenenbaum, L. (redactie), 1994, Wien: Springer. 377 blz. (CISM courses and lectures; vol. 347)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Fundamentals of object-oriented languages, systems, and methods : Seminar 9434, August 22-26, 1994

Ehrich, H. D. (redactie), Engels, G. (redactie), Paredaens, J. (redactie) & Wegner, P. (redactie), 1994, Wadern-Dagstuhl: IBFI. 48 blz. (Dagstuhl Seminar Report; vol. 95)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
177 Downloads (Pure)

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

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

1993

Algebraic specification of communication protocols

Mauw, S. (redactie) & Veltink, G. J. (redactie), 1993, Cambridge: Cambridge University Press. 197 blz. (Cambridge tracts in theoretical computer science; vol. 36)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Numerical methods for advection-diffusion problems

Vreugdenhil, C. B. (redactie) & Koren, B. (redactie), 1993, Braunschweig: Vieweg.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

1992

Computing

Coffman, E. G. (redactie), Lenstra, J. K. (redactie) & Rinnooy Kan, A. H. G. (redactie), 1992, Amsterdam: North-Holland Publishing Company. 682 blz. (Handbooks in operations research and management science; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Design and implementation of asynchronous circuits : proceedings of the workshop, Amsterdam, 10-14 November 1991

van der Korst, M. J. (redactie), Peeters, A. M. G. (redactie) & Schols, H. M. J. L. (redactie), 1992, Amsterdam: North-Holland Publishing Company. 60 blz. (Koninklijke Nederlandse Akademie van Wetenschappen : verhandelingen, afd. natuurkunde, eerste reeks; vol. 37)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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)