8. EUROCAST 2001:
Las Palmas de Gran Canaria,
Canary Islands,
Spain
Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (Eds.):
Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers.
Lecture Notes in Computer Science 2178 Springer 2001, ISBN 3-540-42959-X BibTeX
@proceedings{DBLP:conf/eurocast/2001,
editor = {Roberto Moreno-D\'{\i}az and
Bruno Buchberger and
Jos{\'e} Luis Freire},
title = {Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de
Gran Canaria, Spain, February 19-23, 2001, Revised Papers},
booktitle = {EUROCAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2178},
year = {2001},
isbn = {3-540-42959-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lectures
Computer Aided Systems Theory
Mathematical and Logic Formalisms
Information and Decision
Complexity
- Jose F. Bienvenido, Isabel M. Flores-Parra, Rafael Guirado, Roque Marín:
Knowledge Based Modeling of the Design Processes as a Base of Design Tools. Application to the Development of Agricultural Structures.
209-222
Electronic Edition (Springer LINK) BibTeX
- Stefan Dierneder, Rudolf Scheidl:
Complexity Analysis of Systems from a Functional and Technical Viewpoint.
223-232
Electronic Edition (Springer LINK) BibTeX
- Juan David González Cobas, José Antonio López Brugos:
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength.
233-241
Electronic Edition (Springer LINK) BibTeX
- Carlos A. P. Campani, Paulo Blauth Menezes:
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity.
242-256
Electronic Edition (Springer LINK) BibTeX
- Josef Scharinger:
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution.
257-269
Electronic Edition (Springer LINK) BibTeX
- Lina García-Cabrera, María José Rodríguez-Fórtiz, José Parets-Llorca:
Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory.
270-284
Electronic Edition (Springer LINK) BibTeX
- Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani:
Optimization Problems Categories.
285-299
Electronic Edition (Springer LINK) BibTeX
CAST in Neural-like Computation - Applications
- Roberto Moreno-Díaz, Gabriel de Blasio:
Systems Methodology for Classical Neural Nets at Various Levels.
300-315
Electronic Edition (Springer LINK) BibTeX
- Alexis Quesada-Arencibia, Roberto Moreno-Díaz Jr., Miguel Alemán-Flores:
Biologically Based CAST-mechanism for Visual Motion Analysis.
316-327
Electronic Edition (Springer LINK) BibTeX
- Carmen Paz Suárez Araujo, Pablo Fernández López, Patricio García Báez:
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach.
328-342
Electronic Edition (Springer LINK) BibTeX
- Marta E. Zorrilla, José Luis Crespo, Eduardo Mora:
An Online Information Retrieval Systems by Means of Artificial Neural Networks.
343-351
Electronic Edition (Springer LINK) BibTeX
- Germano Resconi, Alberto Borboni, Rodolfo Faglia, Monica Tiboni:
Kinematics in Robotics by the Morphogenetic Neuron.
352-368
Electronic Edition (Springer LINK) BibTeX
- Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Analysis and Verification Queries over Object-Oriented Petri Nets.
369-384
Electronic Edition (Springer LINK) BibTeX
CAST in Automation and Control
Computer Algebra and Automated Theorem Proving
Functional Programming and Lambda-Calculus
- Miguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge:
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server.
540-554
Electronic Edition (Springer LINK) BibTeX
- César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio:
Hidden Specification of a Functional System.
555-569
Electronic Edition (Springer LINK) BibTeX
- André Rauber Du Bois, Antônio Carlos da Rocha Costa:
Distributed Execution of Functional Programs Using the JVM.
570-582
Electronic Edition (Springer LINK) BibTeX
- José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas:
Fusion in Coq.
583-596
Electronic Edition (Springer LINK) BibTeX
- José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez:
A Language Prototyping Tool Based on Semantic Building Blocks.
597-611
Electronic Edition (Springer LINK) BibTeX
- Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina:
Verifying an Applicative ATP Using Multiset Relations.
612-626
Electronic Edition (Springer LINK) BibTeX
- Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura:
Adding Traces to a Lazy Monadic Evaluator.
627-641
Electronic Edition (Springer LINK) BibTeX
- Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder:
Functional Vs Object-Oriented Distributed Languages.
642-656
Electronic Edition (Springer LINK) BibTeX
- Juan J. Quintela, Juan J. Sánchez:
Persistent Haskell.
657-667
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:11:07 2009
by Michael Ley (ley@uni-trier.de)
