Voormalig onderzoek Faculteit Wiskunde en Informatica

Zoekresultaten

  • Conferentiebijdrage

    A dynamic logic for reasoning about sub-ideal states

    Dignum, F. P. M., Meyer, J-JC. & Wieringa, R. J., 1994, Proceedings ECAI Workshop on Articicial Normative Reasoning (Amsterdam, The Netherlands, 1994). Breuker, J. (redactie). Breuker, blz. 79-92

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Aerial image based lens metrology for wafer steppers

    Dirksen, P., Braat, J. J. M., Janssen, A. J. E. M., Leeuwestein, A., Matsuyama, T. & Noda, T., 2006, Proceedings Optical Microlithography XIX, 21 - 24 February 2006, San Jose, California. Bellingham: SPIE, blz. 61540X-1-1/11 (Proceedings of SPIE; vol. 6154).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
    2 Downloads (Pure)
  • A European Consortium for Mathematics in Industry

    Hazewinkel, M. & Mattheij, R. M. M., 1988, Proceedings of the First European Symposium on Mathematics in Industry (ESMI-I, Amsterdam, The Netherlands, October 30-November 1, 1985). Hazewinkel, M., Mattheij, R. M. M. & Groesen, van, E. W. C. (redactie). Stuttgart/|Dordrecht: B.G. Teubner, blz. VIII-X (European Consortium for Mathematics in Industry; vol. 1).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • A family of algorithms for generating discrete embeddings of continuous objects

    Overveld, van, C. W. A. M., 1988, Theoretical foundations of computer graphics and CAD. Earnshaw, R. A. (redactie). Berlin: Springer, blz. 587-598 11 blz. (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 40).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A fast and verified algorithm for proving store-and-forward networks deadlock-free

    Verbeek, F. & Schmaltz, J., 2011, Proceedings of the 19th International Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2011, Ayia Napa, Cyprus, February 9-11, 2011). Cotronis, Y., Danelutto, M. & Papadopoulos, G. A. (redactie). IEEE Computer Society, blz. 3-10

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
  • A faster FPT algorithm for max-leaf spanning trees

    Bonsma, P. S., Brüggemann, T. & Woeginger, G. J., 2003, Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science (MFCS'2003, Bratislava, Slovakia, August 25-29, 2003). Rovan, B. & Vojtás, P. (redactie). Berlin: Springer, blz. 259-268 (Lecture Notes in Computer Science; vol. 2747).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    20 Citaten (Scopus)
  • A feature computation tree model to specify requirements and reuse

    Roubtsova, E. E. & Roubtsov, S. A., 2006, Proceedings 8th International Conference on Enterprise Information Systems: Databases and Information Systems Integration (ICEIS 2006, Paphos, Cyprus, May 23-27, 2006). Manolopoulos, Y., Filipe, J., Constantopoulos, P. & Cordeiro, J. (redactie). INSTICC Press, Vol. 3. blz. 118-125

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • A fed back level-set method for moving material-void interfaces

    Koren, B. & Venis, A. C. J., 1999, Hyperbolic Problems: Theory, Numerics, Applications (Seventh International Conference in Zürich, February 1998). Fey, M. & Jeltsch, R. (redactie). Basel: Birkhäuser Verlag, Vol. 2. blz. 579-588 (International Series of Numerical Mathematics; vol. 130).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A finite-source feedback queueing network as a model for the IEEE 802.11 distributed coordination function

    Winands, E. M. M., Denteneer, T. J. J., Resing, J. A. C. & Rietman, R., 2004, Mobile and Wireless Systems beyond 3G : 5th European Wireless Conference (EW'04, Barcelona, Spain, February 24-27, 2004). Casals, O., Garcia-Vidal, J., Barcelo, J. & Cerda, L. (redactie). blz. 551-557

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A finite-volume method for convection problems with embedded moving-boundaries

    Hassen, Y. & Koren, B., 2009, Computational Fluid Dynamics 2008 (Proceedings of the Fifth International Conference on Computational Fluid Dynamics, ICCFD5, Seoul, Korea, July 7-11, 2008). Choi, H., Choi, H. G. & Yoo, J. Y. (redactie). Berlin: Springer, blz. 499-505

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Downloads (Pure)
  • A flight simulator for logistics managers and planners

    Flapper, S. D. P. & Noorlander, C., 1990, Modelling and Simulation (Proceedings of the 1990 European Simulation Multiconference, Nuremberg, Germany, June 10-13, 1990). Schmidt, B. (redactie). blz. 374-379

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A formal approach to analyzing the browsing semantics of hypertext

    De Bra, P. M. E., Houben, G. J. P. M. & Kornatzky, Y., 1994, Computing Science in the Netherlands (CSN'94, Utrecht, The Netherlands, November 21-22, 1994). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 78-89

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A formal definition for systolic systems

    De Baer, D. & Paredaens, J., 1987, Parallel algorithms and architectures : International Workshop Suhl, GDR, May 25–30, 1987 Proceedings. Albrecht, A., Jung, H. & Mehlhorn, K. (redactie). Berlin: Springer, blz. 97-104 8 blz. (Lecture Notes in Computer Science (LNCS); vol. 269).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • A formally integrated conceptual model based on objects

    Ramackers, G. J. & Verkoulen, P. A. C., 1992, Proceedings Third International Working Conference on Dynamic Modelling of Information Systems (Noordwijkerhout, The Netherlands, June 1992). blz. 293-322

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A formally verified decentralized key management architecture for wireless sensor networks

    Law, Y. W., Corin, R. J., Etalle, S. & Hartel, P. H., 2003, Personal Wireless Communications (Proceedings IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003). Conti, M., Giordano, S., Gregori, E. & Olariu, S. (redactie). Springer, blz. 27-39 (Lecture Notes in Computer Science; vol. 2775).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    22 Citaten (Scopus)
  • A formal model for distributed information systems

    Houben, G. J. P. M. & Paredaens, J., 1988, MFDBS'87 : 1st Symposium on Mathematical Fundamentals of Database Systems Dresden, GDR, January 19–23, 1987 Proceedings. Biskup, J., Demetrovics, J., Paredaens, J. & Thalheim, B. (redactie). Berlin: Springer, blz. 128-158 31 blz. (Lecture Notes in Computer Science (LNCS); vol. 305).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A formal model of clock domain crossing and automated verification of time-triggered hardware

    Schmaltz, J., 2007, Formal Methods in Computer-Aided Design (7th International Conference, FMCAD'07, Austin TX, USA, November 11-14, 2007. Proceedings). IEEE Computer Society, blz. 223-230

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    17 Citaten (Scopus)
  • A formal model of lower system layers

    Schmaltz, J., 2006, Formal Methods in Computer-Aided Design (6th International Conference, FMCAD'06, San Jose CA, USA, November 12-16, 2006. Proceedings). IEEE Computer Society, blz. 191-192

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
  • A formal proof of a necessary and sufficient condition for deadlock-free adaptive networks

    Verbeek, F. & Schmaltz, J., 2010, Interactive Theorem Proving (First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings). Kaufmann, M. & Paulson, L. C. (redactie). Berlin: Springer, blz. 67-82 (Lecture Notes in Computer Science; vol. 6172).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)
  • A formal security analysis of an OSA/Parlay authentication interface

    Corin, R. J., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G. & Moiso, C., 2005, Formal Methods for Open Object-Based Distributed Systems (Proceedings 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005). Steffen, M. & Zavattaro, G. (redactie). Springer, blz. 131-146 (Lecture Notes in Computer Science; vol. 3535).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
    1 Downloads (Pure)
  • A formal semantics for Z and the link between Z and the relational algebra

    van Diepen, M. J. & Hee, van, K. M., 1990, VDM'90, VDM and Z - Formal Methods in Software Development (Proceedings Third International Symposium of VDM Europe, Kiel, Germany, April 17-21, 1990). Bjorner, D., Hoare, C. A. R. & Langmaack, H. (redactie). Springer, blz. 526-551 (Lecture Notes in Computer Science; vol. 428).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 Citaten (Scopus)
  • A formal semantics of synchronous interworkings

    Mauw, S., Wijk, van, M. & Winter, T., 1993, SDL'93 : Using Objects (Proceedings 6th SDL Forum, Darmstadt, Germany, October 11-15, 1993). Faergemand, O. & Sarma, A. D. (redactie). Amsterdam: North-Holland Publishing Company, blz. 167-178

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A formal specification of automated auditing of trustworthy trade procedures for open electronic commerce

    Bons, R., Dignum, F. P. M. & Tan, Y. H., 1998, International workshop on deception, Fraud and Trust in agent society. Castelfranchi, C. (redactie). blz. 21-34

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A framework for analyzing probabilistic protocols and its application to the partial secrets exchange

    Chatzikokolakis, K. & Palamidessi, C., 2005, Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers). De Nicola, R. & Sangiorgi, D. (redactie). Berlin: Springer, blz. 146-162 (Lecture Notes in Computer Science; vol. 3705).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (Scopus)
  • A framework for formal component-based software architecting

    Chaudron, M. R. V., Eskenazi, E. M., Fioukov, A. & Hammer, D. K., 2001, Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001). Karelse, F. (redactie). Utrecht: STW Technology Foundation, blz. 39-47

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • A framework for test selection

    Brinksma, E., Tretmans, J. & Verhaard, L., 1991, Protocol Specification, Testing and Verification XI (Proceedings IFIP WG6.1 Eleventh International Symposium, Stockholm, Sweden, June 18-20, 1991). Jonsson, B., Parrow, J. & Pehrson, B. (redactie). North-Holland Publishing Company, blz. 233-248

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A framework for the conceptual modeling of discrete dynamic systems

    Dietz, J. L. G. & Hee, van, K. M., 1988, Temporal Aspects in Information Systems (Proceedings IFIP TC 8/WG 8.1 Working Conference, Sophia-Antipolis, France, May 13-15, 1987). North-Holland Publishing Company, blz. 61-75

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A frequency domain treatment of disturbance decoupling and output stabilization

    Hautus, M. L. J., 1980, Algebraic and geometric methods in linear systems theory (AMS-NASA-NATO Seminar, Cambridge MA, USA, 1979). Byrnes, C. I. & Martin, C. F. (redactie). Providence RI: American Mathematical Society, blz. 87-98 (Lectures in Applied Mathematics; vol. 18).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A functional approach to the formal specification of networks on chip

    Schmaltz, J. & Borrione, D., 2004, Formal Methods in Computer-Aided Design (5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings). Hu, A. J. & Martin, A. K. (redactie). blz. 53-66 (Lecture Notes in Computer Science; vol. 3312).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    12 Citaten (Scopus)
  • A game-theoretic approach to behavioural visualisation

    Westergaard, M., 2008, Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007, Lancaster, UK, September 4, 2007). Cerone, A. & Curzon, P. (redactie). blz. 113-129 (Electronic Notes in Theoretical Computer Science; vol. 208).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
  • A general conservative extension theorem in process algebra

    Verhoef, C., 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. 149-168 (IFIP Transactions A : Computer science and technology; vol. 56).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A generic approach to the filtering of matrix fields with singular PDEs

    Burgeth, B., Didas, S., Florack, L. M. J. & Weickert, J., 2007, Proceedings of the First International Conference on Scale Space and Variational Methods in Computer Vision (SSVM 2007) 30 May - 2 June 2007, Ischia, Italy. Sgallari, F., Murli, A. & Paragios, N. (redactie). Berlin, Germany: Springer, blz. 556-567 (Lecture Notes in Computer Science; vol. 4485).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    15 Citaten (Scopus)
    84 Downloads (Pure)
  • A generic model for formally verifying NoC communication architectures: A case study

    Borrione, D., Helmy, A., Pierre, L. & Schmaltz, J., 2007, First International Symposium on Networks-on-Chips (NOCS '07, Princeton NJ, USA, May 7-9, 2007. Proceedings). IEEE Computer Society, blz. 127-136

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    21 Citaten (Scopus)
  • A generic network on chip model

    Schmaltz, J. & Borrione, D., 2006, Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings. Hurd, J. & Melham, T. F. (redactie). Berlin: Springer, blz. 310-325 16 blz. (Lecture Notes in Computer Science (LNCS); vol. 3603).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
  • Agent-oriented architecture for task-based information search system

    Aroyo, L. M. & De Bra, P. M. E., 1999, Proceedings Conferentie Informatiewetenschap 1999 (Amsterdam, The Netherlands, November 12, 1999). De Bra, P. M. E. & Hardman, L. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 94-98 (Computing Science Reports; vol. 99/20).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    147 Downloads (Pure)
  • Aggregate model based performance analysis of an emergency department

    Adan, I. J. B. F., Lefeber, A. A. J., Timmermans, J. J. D., Waarsenburg, van de, A. & Wolleswinkel-Schriek, M., 2013, The 25th European Modeling and Simulation Symposium : Simulation in Industry (EMSS 2013), 25-27 September 2013, Athens, Greece. Bruzzone, J. & Longo, M. (redactie). Genova: DIME, Università degli studi di Genova, blz. 290-296

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Downloads (Pure)
  • Aggregate simulation modeling of an MRI department using effective process times

    Jansen, F. J. A., Etman, L. F. P., Rooda, J. E. & Adan, I. J. B. F., 2012, Proceedings of the 2012 Winter Simulation Conference (Berlin, Germany, December 9-12, 2012). Laroque, C., Himmelspach, J., Pasupathy, R., Rose, O. & Uhrmacher, A. M. (redactie). blz. 1-12

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
  • Aggregation methods in manpower planning with incompletely known future demand, an example

    Bij, van der, J. D., 1984, DGOR: Papers of the 12th Annual Meeting / Vorträge der 12. Jahrestagung. Steckhan, H., Bühler, W., Jäger, K. E., Schneeweiss, C. & Schwarze, J. (redactie). Berlin: Springer, blz. 495-501 (Operations Research Proceedings (ORP); vol. 1983).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Aggregation of composite location-aware services for mobile cellular networks

    Yew, A., Strand, A., Liotta, A. & Pavlou, G., 2003, Self-Managing Distributed Systems (14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings). Brunner, M. & Keller, A. (redactie). Berlin: Springer, blz. 260-272 (Lecture Notes in Computer Science; vol. 2867).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • A Godonov-type scheme for capturing water waves

    Brummelen, van, E. H. & Koren, B., 2001, Godunov Methods, Theory and Applications (Oxford, UK, October 18-22, 1999). Toro, E. F. (redactie). New York: Kluwer Academic/Plenum Publishers, blz. 949-968

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • AGOR: recent achievements

    Schreuder, H. W. & Dam, J. A. M., 1993, Proceedings 13th International Conference on Cyclotrons and their Applications (Cyclotron'92, Vancouver, Canada, July 6-10, 1992). Dutto, G. & Craddock, M. K. (redactie). Singapore: World Scientific, blz. 40-46

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • AGOR cryogenics: a status report

    Pieterman, K., Dam, J. A. M., Commeaux, C. & Lévy, G., 1991, Proceedings 12th International Conference on Cyclotrons and their Applications (Cyclotron'89, Berlin, Germany, May 8-12, 1989). Martin, B. & Ziegler, K. (redactie). Singapore: World Scientific, blz. 220-223

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A gossip-based distributed social networking system

    Abbas, S. M. A., Pouwelse, J. A., Epema, D. H. J. & Sips, H. J., 2009, Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'09, Groningen, The Netherlands, June 2-July 1, 2009). Institute of Electrical and Electronics Engineers, blz. 93-98

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    19 Citaten (Scopus)
    197 Downloads (Pure)
  • A graphical interface formalism : specifying nested relational databases

    Houben, G. J. P. M. & Paredaens, J., 1989, Visual Database Systems (Proceedings of the IFIP TC 2/WG 2.6 Working Conference, Tokyo, Japan, April 3-7, 1989). Kunii, T. L. (redactie). Amsterdam: North-Holland Publishing Company, blz. 257-276

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A graph-oriented object database model

    Gyssens, M., Paredaens, J. & Van Gucht, D., 1990, Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'90, Nashville TN, USA, April 2-4, 1990). Garcia-Molina, H. (redactie). Association for Computing Machinery, Inc, blz. 417-424

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    60 Citaten (Scopus)
  • A graph-oriented object model for database end-user interfaces

    Gyssens, M., Paredaens, J. & Van Gucht, D., 1990, Proceedings 1990 ACM SIGMOD International Conference on Management of Data (Atlantic City NJ, USA, May 23-26, 1990). Garcia-Molina, H. & Jagadish, H. V. (redactie). blz. 24-33 (ACM SIGMOD Record; vol. 19(2)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    53 Citaten (Scopus)
  • A grid refinement method for the TNO glass tank model

    Buskens, J. P. E. & Op den Camp, O. M. G. C., 1997, Proceedings 4th International Seminar on Mathematical Simulation in Glass Melting (Horni-Becva, Czech Republic, June 16-17, 1997). Vsetin (Czech Republic): Glass Service Ltd, blz. 52-56

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • AHA! adaptive hypermedia for all

    De Bra, P. M. E. & Ruiter, J. P., 2001, Proceedings of the World Conference on the WWW and Internet (WebNet2001), October 23-27, 2001, Orlando FL, USA. Fowler, W. A. & Hasebrook, J. (redactie). Norfolk: Association for the Advancement of Computing in Education, blz. 262-268

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • AHAM : A dexter-based reference model for adaptive hypermedia

    De Bra, P. M. E., Houben, G. J. P. M. & Wu, H., 1999, Proceedings of the 10th ACM Conference on Hypertext and Hypermedia (Darmstadt, Germany, February 21-25, 1999). Association for Computing Machinery, Inc, blz. 147-156

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    263 Citaten (Scopus)
  • A heuristic for symmetry reductions with scalarsets

    Bosnacki, D., Dams, D. R. & Holenderski, L., 2001, FME 2001: Formal Methods for Increasing Software Productivity (International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings). Nuno Oliveira, J. & Zave, P. (redactie). Berlin: Springer, blz. 518-533 (Lecture Notes in Computer Science; vol. 2021).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    12 Citaten (Scopus)