PMS

This is the central portal to the iCIS Publication Management System (PMS).

About a decade ago it was intended to be the only system for keeping track of publications by iCIS members. In particular, it was the dedicated system for creating new technical reports.

However, this system has been abandoned and is only kept available for retrieving old publications.

Apart from security updates in the underlying framework, it is not supported anymore.

If you have questions about it, please contact Engelbert Hubbers.

This web site requires that javascript be enabled. Click here for instructions..

ICIS Technical Reports:

2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987

1991

[All BiBTeX entries for this year]

A.H.M. ter Hofstede, N.E. van Oosterom, and G.R. Renardel de Lavalette. Towards the Integration of NIAM and ExSpect. Technical report, October, ITI-TNO, Delft, The Netherlands, EU, 1991, ESPRIT II Project PROOFS.

[ Missing PDF ] [ Bibtex ]

J. Braam. Training a multi layer perception for particle size analysis. Technical report: CSI-R9102, Januar, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

S.J. van Bakel. Principal type schemes for the strict type assignment system. Technical report: CSI-R9106, March, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. Two boys and a Computer. Technical report: CSI-R9107, April, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

J.-J. Meyer. Modal Logics for Knowledge Representation. Technical report: CSI-R9108, April, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

L.M.W.J. Rutten, P. Koopman, M.C.J.D. v, and M.J. Plasmeijer. Functional Specification of a Neural Network. Technical report: CSI-R9109, April, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

H.A. van Thienen. Transformational Reasoning on Process Expressions. Technical report: CSI-R9110, April, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster, and J.G. Beney. On the borderline between grammars and programs. Technical report: CSI-R9117, August, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

E. Farkas, C.H.A. Koster, P. Kï¿½ves, and M. Naszï¿½di. Towards an Affix Grammar for the Hungarian Language. Technical report: CSI-R9118, August, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

H.P. Barendregt. Lambda Calculi with Types. Technical report: CSI-R9119, September, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

H.A. Partsch, and E.A. Boiten. A Note on Similarity of Specifications and Reusability of Transformational Developments. Technical report: CSI-R9120, September, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

E.A. Boiten. Intersections of Sets and Bags of Extended Substructures - a Class of Problems and Can Bag Comprehension be used at all?. Technical report: CSI-R9121, September, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

S.J. van Bakel, J.E.W. Smetsers, and S. Brock. Type assignment in Left Linaear Applicative Term Rewriting Systems. Technical report: CSI-R9122, September, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

M. van Hulst, and J.-J. Meyer. A Taxonomy of Knowledge in Distributed Systems. Technical report: CSI-R9123, November, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

E.A. Boiten. The many disguises of accumulation. Technical report: CSI-R9126, December, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

C. Dekkers, C.H.A. Koster, M.-J. Nederhof, and A. Zwol. Manual for the Grammar Work Bench Version 1.0. Technical report: CSI-R9128, December, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

L.W.J. Rooijakkers, and M. Massink. A simplified token bus protocol specified using LOTOS. Technical report: CSI-R9215, January, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]