Publications By Year

Also available in pdf and bibtex.

2005

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

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).
   
   
2. 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).
   
   
3. 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).
   
   
4. B. Heeren and D. Leijen. Gebruiksvriendelijke compiler voor het onderwijs. Informatie, 46(8):46 -- 50, Oktober 2004. (bib).

2003

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).
   
   
3. 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).
   
   
4. 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

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).
   
   
2. 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).
   
   
3. 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

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

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

1999

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

1998

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

1997

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

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

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