Voormalig onderzoek Faculteit Wiskunde en Informatica

Zoekresultaten

  • Conferentiebijdrage

    A compositional proof theory for fault tolerant real-time distributed systems

    Schepers, H. J. J. H. & Gerth, R. T., 1993, Proceedings of the 12th Symposium on Reliable Distributed Systems (Princeton NJ, USA, October 6-8, 1993). Institute of Electrical and Electronics Engineers, blz. 34-43 10 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (Scopus)
  • A compositional proof theory for real-time distributed message passing

    Hooman, J. J. M., 1987, PARLE Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings. de Bakker, J. W., Nijman, A. J. & Treleaven, P. C. (redactie). Berlin: Springer, blz. 315-332 18 blz. (Lecture Notes in Computer Science (LNCS); vol. 259).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    8 Citaten (Scopus)
  • A compositional semantics for fault-tolerant real-time systems

    Coenen, J. A. A. & Hooman, J. J. M., 1992, Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992). Vytopil, J. (redactie). Berlin: Springer, blz. 33-51 (Lecture Notes in Computer Science; vol. 571).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
  • A compositional semantics for normal open programs

    Etalle, S. & Teusink, F., 1996, Logic Programing (Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996). Mahler, M. J. (redactie). MIT Press, blz. 468-482

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A computational method for high-frequency oleodynamics : application to hydraulic-shock-absorber designs

    Koren, B., Michielsen, P. F. M., Kars, J. W. & Wesseling, P., 1996, Computational Fluid Dynamics '96 : Proceedings of the Third European Conference on CFD (Paris, France, September 9-13, 1996). Désidéri, J-A., Hirsch, C., Le Tallec, P., Pandolfi, M. & Périaux, J. (redactie). Chichester: Wiley, blz. 725-731

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    34 Downloads (Pure)
  • A computational model for generic graph functions

    Gemis, M., Peelman, P., Paredaens, J. & Van den Bussche, J., 1994, Graph Transformations in Computer Science (Proceedings International Workshop, Dagstuhl Castle, Germany, January 1993). Schneider, H. J. & Ehrig, H. (redactie). Berlin: Springer, blz. 170-188 (Lecture Notes in Computer Science; vol. 776).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • A computational study of constraint satisfaction for multiple capacitated job shop scheduling

    Nuijten, W. P. M. & Aarts, E. H. L., 1994, Proceedings 4th International Workshop on Project Management and Scheduling (Leuven, Belgium, 1994). blz. 166-173

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A computational tool for analyzing strong viscous-inviscid interactions in gasdynamics

    Koren, B., 1991, Proceedings of the CP90 Europhysics Conference on Computational Physics, September 10-13 1990, Amsterdam, The Netherlands. Tenner, A. G. (redactie). World Scientific, blz. 395-399

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    76 Downloads (Pure)
  • A computer simulation model for the blow-blow forming process of glass containers

    Giannopapa, C. G. & Groot, J. A. W. M., 2007, Proceedings 2007 ASME Pressure Vessels and Piping Conference (PVP 2007, San Antonio TX, USA, July 22-26, 2007), Paper PVP 2007-26408. American Society of Mechanical Engineers, blz. 79-86

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A conformance testing relation for symbolic timed automata

    Styp, von, S., Bohnenkamp, H. C. & Schmaltz, J., 2010, Formal Modeling and Analysis of Timed Systems (8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings). Chatterjee, K. & Henzinger, T. A. (redactie). Berlin: Springer, blz. 243-255 (Lecture Notes in Computer Science; vol. 6246).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 Citaten (Scopus)
  • A congruence theorem for structured operational semantics with predicates

    Baeten, J. C. M. & Verhoef, C., 1993, CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993). Best, E. (redactie). Berlin: Springer, blz. 477-492 (Lecture Notes in Computer Science; vol. 715).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    52 Citaten (Scopus)
    93 Downloads (Pure)
  • A congruence theorem for structured operational semantics with predicates and negative

    Verhoef, C., 1994, CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994). Jonsson, B. & Parrow, J. (redactie). Berlin: Springer, blz. 433-448 (Lecture Notes in Computer Science; vol. 836).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    8 Citaten (Scopus)
  • A consistent algorithm to fill triangles and triangular patches

    Overveld, van, C. W. A. M. & Lierop, van, M. L. P., 1986, Eurographics'86 (Proceedings European Computer Graphics Conference, Lisbon, Portugal, August 25-29, 1986). Requicha, A. A. G. (redactie). Amsterdam: North-Holland Publishing Company, blz. 153-160

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • A constructive proof of the fundamental theorem of algebra without using the rationals

    Geuvers, J. H., Wiedijk, F. & Zwanenburg, J., 2002, Types for Proofs and Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers). Callaghan, P., Luo, Z., McKinna, J. & Pollack, R. (redactie). Springer, blz. 96-111 (Lecture Notes in Computer Science; vol. 2277).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    16 Citaten (Scopus)
  • A continuum cartoon of lipid bilayers

    Peletier, M. A. & Röger, M., 2008, Mini-Workshop Mathematics of Biological Membranes (Oberwolfach, Germany, August 31-September 6, 2008). Garcke, H., Niethammer, B., Peletier, M. A. & Röger, M. (redactie). Oberwolfach: Mathematisches Forschungsinstitut Oberwolfach, blz. 2293-2336 (Oberwolfach Reports; vol. 5(3)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A controllability result for piecewise-linear hybrid systems

    Habets, L. C. G. J. M. & Schuppen, van, J. H., 2001, Proceedings of the 6th European Control Conference (ECC2001, Porto, Portugal, September 4-7, 2001). Martins de Carvalho, J. L. & et al., X. (redactie). blz. 3870-3873

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    13 Citaten (Scopus)
  • A control perspective on communication using chaotic systems

    Huijberts, H. J. C., Nijmeijer, H. & Willems, R. M. A., 1998, Proceedings 37th IEEE Conference on Decision and Control (Tampa FL, USA, December 16-18, 1998). New York: Institute of Electrical and Electronics Engineers, blz. 1957-1962

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 Citaten (Scopus)
  • A convergence function for clock synchronization protocols

    Luit, E. J. & Martin, J. M. M., 1994, Proceedings 2nd Workshop on Parallel and Distributed Real-Time Systems (Cancun, Mexico, 1994). blz. 9-16

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A cooperative sequential adsorption model for wireless gossiping

    Meyfroyt, T. M. M., 2014, 32nd International Symposium on Computer Performance, Modeling, Measurement, and Evaluation (IFIP WG 7.3 Performance 2014, Torino, Italy, October 7-9, 2014). blz. 40-42 (ACM SIGMETRICS Performance Evaluation Review; vol. 42).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
    1 Downloads (Pure)
  • A cross-layer approach for minimum delay content adaptive video streaming over variable bitrate channels

    Ozcelebi, T., Tekalp, A. M., Civanlar, M. R. & Sunay, M. O., 2005, Proceedings 13th European Signal Processing Conference (EUSIPCO 2005, Antalya, Turkey, September 4-8, 2005). Leuven: EURASIP, blz. 1-4

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Downloads (Pure)
  • Active distributed monitoring for dynamic large-scale networks

    Liotta, A., Pavlou, G. & Knight, G., 2001, Proceedings of the 2001 IEEE International Conference on Communications (ICC 2001), June 11-14, 2001, Helsinki, Finland. New York: Institute of Electrical and Electronics Engineers, blz. 1544-1550

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
  • ActiveLink : an embedded systems solution for generic cross-platform communication

    Venemans, B. M., Chaudron, M. R. V. & Jacobs, H. S., 2001, Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001). Karelse, F. (redactie). Utrecht: STW Technology Foundation, blz. 279-286

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    1 Downloads (Pure)
  • A cutting plane algorithm for the single machine scheduling problem with release times

    Nemhauser, G. L. & Savelsbergh, M. W. P., 1992, Combinatorial optimization : new frontiers in theory and practice (Proceedings, Ankara, Turkey, July 16-29, 1990). Akguel, M., Hamacher, H. W. & Tuefekci, S. (redactie). Berlin: Springer, blz. 63-83 (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 82).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Acyclic orientation of drawings

    Ackerman, E., Buchin, K., Knauer, C. & Rote, G., 2006, Algorithm Theory - SWAT 2006 : 10th Scandinavian Workshop, Riga, Latvia, July 6-8, 2006. Proceedings. Arge, L. & Freivalds, R. (redactie). Berlin: Springer, blz. 268-279 12 blz. (Lecture Notes in Computer Science (LNCS); vol. 4059).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Adaptation control in adaptive hypermedia systems

    Wu, H., De Bra, P. M. E., Aerts, A. T. M. & Houben, G. J. P. M., 2000, Adaptive Hypermedia and Adaptive Web-Based Systems (Proceedings AH 2000, Trento, Italy, August 28-30, 2000). Brusilovsky, P., Stock, O. & Strappavara, C. (redactie). Berlin: Springer, blz. 250-259 (Lecture Notes in Computer Science; vol. 1892).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    17 Citaten (Scopus)
    1 Downloads (Pure)
  • Adaptive content for the mobile user: a policy-based approach

    Yew, A., Liotta, A. & Yang, K., 2005, Mobility Aware Technologies and Applications: Second International Workshop, MATA 2005, Montreal, Canada, October 17-19, 2005. Proceedings. Magedanz, T., Karmouch, A., Pierre, S. & Venieris, I. S. (redactie). Berlin: Springer, blz. 137-148 12 blz. (Lecture Notes in Computer Science (LNCS); vol. 3744).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Adaptive control of specially structured Markov chains

    Hee, van, K. M., 1977, Dynamische Optimierung (Tagungsband der Sonderforschungsbereiches 72). Schäl, M. (redactie). blz. 99-116 (Bonner Mathematische Schriften; vol. 98).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Adaptive discovery of sparse signals in noise

    Haupt, J., Castro, R. M. & Nowak, R., 2008, Proeedings 42nd Asilomar Conference on Signals, Systems and Computers (Pacific Grove CA, USA, October 26-29, 2008). Institute of Electrical and Electronics Engineers, blz. 1727-1731

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (Scopus)
  • Adaptive process management in highly dynamic and pervasive scenarios

    Leoni, de, M., 2009, Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, (YR-SOC 2009, Pisa, Italy, June 17-19, 2009). Beek, ter, M. H. (redactie). blz. 83-97 (Electronic Proceedings in Theoretical Computer Science; vol. 2).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    9 Citaten (Scopus)
    42 Downloads (Pure)
  • Adaptive restoration of unknown samples in certain time-discrete signals

    Veldhuis, R. N. J., Janssen, A. J. E. M. & Vries, L. B., 1985, Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing (ASSP'85), March 26-29, Tampa, Florida. Piscataway: Institute of Electrical and Electronics Engineers, blz. 1013-1016

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    85 Downloads (Pure)
  • Adaptive sensing for sparse signal recovery

    Haupt, J., Nowak, R. & Castro, R. M., 2009, Proceedings 13th IEEE Digital Signal Processing Workshop (DSP'09, Marco Island FL, USA, January 4-7, 2009). Institute of Electrical and Electronics Engineers, blz. 702-707

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    47 Citaten (Scopus)
    94 Downloads (Pure)
  • Adaptive spectrum sensing for agile cognitive radios

    Tajer, A., Castro, R. M. & Wang, X., 2010, Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP, Dallas TX, USA, March 14-19, 2010). Institute of Electrical and Electronics Engineers, blz. 2966-2969

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (Scopus)
  • Adaptive web-based textbooks

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 Citaten (Scopus)
  • Adaptive workflow: An approach based on inheritance

    Aalst, van der, W. M. P., Basten, T., Verbeek, H. M. W., Verkoulen, P. A. C. & Voorhoeve, M., 1999, Proceedings of the IJCAI'99 workshop on intelligent workflow and process management: The new frontier for AI in business, Stockholm. Ibrahim, M. & Drabble, B. (redactie). blz. 36-45

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Adaptive Workflow: On the Interplay between Flexibility and Support

    Aalst, van der, W. M. P., Basten, T., Verbeek, H. M. W., Verkoulen, P. A. C. & Voorhoeve, M., 1999, Proceedings of the 1st International Conference on Enterprise Information Systems (ICEIS, Setubal, Portugal, March 27-30, 1999). Cordeiro, J. (redactie). Setubal, Portugal: Escola Superior de Technologia de Setubal, blz. 353-360

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Adaptive workflows for healthcare information systems

    Hee, van, K. M., Schonenberg, H., Serebrenik, A., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Business Process Management Workshops (BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers). Hofstede, ter, A. H. M., Benatallah, B. & Paik, H. Y. (redactie). Berlin: Springer, blz. 359-370 (Lecture Notes in Computer Science; vol. 4928).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (Scopus)
    1 Downloads (Pure)
  • A data manipulation language for relational data structures

    ter Bekke, J. H., 1977, Systems for Large Data Bases (Proceedings 2nd International Conference on Very Large Data Bases, Brussels, Belgium, September 8-10, 1976). Lockemann, P. C. & Neuhold, E. J. (redactie). Amsterdam: North-Holland Publishing Company, blz. 159-168

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Additive guarantees for degree bounded directed network design

    Bansal, N., Khandekar, R. & Nagarajan, V., 2008, Proceedings of the 40th Annual ACM Symposium on Theory of Computing (STOC'08, Victoria BC, Canada, May 17-20, 2008). New York: Association for Computing Machinery, Inc, blz. 769-778

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    22 Citaten (Scopus)
  • A decision generator shell in Prolog

    Hee, van, K. M. & Nuijten, W. P. M., 1991, Methodology, implementation and applications of decision support systems (Proceedings of a school, Udine, Italy, September 17-21, 1990). Lewandowski, A., Serafini, P. & Speranza, M. G. (redactie). Wien: Springer, blz. 47-65 (CISM Courses and Lectures; vol. 320).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A denotational semantics for synchronous and asynchronous behavior with multiform time

    Roncken, M. & Gerth, R. T., 1990, Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990). Kwiatkowska, M. Z., Shields, M. W. & Thomas, R. M. (redactie). Berlin: Springer, blz. 21-37

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A deontic system with actors

    Royakkers, L. M. M. & Dignum, F. P. M., 1994, Working papers of the International workshop on information systems : correctness and reusability (Amsterdam, The Netherlands, 1994), Report IR-357. Amsterdam: Vrije Universiteit Amsterdam, blz. 408-422

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A derivation of a systolic rank order filter with constant reponse

    Kaldewaij, A. & Rem, M., 1989, Mathematics of Program Construction (Proceedings International Conference on the occasion of the 375th Anniversary of the Groningen University, Groningen, The Netherlands, June 26-30, 1989). Snepscheut, van de, J. L. A. (redactie). Springer, blz. 281-296 (Lecture Notes in Computer Science; vol. 375).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A derivation of Huffman's algorithm

    Hoogerwoord, R. R., 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. 375-378 (Lecture Notes in Computer Science; vol. 669).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A design study for a superconducting extraction element for AGOR

    Pieterman, K., Dam, J. A. M., Lévy, G. & Commeaux, C., 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. 358-360

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Ad-hoc workflow : problems and solutions

    Voorhoeve, M. & Aalst, van der, W. M. P., 1997, Proceedings of the 8th International Workshop on Database and Expert Systems Applications (DEXA'97, Toulouse, France, September 1-2, 1997). Wagner, R. (redactie). IEEE Computer Society, blz. 36-40

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    48 Citaten (Scopus)
  • A Diophantine equation of Antoniadis

    Weger, de, B. M. M., 1989, Number Theory and Applications (Banff AB, Canada, April 27-May 5, 1988). Mollin, R. A. (redactie). Dordrecht: Kluwer Academic Publishers, blz. 575-589 (NATO ASI Series, Series C: Mathematical and Physical Sciences; vol. 265).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A distributed implementation of a task pool

    Hofstee, H. P., Lukkien, J. J. & Snepscheut, van de, J. L. A., 1992, Research Directions in High-Level Parallel Programming Languages (Proceedings, Mont Saint-Michel, France, June 17-19, 1991). Banâtre, J. P. & Le Métayer, D. (redactie). Berlin: Springer, blz. 338-348 (Lecture Notes in Computer Science; vol. 574).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
  • Adjoint based model adaptation for a linear problem

    Cnossen, J. M., Bijl, H., Koren, B. & Brummelen, van, E. H., 2004, Proceedings ICFD Conference on Numerical Methods for Fluid Dynamics,. Oxford, UK: ICFD

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Downloads (Pure)
  • Advanced workflow patterns

    Aalst, van der, W. M. P., Barros, A. P., Hofstede, ter, A. H. M. & Kiepuszewski, B., 2000, Cooperative Information Systems : 7th international conference, coopIS 2000 Eilat, Israel, September 6-8, 2000. : proceedings. Scheuermann, P. & Etzion, O. (redactie). Berlin: Springer, blz. 18-29 (Lecture Notes in Computer Science; vol. 1901).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    138 Citaten (Scopus)
    5 Downloads (Pure)
  • A dynamic co-allocation service in multicluster systems

    Sinaga, J. M. P., Mohamed, H. H. & Epema, D. H. J., 2005, Job Scheduling Strategies for Parallel Processing (10th International Workshop, JSSPP 2004, New York NY, USA, June 13, 2004. Revised Selected Papers). Feitelson, D., Rudolph, L. & Schweigelshohn, U. (redactie). Berlin: Springer, blz. 194-209 (Lecture Notes in Computer Science; vol. 3277).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    8 Citaten (Scopus)