Publications By Type By Year

Also available in pdf and bibtex.

2005

In Proceedings

1. B. Heeren and J. Hage. Type Class Directives. In Seventh International Symposium on Practical Aspects of Declarative Languages, pages 253 -- 267, Berlin, 2005. Springer Verlag. (bib).

2004

Journal Articles

1. J. Hage and T. Harju. A characterization of acyclic switching classes using forbidden subgraphs. SIAM Journal on Discrete Mathematics, 18(1):159 -- 176, 2004. (bib).
   
   
2. B. Heeren and D. Leijen. Gebruiksvriendelijke compiler voor het onderwijs. Informatie, 46(8):46 -- 50, Oktober 2004. (bib).

In Proceedings

1. A. Ehrenfeucht, J. Hage, T. Harju, and G. Rozenberg. Embedding in Switching Classes with Skew Gains. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, Graph Transformations, Second International Conference, ICGT 2004, volume LNCS 3256, pages 257 -- 270. Springer Verlag, September/October 2004. Same as technical report UU-CS-2004-023 (bib).

Technical Reports

1. B. Heeren and J. Hage. A first attempt at type class directives. Technical Report UU-CS-2002-031, Institute of Information and Computing Science, University Utrecht, Netherlands, September 2004. Technical Report (bib).

2003

Journal Articles

1. J. Hage. Enumerating submultisets of multisets. Inf. Proc. Letters, 85(4):221 -- 226, 2003. (bib).
   
   
2. J. Hage, T. Harju, and E. Welzl. Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. Fundamenta Informaticae, 58(1):23--37, November 2003. (bib).

In Proceedings

1. B. Heeren, J. Hage, and S. D. Swierstra. Constraint based type inferencing in Helium. In M.-C. Silaghi and M. Zanker, editors, Workshop Proceedings of Immediate Applications of Constraint Programming, pages 59 -- 80, Cork, September 2003. (bib).
   
   
2. B. Heeren, J. Hage, and S. D. Swierstra. Scripting the type inference process. In Eighth ACM Sigplan International Conference on Functional Programming, pages 3 -- 13, New York, 2003. ACM Press. (bib).

2002

In Proceedings

1. J. Hage, T. Harju, and E. Welzl. Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Transformation, First Int. Conf, ICGT 2002, volume 2505 of Lecture Notes in Computer Science, pages 48--60, Berlin, 2002. Springer Verlag. (bib).

Technical Reports

1. B. Heeren and J. Hage. Parametric Type Inferencing for Helium. Technical Report UU-CS-2002-035, Institute of Information and Computing Science, University Utrecht, Netherlands, August 2002. Technical Report (bib).
   
   
2. B. Heeren, J. Hage, and D. Swierstra. Generalizing Hindley-Milner Type Inference Algorithms. Technical Report UU-CS-2002-031, Institute of Information and Computing Science, University Utrecht, Netherlands, July 2002. Technical Report (bib).

2001

Phd Theses

1. J. Hage. Structural Aspects Of Switching Classes. PhD? thesis, Leiden Institute of Advanced Computer Science, 2001. http://www.cs.uu.nl/people/jur/2s.html (bib).

2000

Journal Articles

1. A. Ehrenfeucht, J. Hage, T. Harju, and G. Rozenberg. Pancyclicity in Switching Classes. Inf. Proc. Letters, 73(5--6):153 -- 156, 2000. (bib).
   
   
2. J. Hage and T. Harju. The size of switching classes with skew gains. Discrete Math., 215:81 -- 92, 2000. (bib).

In Proceedings

1. A. Ehrenfeucht, J. Hage, T. Harju, and G. Rozenberg. Complexity Issues in Switching of Graphs. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Theory And Application Of Graph Transformations - TAGT '98, volume 1764 of Lecture Notes in Computer Science, pages 59--70, Berlin, 2000. Springer Verlag. (bib).

Technical Reports

1. J. Hage and T. Harju. A characterization of acyclic switching classes using forbidden subgraphs. Technical Report 5, Leiden University, Department of Computer Science, 2000. Old version in Technical report (bib).

1999

Journal Articles

1. J. Hage. The membership problem for switching classes with skew gains. Fundamenta Informaticae, 39(4):375--387, 1999. (bib).

1998

Journal Articles

1. J. Hage and T. Harju. Acyclicity of Switching Classes. European J. Combin., 19:321--327, 1998. (bib).

1997

Technical Reports

1. A. Ehrenfeucht, J. Hage, T. Harju, and G. Rozenberg. Complexity Problems In Switching Classes Of Graphs. Technical Report 15, Leiden University, Department of Computer Science, 1997. (bib).

1996

Technical Reports

1. J. Hage and T. Harju. The size of 2-classes in group labeled 2-structures. Technical Report 17, Leiden University, Department of Computer Science, 1996. Generalized in [] (bib).

1994

Technical Reports

1. J. Hage. ARL and PR2, reversible languages. Technical Report 94-25, Leiden University, Leiden, 1994. (bib).

---

This bibliography was generated using the Stratego/XT bibtex-tools.

---

This document was translated from L^AT_EX by H^EV^EA.

-- JurriaanHage - 07 Dec 2004