Voormalig onderzoek Faculteit Wiskunde en Informatica

Zoekresultaten

  • Conferentiebijdrage

    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., 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

  • 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

  • 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
    7 Citaten (Scopus)
    93 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
    57 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)
    88 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)
  • A comparison of alternative policies for hospital admission planning

    /, J. M. H., Eekelen, van, A. L. M. & Adan, I. J. B. F., 2001, Proceedings of IV SIMPOI / POMS 2001, FGP-EAESP, Sao Paulo Business School, August 2001. Correa, H. L. (redactie). Sao Paulo, Brazil: Sao Paulo Business School, blz. 379-388

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • A comparison of the deep structure of alpha-scale spaces

    Duits, R., Kanters, F. M. W., Florack, L. M. J. & Haar Romenij, ter, B. M., 2005, Deep Structure, Singularities, and Computer Vision: First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers. Olsen, O. F., Florack, L. M. J. & Kuijper, A. (redactie). Berlin: Springer, blz. 234-248 15 blz. (Lecture Notes in Computer Science (LNCS); vol. 3753).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
  • A competitive algorithm for the general 2-server problem

    Sitters, R. A., Stougie, L. & Paepe, de, W. E., 2003, Automata, Languages and Programming (Proceedings 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (redactie). Berlin: Springer, blz. 624-636 (Lecture Notes in Computer Science; vol. 2719).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (Scopus)
  • A complete characterization of termination of $0^p 1^q \rightarrow 1^r 0^s$

    Geser, A. & Zantema, H., 1995, Rewriting Techniques and Applications (Proceedings 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995). Hsiang, J. (redactie). Berlin: Springer, blz. 41-55 (Lecture Notes in Computer Science; vol. 914).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    15 Citaten (Scopus)
  • A complete finite prefix for process algebra

    Brinksma, E. & Langerak, R., 1999, Computer aided verification : proceedings 11th international conference, CAV '99, Trento, Italy, july 6-10, 1999. Halbwachs, N. & Peled, D. (redactie). Springer, blz. 184-195 (Lecture Notes in Computer Science; vol. 1633).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 Citaten (Scopus)
  • A complexity and approximability study of the bilevel knapsack problem

    Caprara, A., Carvalho, M., Lodi, A. & Woeginger, G. J., 2013, Integer Programming and Combinatorial Optimization (16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings). Goemans, M. & Correa, J. (redactie). Berlin: Springer, blz. 98-109 (Lecture Notes in Computer Science; vol. 7801).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    15 Citaten (Scopus)
  • A compositional method for the top-down design of real-time systems

    Hooman, J. J. M., 1992, 4th Euromicro Workshop on Real-Time Systems (ECRTS'92, Athens, Greece, June 3-5, 1992). IEEE Computer Society, blz. 86-91

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A compositional proof system for real-time systems based on explicit clock temporal logic

    Hooman, J. J. M., Kuiper, R. & Zhou, P., 1991, Proceedings Sixth International Workshop on Software Specification and Design (Como, Italy, October 25-26, 1991). New York: Institute of Electrical and Electronics Engineers, blz. 110-117

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    2 Citaten (Scopus)
    61 Downloads (Pure)