Faculteit




НазваниеFaculteit
страница14/30
Дата25.09.2012
Размер2.14 Mb.
ТипДокументы
1   ...   10   11   12   13   14   15   16   17   ...   30

Nagekomen publicaties


Blokhuis, A.; Brouwer, A.E.; Wilbrink, H.A.:

Hermitian unitals are codewords.

Discrete Mathematics 97, pp. 63-68. (DW)


Sun, F.W.:

Approaching Channel Capacity by Equiprobable Signaling.

Proceeding of International Winter Meeting on Information and Coding Theory, Essen, 1991, pp. 60. (DW)


Sun, F.W.:

Weakly Perfect Binary Block Codes for Correcting Asymmetric Errors.

Proc. of the International Symposium on Commun., Taiwan, 1991, pp. 57-60. (DW)


Vakpublicaties


Bussemaker, F.C.; Neumaier, A.:

Exceptional graphs with smallest eigenvalue-2 and related problems.

Mathematics of Computation vol. 59, nr. 200, 1992, pp. 583-608. (DW)


Cohen, A.M.:

Computional Group Theory.

CWI Quarterly, Vol. 5, no. 2, Amsterdam, 1992, pp. 89-91. (DW)


1.4

VF-code: TUE.INF.301.90.26

VF-programma:PROGRAMMEREN


Dissertaties


Wetenschappelijke publicaties


Backhouse, R.C.; Bruin, P; Hoogendijk, P.; Malcolm, G.; Voermans, T.S.; Woude, J. van der:

Polynomial Relators.

Proceedings of the 2nd Conference on Algebraïc Methodology and Software Technology, AMAST'91, Nivat, M., Rattray, C.S., Rus, T., Scollo, G. (eds.), Springer Verlag, Workshops in Computing, 1992, pp. 303-326.

Gasteren, A.J.M.; Dijkstra, E.W.: Well-Foundedness and the Transitive Closure.

Programming and Mathematical method: Proceedings of the NATO advanced study institute, Marktoberdorf FRG, Manfred Broy, (ed.), Berlin, Springer, 1992, pp. 11-17.


Hoogerwoord, R.R.:

A symmetric set of efficient list operations.

Journal of Functional Programming 2, (4), 1992, pp. 505-513.


Hutton, G.; Voermans, E.:

Making functionality more general.

In: Functional Programming , Glasgow 1991,Workshop in computing, Springer Verlag, 1992, pp. 177-190.


Kaldewaij, A.:

Programmeren: Deel 1, Pascal.

Bohn, Stafleu, Van Loghhum, 1992, pp. 1-145.


Kaldewaij, A.:

Docentenhandleiding Programmeren: Deel 1, Pascal.

Bohn, Stafleu, Van Loghhum, 1992, pp. 1-36.


Kaldewaij, A.:

Programmeren: Deel 2, Het ontwerpen van algoritmen.

Bohn, Stafleu, Van Loghhum, 1992, pp. 1-155.


Kaldewaij, A.:

Docentenhandleiding Programmeren: Deel 2, Het ontwerpen van algoritmen.

Bohn, Stafleu, Van Loghhum, 1992, pp. 1-35.


Kaldewaij, A.; Udding, J.T.:

Rank Order Filters and Priority Queues.

Distributed Computing, 6, 1992, pp. 99-105.


Kamareddine, F.:

Set Theory and Nominalisation, part I.

Journal of Logic and Computation, Vol. 2, no. 5, 1992, pp. 579-604.


Kamareddine, F.:

Set Theory and Nominalisation, part II.

Journal of Logic and Computation, Vol. 2, no. 6, 1992, pp. 21.


Kamareddine, F.:

Lambda-terms, Logic, Determiners and Quantifiers.

Journal of Logic, Language and Information, Vol. 1, no.1, 1992, pp. 79-103.


Kamareddine, F.:

A system at the cross-roads of functional and logic programming.

Science of Computer Programming 19, 1992, pp. 36.

Leermakers, R.; Augusteijn, L.; Kruseman Aretz, F.E.J.:

A functional LR parser.

Theoretical Computer Science 104, 1992, pp. 313-323.


Swart, H.C.M.; Nederpelt, R.P.:

Implication, A Survey of the Different Logical Anlyses of 'if ... then'.

Nieuw Archief voor wiskunde, vierde serie, 10, no. 1 en 2, Stichting Mathematisch Centrum,

Amsterdam, 1992, pp. 77-104.


Voermans, E.:

Pers as types, inductive types and types with laws.

In: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Workshops in Computing, Springer Verlag, 1992, pp. 274-291.


Abstracts


Vakpublicaties


Backhouse, R.C.:

Calculating the Warshall/Floyd path algorithm.

Computing Science Note 92/09, EUT, Eindhoven, 1992, pp. 14.


Backhouse, R.C.; Woude, J. van der:

Demonic operators and Monotype Factors.

Computing Science Note 92/11, EUT, Eindhoven, 1992, pp. 29.


Borghuis, V.A.J.:

Reasoning about the knowledge of others.

Think, Vol. 1(1), ITK, KU, Tilburg, 1992, pp. 6.


Eijnde, J.P.H.W.:

Conservative Fixpoint Functions on a Graph.

Computing Science Note (CSN) 92-05, 1992, pp. 27.


Eijnde, J.P.H.W.:

Program Derivation in Acyclic Graphs and Related Problems.

Computing Science Note (CSN) 92-04, 1992, pp. pp. 82.


Kamareddine, F.:

Set Theory and Nominalisation, Part I.

Computing Science Note 92/12, EUT, Eindhoven, 1992, pp. 25.


Kamareddine, F.:

Set Theory and Nominalisation, Part II.

Computing Science Note 92/13, EUT, Eindhoven, 1992, pp. 21.


Kamareddine, F.:

Non Well-foundedness and type freeness can unify the interpretation of functional application.

Computing Science Note 92/21, EUT, Eindhoven, 1992, pp. 16.


Kamareddine, F.:

A system at the cross-roads of functional and logic programming.

Computing Science Note 92/15, EUT, Eindhoven, 1992, pp. 36.


Kamareddine, F.:

Are types needed for Natural Language?

Computing Science Note 92/20, EUT, Eindhoven, 1992, pp. 32.


Kamareddine, F.; Klein, E.:

Nominalisation, predication and Type containment.

Computing Science Note 92/23, EUT. Eindhoven, 1992, pp. 40.


Kruseman Aretz, F.E.J.:

LALR(1) : LL(1) = LR(0) : LL(0)

Is er nog nieuws? (P. van Emde Boas, P.W. Hemker, W. Hoffman, P.J. van der Houwen en P.R. Pfluger (eds.), 1992, pp. 1-16.


Nederpelt, R.P.:

The fine-structure of lambda calculus.

Computing Science Note 92/07, EUT, Eindhoven, 1992, pp. 104.


Nederpelt, R.; Kamareddine, F.:

On stepwise explicit substitution.

Computing Science Note 92/08, EUT, Eindhoven, 1992, pp. 23.


Nederpelt, R.; Kamareddine, F.:

A useful lambda notation.

Computing Science Note 92/22, EUT, Eindhoven, 1992, pp. 17.


Nederpelt, R.; Kamareddine, F.:

A unified approach to Type Theory through a refined lambda-calculus.

Computing Science Note 92/18, EUT, Eindhoven, 1992, pp. 30.


Poll, E.:

A Programming Logic for Fw.

Computing Science Note 92/25, EUT, Eindhoven, 1992, pp. 15.


Watson, B.W.; Zwaan, G.:

A Taxonomy of Keyword Pattern Matching Algorithms.

Report CSN 92/27, EUT, Eindhoven, 1992, pp. 50.


1.5.

VF-code: TUE.INF.302.90.26

VF-programma: PARALLELLISME


Dissertaties


Berkel, C.H. van:

Handshake Circuits: An Intermediary between Communicating Processes and VLSI Type S.

Promotor: prof.dr. M. Rem.

Eindhoven, 1992, pp. 253. (III)


Loyens, L.D.J.C.:

A Design Method for Parallel Programs.

Promotoren: prof.dr. M. Rem, prof.dr. R.C. Backhouse. Co-promotor: prof.dr. P.A.J. Hilbers.

Eindhoven, 1992, pp. 117. (III)


Schoenmakers, L.A.M.:

Data Structures and Amortized Complexity.

Promotor: prof.dr. M. Rem. Co-promotor: dr. A. Kaldewaij.

Eindhoven, 1992, pp. 193. (I)


Schols, H.M.J.L.:

Delay-insensitive Communication.

Promotoren: prof.dr. M. Rem, prof. C.E. Molnar, Sc.D.

Eindhoven, 1992, pp. 289. (I)


Struik, P.:

Designing Parallel Programs of Parameterized Granularity.

Promotor: prof.dr. M. Rem. Co-promotor: dr. A. Kaldewaij.

Eindhoven, 1992, pp. 90. (I)


Wetenschappelijk Publicaties


Aarts, E.; Leeuwen, J. van; Rem, M.:

Parallel Computing.

Future Generation Computer Systems 8, 1992, pp. 267-268.


Baeten, J.C.M.; Vaandrager, F.W.:

An algebra for process creation.

Acta Inf. 29, 1992, pp. 303-334.


Baeten, J.C.M.; Bergstra, J.A.:

Process algebra with signals and conditions.

Programming and mathematical method, Proc. Summer School, Marktoberdorf 1990 M. Broy, (ed.), NATO ASI Series F 88, Springer Verlag, 1992, pp. 273-323.


Baeten, J.C.M.; Bergstra, J.A.:

The state operator in real time process algebra.

Real Time: Theory in Practice, Proc. REX Workshop, Mook 1991, J.W. de Bakker, C. Huizing, W.P. de Roever en G. Rozenberg, (eds.), Springer LNCS 600, 1992, pp. 107-123.


Baeten, J.C.M.; Bergstra, J.A.: Asynchronous communication in real space process algebra.

Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen 1992, J. Vytopil, (ed.), Springer LNCS 571, 1992, pp. 473-492.


Baeten, J.C.M.; Bergstra, J.A.:

Discrete time process algebra (extended abstract).

Proc. CONCUR'92, Stony Brook, NY, W.R. Cleaveland, (ed.), Springer LNCS 630, 1992, pp. 401-420.


Baeten, J.C.M.; Bergstra, J.A.; Smolka, S.A.:

Axiomatizing probabilistic processes: ACP with generative probabilities (extended abstract).

Proc. CONCUR'92, Stony Brook, NY, W.R. Cleaveland, (ed.), Springer LNCS 630, 1992, pp. 472-485.


Bakker, J.W. de; Huizing, C.; Roever, W.P. de; Rozenberg, G.; (eds).

Real-Time: Theory in Practice, Proc. REX Workshop, Mook 1991.

Springer Verlag, LNCS 600.


Boer, F. de; Hooman, J.J.M.:

The Real-Time Behaviour of Asynchronously Communicating Processes.

Proceedings Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, Vol. 571, Springer-Verlag, 1992, pp. 451-472.


Boer, F.S. de; Kok, J.N.; Palamidessi, C.; Rutten, J.J.M.M.:

From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic.

Theoretical Computer Science, Vol. 101, 1992, pp. 239-263.


Boer, F.S. de; Klop, J.W.; Palamidessi, C.:

Asynchronous communication in process algebra.

Logic in Computer Science (LICS), Santa Cruz, California, 1992, pp. 137-147.


Boer, F.S. de; Palmidessi, C.:

On the semantics od concurrent constraint programming.

Proceedings of the Conference of the Association for Logic Programming, UK Branch, ALPUK92, London, England, Lecture Notes in Computer Science, 1992, pp. 145-173.


Boer, F.S. de; Palamidessi, C.:

A process algebra of concurent constraint programming.

Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP'92, 1992, pp. 106-120.


Cau, A.; Kuiper, R.; Roever, W.P. de:

Formalising Dijkstra's development strategy within Stark's formalism.

5th Refinement Workshop BCS-FACS, Londen, Workshops in Computing Series, Springer-Verlag, 1992, pp. 4-42.


Coenen, J.; Hooman. J.J.M.:

A compositional Semantics for Fault-Tolerant Real-Time Systems.

Proc. of the Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer LNCS 571, 1992, pp. 33-51.


Ebergen, J.C.; Peeters, A.M.G.:

The Modulo-N Counter: Design and Analysis of Delay-Insensitive Circuits.

Proceeding of second workshop on Designing Correct Circuits, Lyngby, Denemarken, J. Staunstrup, R. Sharp, (eds.), Elsevier Science Publishers B.V., North-Holland, 1992, pp. 27-46.


Gerth, R.; Kuiper, R.; Segers, J.:

Interface refinement in reactive systems.

CONCUR92, LNCS 630, 1992, pp. 77-94


Goltz, U.; Kuiper, R.; Penczek, W.:

Propositional temporal logics and equivalences.

CONCUR92, LNCS 630, 1992, pp. 222-236.


Hofstee, H.P.; Snepscheut, J.L.A.;, Lukkien, J.J.:

A distributed implementation of a task pool.

Notes in Computer Science 574, 1992, pp. 338-348.


Hooman, J.J.M.:

Compositional Verification of Real-Time Systems using Extended Hoare Triples.

Proceedings REX Workshop on Real-Time: Theory in Practice, Lecture Notes in Computer Science, Vol. 600, Springer-Verlag, 1992, pp. 252-290.


Hooman, J.J.M.:

A Compositional Method for the Top-Down Design of Real-Time Systems.

Proceedings Fourth Euromicro Workshop on Real-Time Systems, KWARD EDIEEE Computer Society Press, 1992, pp. 86-91.


Hooman, J.J.M.; Ramesh, S.; Roever, W.P. de:

A Compositional Axiomatization of State-charts.

Theoretical Computer Science, Vol. 101, 1992, pp. 289-335.

Hooman, J.J.M.; Roever, W.P. de:

An introduction to compositional methods for concurency and their application to real-time.

Sadhana, Academy Proceedings in Engineering Science, Vol. 17, Part 1, Indian Academy of Science, 1992, pp. 29-73.


Huizing, C.; Gerth, R.:

Semantics of reactive systems and abstract time.

Proceedings of the NFI/REX workshop on "Real Time: Theory in Practice", LNCS 600, Springer Verlag, New York, 1992, pp. 291-315.


Josephs, M.B.; Mak, R.H.; Udding, J.T.; Verhoeff, T.; Jantchev, J.T.:

High-Level Design of an Asynchronous Packet-Routing Chip.

Proceedings of the Second Workshop on Designing Correct Circuits, J. Staunstrup, R. Sharp, (eds.), Lyngby, Elsevier North-Holland, 1992, pp. 261-274.


Korst, M. van der; Peeters, A.; Schols, H.:

Design and Implementation of Asynchronous Circuits.

Proceedings of Workshop, Amsterdam, 10-14 november 1992, North Holland ,1992, pp. 60.


Lukkien, J.J.; Snepscheut, J.L.A. van de:

Predicate transformers for progress.

Formal Aspects of Computing 4, 1992, pp. 195-236.


Zhou, P.; Hooman, J.J.M.:

A Proof Theory for Asynchronously Communicating Real-Time Systems.

Proceedings of the 13th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, 1992, pp. 177-186.


Zwiers, J.; Coenen, J.; Roever, W.P. de:

A Note on Compositional Refinement Workshop.

Proceedings of the 5th BCS-FACS Refinement Workshop, Workshops in Computing, Springer, 1992, pp. 342-366.


Abstracts


Coenen, J.:

Specifing Fault-Tolerant Programs in Deontic Logic (Abstract).

Proceedings of the Workshop on Logics for Distributed Systems.

Internal report GMD, Bonn, 1992, pp. 3-5.


Vakpublicaties


Baeten, J.C.M.:

The total order assumption.

Report CSN 92/14, EUT, Eindhoven; Proc. Workshop "What good is partial order", Sheffield; Hildesheimer Informatik Berichte 13/92, Universität Hildesheim; to appear in Proc. 1st North American Process Algebra Workshop, Port Jefferson, USA, 1992, pp. 1-11.


Baeten, J.C.M.; Bergstra, J.A.:

Asynchronous communication in real space process algebra.

Proc. Workshop on Concurrency, Båstad 1991, L. Augustsson, P. Dybjer, B. Nordström, K.V.S. Prasad en B. von Sydow, (eds.), Programming Methodology Group, Chalmers University, report 63, 1992, pp. 56-75.


Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.:

Decidability of bisimulation equivalence for processes generating context-free languages.

Prog. report P9210, UvA, 1992, to appear in JACM.


Baeten, J.C.M.; Bergstra, J.A.:

Real space process algebra.

Prog. report P9206, UvA, Amsterdam; report CSN 92/03, EUT, Eindhoven, 1992, to appear in FAC.

Baeten, J.C.M.; Bergstra, J.A.:

Discrete time process algebra.

Prog. report P9208, UvA, Amsterdam, report CSN 92/06 EUT, Eindhoven, 1992, pp. 45.


Baeten, J.C.M.; Bergstra, J.A.; Smolka, S.A.:

Axiomatizing probabilistic processes: ACP with generative probabilities.

Prog. report P9218, UvA, Amsterdam, report CSN 92/19, EUT, Eindhoven, 1992, pp. 36.


Blanco, J.:

Definability with the State Operator in Process Algebra.

Report P9221, UvA, Amsterdam, 1992, pp.27.


Codish, M.; Dams, D.; Yardeni, E.:

Bottum-up Abstract Interpretation of Logic Programs.

Computing Science Note 92/24, to appear in Theoretical Computer Science.


Gerth, R.; Kuiper, R.; Segers, J.:

Interface refinement.

Deliverable BRA project SPEC, 1992, pp. 1-22.


Goltz, U.; Kuiper, R.; Penczek, W.:

Propositional temporal logics and equivalences.

Deliverable BRA project SPEC, 1992, pp. 1-38.


Hooman, J.J.M.:

Top-Down Design of Embedded Real-Time Systems.

Deliverable D8.4.3a, ESPRIT-BRA project 3096 (SPEC), 1992, pp. 47.


Huizing, C.:

Comparison of Timed Reactive Systems.

Deliverable BRA project SPEC, pp. 14.


Huizing, C.; Gerth, R.:

Semantics of reactive systems in abstract time.

Technisch Rapport BRA project SPEC, 1992, pp. 291-314. (I)


Mauw, S.; Wijk, M. van; Winter, T.:

Syntax and semantics of synchronous interworkings.

Philips IST report RWB-508-RE-92436, Eindhoven, 1992, pp. 47.


Veltkamp, J.P.:

Rapport DIPPER-project PCA 4038.

1   ...   10   11   12   13   14   15   16   17   ...   30

Похожие:

Faculteit iconFaculteit

Faculteit iconFaculteit

Faculteit iconFaculteit

Faculteit iconUniversiteit Gent Faculteit Landbouwkundige en Toegepaste Biologische Wetenschappen Vakgroep plantaardige productie

Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница