Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Filter
Conferentiebijdrage

(In)consistency of extensions of higher order logic and type theory

Geuvers, J. H., 2007, Revised Selected Papers of the International Workshop on Types for Proofs and Programs (TYPES 2006) 18-21 April 2006, Nottingham, United Kingdom. Altenkirsch, T. & McBride, C. (redactie). Berlin: Springer, blz. 140-159 (Lecture Notes in Computer Science; vol. 4502).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
77 Downloads (Pure)

(Relational) programming laws in the boom hierarchy of types

Hoogendijk, P. F., 1993, Mathematics of Program Construction (Proceedings 2nd International Conference, Oxford, UK, June 29-July 2, 1992). Bird, R. S., Morgan, C. & Woodcock, J. (redactie). Berlin: Springer, blz. 163-190 (Lecture Notes in Computer Science; vol. 669).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

{0,1,*} distance problems in combinatorics

van Lint, J. H., 1985, Surveys in combinatorics 1985 : invited papers for the tenth British Combinatorial Conference, Glasgow, UK, July 22-26, 1985). Anderson, I. (redactie). Cambridge: Cambridge University Press, blz. 113-135 (London Mathematical Society Lecture Note Series; vol. 103).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
75 Downloads (Pure)

$H_2$ and $H_\infty$ performance with regulation constraints

Stoorvogel, A. A. & Saberi, A., 1997, Proceedings 13th IFAC World Congress (San Francisco, USA, June 30-July 5, 1996), CD-ROM. Gertler, J. J., Cruz, J. B. & Peshkin, M. (redactie). Pergamon, blz. 261-266

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

$H_2$ optimal controllers with measurement feedback for discrete-time systems - flexibility in closed-loop pole placement

Saberi, A., Sannuti, P. & Stoorvogel, A. A., 1996, Proceedings 35th IEEE Conference on Decision and Control (Kobe, Japan, December 11-13, 2006). Institute of Electrical and Electronics Engineers, blz. 2330-2335 6 blz. 573127

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

$l_1$ state estimation for linear systems using non-linear observers

Stoorvogel, A. A., 1996, Proceedings 35th IEEE Conference on Decision and Control (Kobe, Japan, December 11-13, 1996). Institute of Electrical and Electronics Engineers, blz. 2407-2411 5 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

µCRL : a toolset for analysing algebraic specifications

Blom, S. C. C., Fokkink, W. J., Groote, J. F., Langevelde, van, I., Lisser, B. & Pol, van de, J. C., 2001, Computer Aided Verification (Proceedings 13th International Conference, CAV 2001, Paris, July 18-22, 2001). Berry, G., Comon, H. & Finkel, A. (redactie). Berlin: Springer, blz. 250-254 (Lecture Notes in Computer Science; vol. 2102).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

88 Citaten (Scopus)

2D/3D switchable displays

Dekker, T., Zwart, de, S. T., Willemsen, O. H., Hiddink, M. G. H. & IJzerman, W. L., 2006, Liquid Crystal Materials, Devices, and Applications XI. Chien, L-C. (redactie). Bellingham: SPIE, blz. 61350K- (Proceedings of SPIE; vol. 6135).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
3 Downloads (Pure)

2D/3D switchable displays

Dekker, T., Zwart, de, S. T. & IJzerman, W. L., 2006, 5th International Meeting on Information Display (Seoul, South Korea, July 19-23, 2005). blz. 31-35

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

2D/3D switchable displays

Willemsen, O. H., Zwart, de, S. T., IJzerman, W. L., Hiddink, M. G. H. & Dekker, T., 2006, Photonics in multimedia, Strasbourg, France. Tervonen, A., Kujawinska, M., Ijzerman, W. & Smet, de, H. (redactie). SPIE, blz. 61960H- (Proceedings of SPIE; vol. 6196).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
2 Downloads (Pure)

3D computational steering with parametrized geometric objects

Mulder, J. D. & Wijk, van, J. J., 1995, Proceedings IEEE Visualization '95 (Atlanta GA, USA, October 29-November 3, 1995). IEEE Computer Society, blz. 304-311

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

16 Citaten (Scopus)

3D multigrid on partially ordered sets of grids

Hemker, P. W., Koren, B. & Noordmans, J., 1997, Proceedings of the 28th Computational Fluid Dynamics; 3-7 March 1997, Von Karman Institute for Fluid Dynamics Rhode-Saint Genese. Deconinck, H. (redactie). Rhode-Saint-Genèse: Von Karman Institute for Fluid Dynamics, (VKI LS; vol. 1997-02).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

3D multigrid on partially ordered sets of grids

Hemker, P. W., Koren, B. & Noordmans, J., 1998, Multigrid Methods V (Proceedings of the Fifth European Multigrid Conference, Stuttgart, Germany, October 1-4, 1996). Hackbusch, W. & Wittum, G. (redactie). Berlin: Springer, blz. 107-124 (Lecture Notes in Computational Science and Engineering; vol. 3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings

Diepstraten, E. & Kuiper, R., 1990, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989). Bakker, de, J. W., Roever, de, W. P. & Rozenberg, G. (redactie). Berlin: Springer, blz. 208-238 (Lecture Notes in Computer Science; vol. 430).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

A balancing act : analyzing a distributed lift system

Groote, J. F., Pang, J. & Wouters, A. G., 2001, Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001). Karelse, F. (redactie). Utrecht: STW Technology Foundation, blz. 59-66

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
46 Downloads (Pure)

A Bayesian approach for disconnection management in mobile ad-hoc networks

Leoni, de, M., Mecella, M. & Russo, R., 2007, Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007, Paris, France, June 18-20, 2007). New York: IEEE Computer Society, blz. 62-67

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
1 Downloads (Pure)

A Bayesian approach to object recognition

Lieshout, van, M. N. M., 1991, Geometrical problems of image processing (Proceedings 5th Workshop, Georgenthal, Germany, March 11-15, 1991). Eckhardt, U., Hübler, A., Nagel, W. & Werner, G. (redactie). Berlin: Akademie Verlag, blz. 185-190 (Research in Informatics; vol. 4).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A BDF-BEM scheme for modelling in viscous sintering

Vorst, van de, G. A. L. & Mattheij, R. M. M., 1992, Boundary Element Technology VII (Proceedings, Albuquerque NM, USA, June 3-5, 1992). Brebbia, C. A. & Ingber, M. S. (redactie). Southampton: Computational Mechanics Publications, blz. 59-74

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A behavioral approach to $H_2$ optimal control

Weiland, S. & Stoorvogel, A. A., 2001, Proc. European Control Conference ECC 2001. blz. 854-859

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A behavioral approach to the $l_1$ optimal control problem

Stoorvogel, A. A. & Weiland, S., 1996, Proceedings of the 35th IEEE Conference on Decision and Control (Kobe, Japan, December 11-13, 1996). Institute of Electrical and Electronics Engineers, blz. 1839-1844 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

A behavioral approach to the controlled system identification problem

Weiland, S. & Stoorvogel, A. A., 1999, Proceedings 38th IEEE Conference on Decision and Control (Phoenix AZ, USA, December 7-10, 1999). blz. 90-95

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A behavioral approach to the linear quadratic optimal control problem

Weiland, S. & Stoorvogel, A. A., 2000, Proc. 14th Int. Symp. on Mathematical Theory of Networks and Systems (MTNS), session IS05A.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A BEM solution for the simulation of axisymmetric viscous sintering

Vorst, van de, G. A. L., 1993, Moving Boundaries (Proceedings of the 2nd Conference on Computational Modelling of Free and Moving Boundary Problems, Milan, Italy, June 1993). Wrobel, L. C. & Brebbia, C. A. (redactie). Southampton: Computational Mechanics Publications, blz. 123-130

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A BEM solution to simulate the curvature driven deformation of a profile that is pressed into a plate of hot glass

Vorst, van de, G. A. L., 1994, Boundary Element Methods in Fluid Dynamics II (Proceedings 2nd International Workshop, Southampton, UK, July 1994). Power, H., Brebbia, C. A. & Ingham, D. B. (redactie). Southampton: Computational Mechanics Publications, blz. 11-20

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Aberration retrieval for high-NA optical systems using the Extended Nijboer-Zernike theory

Dirksen, P., Braat, J. J. M., Janssen, A. J. E. M. & Leeuwestein, A., 2005, Proceedings Optical Microlithography XVIII, 1 - 4 March 2005, San Jose, California. Bellingham: SPIE, blz. 262-273 (Proceedings of SPIE; vol. 5754).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

16 Citaten (Scopus)

A better lower bound for two-circle point labeling

Wolff, A., Thon, M. & Xu, Y. F., 2000, Algorithms and computation : proceedings 11th international symposium, ISAAC 2000, Taipei, Taiwan, december 18-20, 2000. Lee, D. T. & Teng, S. H. (redactie). Berlin: Springer, blz. 422-431 (Lecture Notes in Computer Science; vol. 1969).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Ab-initio kinetics of heterogeneous catalysis : NO+N+O/Rh(111)

Jansen, A. P. J., Hermse, C. G. M., Frechard, F. G. & Lukkien, J. J., 2001, Computational science - ICCS2001 : proceedings international conference, San Francisco CA, USA, May 28-30, 2001 Part I. Alexandrov, V. N., Dongarra, J. J., Juliano, B. A., Renner, R. S. & Tan, C. J. K. (redactie). Berlin: Springer, blz. 531-540 (Lecture Notes in Computer Science; vol. 2073).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Ab initio simulations of peptide-mineral interactions

Hug, S., Hunter, G. K., Goldberg, H. A. & Karttunen, M. E. J., 2010, Recent Developments in Computer Simulation Studies in Condensed Matter Physics, February 22-26, 2010, Georgia, USA. Landau, D. P., Lewis, S. P. & Schüttler, H-B. (redactie). Elsevier, blz. 51-60 (Physics Procedia; vol. 4).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
6 Citaten (Scopus)
90 Downloads (Pure)

A broadcast key distribution scheme based on block designs

Korjik, V. I., Ivkov, M., Merinovich, Y., Barg, A. & Tilborg, van, H. C. A., 1995, Cryptography and Coding (Proceedings of the 5th IMA Conference, Cirencester, UK, December 18-20, 1995). Boyd, C. (redactie). Berlin: Springer, blz. 3-12 (Lecture Notes in Computer Science; vol. 1025).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Abstract interpretation of reactive systems

Dams, D. R., Gerth, R. T. & Grumberg, O., 1994, Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994). Olderog, E. R. (redactie). Amsterdam: North-Holland Publishing Company, blz. 573-592

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Abstraction of biochemical reaction systems on polytopes

Collins, P. J., Habets, L. C. G. J. M., Schuppen, van, J. H., Cerna, I., Fabrikova, J. & Safranek, D., 2011, Proceedings of the 18th IFAC World Congress, August 28-September 2, 2011, Milan, Italy. blz. 14869-14875

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)
1 Downloads (Pure)

A cache filtering optimisation for queries to massive datasets on tertiary storage

Holtman, K. J. G., Stok, van der, P. D. V. & Willers, I. M., 1999, Proceedings ACM Second International Workshop on Data Warehousing and OLAP (DOLAP'99, Kansas City MO, USA, November 6, 1999). Association for Computing Machinery, Inc, blz. 94-100

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

A calculus for data mapping

Fletcher, G. H. L., Wyss, C. M., Robertson, E. L. & Van Gucht, D., 2006, Proceedings of the International Workshop on Database Interoperability (InterDB 2005, Namur, Belgium, April 23, 2005). Thiran, P., Risch, T. & Benslimane, D. (redactie). blz. 37-54 (Electronic Notes in Theoretical Computer Science; vol. 150(2)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

A calculus for timed automata

D'Argenio, P. R. & Brinksma, E., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996). Jonsson, B. & Parrow, J. (redactie). Springer, blz. 110-129 (Lecture Notes in Computer Science; vol. 1135).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)

A capacity test for shunting movements

Broek, van den, J. J. J. & Kroon, L. G., 2007, Revised selected papers of the International Dagstuhl Workshop on Algorithmic Methods for Railway Optimization (Railway Optimization 2004) 20-25 June 2004, Dagstuhl Castle, Germany & Proceedings of the 4th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS 4) 16-17 September 2004, Bergen, Norway. Geraets, F., Kroon, L., Schoebel, A., Wagner, D. & Zaroliagis, C. D. (redactie). Berlin: Springer, blz. 108-125 (Lecture Notes in Computer Science; vol. 4359).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
3 Downloads (Pure)

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. (redactie). Berlin: Springer, blz. 391-404 (IFIP Advances in Information and Communication Technology; vol. 405).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
2 Downloads (Pure)

A case of Visitor versus Interpreter pattern

Hills, M., Klint, P., Storm, van der, T. & Vinju, J. J., 2011, Proceedings of the 49th International Conference on Objects, Models, Components, Patterns, TOOLS 2011, June 28-30, 2011. Zurich, Switzerland. Bishop, J. & Vallecillo, A. (redactie). Berlin: Springer, blz. 228-243 (Lecture Notes in Computer Science; vol. 6705).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (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. (redactie). blz. 5-21

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
54 Downloads (Pure)

Accelerating the creation of customized, language-specific IDEs in eclipse

Charles, P., Fuhrer, R. M., Sutton, S. M., Duesterwald, E. & Vinju, J. J., 2009, Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'09), October 25-29, 2009, Orlando, Florida. New York: Association for Computing Machinery, Inc, blz. 191-206

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

23 Citaten (Scopus)

Acceleration statistics of inertial particles from high resolution DNS turbulence

Toschi, F., Bec, J., Biferale, L., Boffetta, G., Celani, A., Cencini, M., Lanotte, A. & Musacchio, S., 2008, Proceedings of the IUTAM Symposium on Computational Physics and New Perspectives in Turbulence (Nagoya, Japan, September, 11-14, 2006). Kaneda, Y. (redactie). Springer, blz. 73-78 (IUTAM Bookseries; vol. 4).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)

Access time optimization of SRAM memory with statistical yield constraint

Doorn, T. S., Maten, ter, E. J. W., Di Bucchianico, A., Beelen, T. G. J. & Janssen, H. H. J. M., 2012, Proceedings of 22nd International Conference Radioelektronika 2012 (Brno, Czech Republic, April 17-18, 2012). Brno: Brno University of Technology, blz. 219-222

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Accurate and efficient solution of 2D steady water flows with surface waves and turbulence

Wackers, J. & Koren, B., 2009, Computational Fluid Dynamics 2006 (Proceedings of the Fourth International Conference on Computational Fluid Dynamics, ICCFD, Ghent, Belgium, July 10-14, 2006). Deconinck, H. & Dick, E. (redactie). Berlin: Springer, blz. 655-661

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Achievable delay performance in CSMA networks

Bouman, N., Borst, S. C. & Leeuwaarden, van, J. S. H., 2011, 49th Allerton Conference on Communication, Control and Computing (Monticello IL, USA, September 28-30, 2011). blz. 384-391

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
6 Citaten (Scopus)
81 Downloads (Pure)

Achievable performance in product-form networks

Sanders, J., Borst, S. C. & Leeuwaarden, van, J. S. H., 2012, 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton House, UIUC, Illinois, USA, October 1-5, 2012). Basar, T. & Hajek, B. (redactie). Institute of Electrical and Electronics Engineers, blz. 928-935

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)

A class library for colored petri nets

Somers, L. J. A. M., 1998, International conference on applied modelling and simulation (Honolulu, August 1998). blz. 76-81

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A class of burst correcting codes

Blaum, M., Farrell, P. G. & Tilborg, van, H. C. A., 1986, Proceedings 7th Symposium on Information Theory in the Benelux (Noordwijkerhout, The Netherlands, May 22-23, 1986). Boekee, D. E. (redactie). Delft: Delft University Press, blz. 31-40

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A closed cycle cooling system for MR Imaging magnets

Pieterman, K., Dam, J. A. M. & Postma, H., 1986, Proceedings of the 1985 Cryogenic Engineering Conference (CEC, Cambridge MA, USA, August 12-16, 1985). Fast, R. W., Timmerhaus, K. D. & Clark, A. F. (redactie). New York NY: Plenum Press, blz. 533-540 (Advances in Cryogenic Engineering; vol. 31).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

A closed network model for I/O systems

Wijbrands, R. J. & Wessels, J., 1985, Contributions to operations research (Proceedings of the conference, Oberwolfach, Germany, February 26-March 3, 1984). Neumann, K. & Pallaschke, D. (redactie). Berlin: Springer, blz. 182-190 9 blz. (Lecture Notes in Economics and Mathematical Systems; vol. 240).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A coalgebraic perspective on monotone modal logic

Hansen, H. H. & Kupke, C. A., 2004, Proceedings 7th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2004, Barcelona, Spain, March 27-29, 2004). Adámek, J. & Milius, S. (redactie). blz. 121-143 (Electronic Notes in Theoretical Computer Science; vol. 106).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

38 Citaten (Scopus)

A combinatorial framework for map labeling

Wagner, F. & Wolff, A., 1998, Graph Drawing (6th International Symposium, GD'98, Montreal, Canada, August 13-15, 1998). Whitesides, S. (redactie). Berlin: Springer, blz. 316-331 (Lecture Notes in Computer Science; vol. 1547).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

15 Citaten (Scopus)