Theoretical Computer Science

Filter
Conference contribution

Search results

  • 2003

    Satin: Simple and Efficient Java-based Grid Programming

    van Nieuwpoort, R. V., Maassen, J., Hofman, R., Kielmann, T. & Bal, H. E., 2003, AGridM Workshop on Adaptive Grid Middleware. New Orleans, Louisiana, USA

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 2002

    Ibis: an Efficient Java-based Grid Programming Environment

    van Nieuwpoort, R. V., Maassen, J., Hofman, R., Kielmann, T. & Bal, H. E., 2002, Joint ACM Java Grande - ISCOPE 2002 Conference. Seattle, Washington, USA, p. 18-27

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • The context cube lambda[]: Barendregt's lambda cube with contexts

    Bognar, M. & de Vrijer, R. C., 2002, Workshop on 25 Years of Automath. Kamareddine, F. (ed.). Herriot-Watt University

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 2001

    2-nested simulation is not finitely equationally axiomatizable

    Aceto, L., Fokkink, W. & Ingólfsdóttir, A., 1 Jan 2001, STACS 2001 - 18th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Ferreira, A. & Reichel, H. (eds.). Springer - Verlag, p. 39-50 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2010).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • μCRL: A toolset for Analysing Algebraic Specifications

    Blom, S., Fokkink, W., Groote, J. F., Van Langevelde, I., Lisser, B. & Van de Pol, J., 1 Jan 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). Springer - Verlag, p. 250-254 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Source-Level Global Optimizations for Fine-Grain Distributed Shared Memory Systems

    Veldema, R. S., Hofman, R. F. H., Jacobs, C. J. H., Bhoedjang, R. A. F. & Bal, H. E., 2001, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'01). Snowbird, Utah: ACM

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 2000

    An ω-Complete equational specification of interleaving

    Fokkink, W. J. & Luttik, S. P., 1 Jan 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Welzl, E. & Rolim, J. D. P. (eds.). Springer - Verlag, p. 729-743 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1853).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Constructor subtyping in the Calculus of Inductive Constructions.

    Barthe, G. & van Raamsdonk, F., 2000, Proceedings of FOSSACS 2000. Tiuryn, J. (ed.). Berlin, Germany: Springer Verlag, p. 17-34

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Faster algorithms for domination of planar graphs

    Bodlaender, H. L., Kloks, A. J. J., Niedermeier, R. & Fernau, H., 2000, proceedings of 17th SWAT'2000.

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Jackal: A Compiler-Supported, Fine-Grained, Distributed Shared Memory Implementation of Java.

    Veldema, R. S., Bhoedjang, R. A. F., Hofman, R. F. H., Jacobs, C. J. H. & Bal, H. E., 2000, Proc. 6th Annual ASCI Conference.. p. 256-272

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic

  • New results on lambda-colorings for special graph classes.

    Bodlaender, H. L., Kloks, A. J. J., van Leeuwen, J. & Tan, R. B., 2000, proceedings STACS'2000.

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Parameterized tractability of some (efficient) Y-domination variants for planar graphs and t-degenerate graphs

    Cai, L. & Kloks, A. J. J., 2000, Proceedings International Computer Symposium 2000.

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • The Albatross Project: Parallel Application Support for Computational Grids.

    Kielmann, T., Bal, H. E., Maassen, J., van Nieuwpoort, R. V., Veldema, R. S., Hofman, R., Jacobs, C. J. H. & Verstoep, K., 2000, Proc. 1st European GRID Forum Workshop.. Poznan, Poland, p. 341-348

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1999

    Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

    Fokkink, W. & Verhoef, C., 1 Jan 1999, Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Finance, J.-P. (ed.). Springer - Verlag, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1577).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Logic Programming with Requests.

    Etalle, S. & van Raamsdonk, F., 1999, Proceedings of the 1999 International Conference on Logic Programming (ICLP'99), Las Cruces, USA, December 1999. MIT Press, p. 558-572

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • The context calculus lambda-c.

    Bognar, M. & de Vrijer, R. C., 1999, Workshop on Logical Frameworks and Meta-languages, Paris, France, 28 September 1999..

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1998

    A cook’s tour of equational axiomatizations for prefix iteration

    Aceto, L., Fokkink, W. & Ingólfsdóttir, A., 1 Jan 1998, Foundations of Software Science and Computation Structures - 1st International Conference, FoSSaCS 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998, Proceedings. Nivat, M. (ed.). Springer - Verlag, p. 20-34 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1378).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • EURIS, a specification method for distributed interlockings

    van Dijk, F., Fokkink, W., Kolk, G., van de Ven, P. & van Vlijmen, B., 1 Jan 1998, Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings. Ehrenberger, W. (ed.). Springer - Verlag, p. 296-305 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1516).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1997

    Axiomatizations for the perpetual loop in process Algebra

    Fokkink, W., 1 Jan 1997, Automata, Languages and Programming - 24th International Colloquium, ICALP 1997, Proceedings. Degano, P., Gorrieri, R. & Marchetti-Spaccamela, A. (eds.). Springer - Verlag, p. 571-581 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1256).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Simulation as a correct transformation of rewrite systems

    Fokkink, W. & van de Pol, J., 1 Jan 1997, Mathematical Foundations of Computer Science 1997 - 22nd International Symposium, MFCS 1997, Proceedings. Privara, I. & Ruzicka, P. (eds.). Springer - Verlag, p. 249-258 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1295).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1994

    The tyft/tyxt format reduces to tree rules

    Fokkink, W. J., 1 Jan 1994, Theoretical Aspects of Computer Software - International Symposium TACS 1994, Proceedings. Mitchell, J. C. & Hagiya, M. (eds.). Springer - Verlag, p. 440-453 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 789 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1993

    An elimination theorem for regular behaviours with integration

    Fokkink, W. J., 1 Jan 1993, CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings. Best, E. (ed.). Springer - Verlag, p. 432-446 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 715 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review