Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19--23, 2001. Revised papers (Q5951859)

The articles of mathematical interest will be reviewed individually. The preceding workshop (7th, 1999) has been reviewed individually (see Zbl 0943.00069). Indexed articles: \textit{Buchberger, Bruno}, Gröbner bases: A short introduction for systems theorists, 1-19 [Zbl 1023.68882] \textit{Börger, Egon}, Design for reuse via structuring techniques for ASMs, 20-35 [Zbl 1023.68578] \textit{Affenzeller, Michael; Pichler, Franz; Mittelmann, Rudolf}, On CAST. FSM computation of hierarchical multi-layer networks of automata, 36-44 [Zbl 1023.68696] \textit{Meine, Sebastian}, A holarchical organized design assistant for hierarchical decompositions, 45-51 [Zbl 1023.93500] \textit{Jacak, Witold; Pröll, Karin; Dreiseitl, Stephan}, Conflict management in an intelligent multiagent robotic system based on FSM approach, 52-66 [Zbl 1023.68680] \textit{Di Nardo, Elvira; Nobile, Amelia G.; Pirozzi, Enrica; Ricciardi, Luigi M.}, Computer-aided simulations of Gaussian processes and related asymptotic properties, 67-78 [Zbl 1023.65500] \textit{Stauner, Thomas}, Hybrid systems' properties -- classification and relation to computer science, 79-93 [Zbl 1023.93512] \textit{Ábrahám-Mumm, Erika; Hannemann, Ulrich; Steffen, Martin}, Assertion-based analysis of hybrid systems with PVS, 94-109 [Zbl 1023.93510] \textit{von Issendorff, Hermann}, Algebraic description of physical systems, 110-124 [Zbl 1023.93019] \textit{Shimogawa, Takuhei}, Information structure and logical design of social rules, 125-138 [Zbl 1023.91502] \textit{Németh, Gábor}, Towards a generic model of information processing systems, 139-145 [Zbl 1023.68811] \textit{Hurtado, Maria V.; Parets, Jose}, Evolutionary information and decision support systems: An integration based on ontologies, 146-159 [Zbl 1023.68693] \textit{del Aguila, Isabel María; Túnez, Samuel; Cañadas, Joaquín; Bosch, Alfonso; Marín, Roque}, A proposal for project management using CommonKADS, 160-171 [Zbl 1023.68746] \textit{Mauerkirchner, Manfred}, A general planning method for allocation of human resource groups, 172-181 [Zbl 1023.90522] \textit{Schwaninger, Markus}, Optimizing organizational structure: A Hausdorff benchmark for complex social systems, 182-195 [Zbl 1023.90523] \textit{Paniagua-Arís, Enrique; Palma-Méndez, José T.; Martín-Rubio, Fernando}, A planning under uncertainty model, 196-208 [Zbl 1023.68676] \textit{Bienvenido, Jose F.; Flores-Parra, Isabel M.; Guirado, Rafael; Marín, Roque L.}, Knowledge based modeling of the design process as a base of design tools. Application to the development of agricultural structures, 209-222 [Zbl 1023.68717] \textit{Dierneder, Stefan; Scheidl, Rudolf}, Complexity analysis of systems from a functional and technical viewpoint, 223-232 [Zbl 1023.68688] \textit{González Cobas, Juan David; López Brugos, José Antonio}, A complexity-theoretic approach to the design of good measures of cryptographic strength, 233-241 [Zbl 1023.94525] \textit{Campani, Carlos A. P.; Menezes, Paulo Blauth}, Characterizing the software development process: A new approach based on Kolmogorov complexity, 242-256 [Zbl 1023.68540] \textit{Scharinger, Josef}, Application of signed Kolmogorov hashes to provide integrity and authenticity in web-based software distribution, 257-269 [Zbl 1023.68567] \textit{García-Cabrera, Lina; Rodríguez-Fórtiz, María José; Parets-Llorca, José}, Toward a formalisation of evolutionary hypermedia systems based on system theory, 270-284 [Zbl 1023.68759] \textit{dos Santos Leal, Liara Aparecida; Menezes, Paulo Blauth; Moraes Claudio, Dalcidio; Vieira Toscani, Laira}, Optimization problems categories, 285-299 [Zbl 1023.68058] \textit{Moreno-Díaz, Roberto; de Blasio, Gabriel}, Systems methodology for classical neural nets at various levels, 300-315 [Zbl 1023.68581] \textit{Quesada-Arencibia, Alexis; Moreno-Díaz, Roberto jun.; Aleman-Flores, Miguel}, Biologically based CAST-mechanism for visual motion analysis, 316-327 [Zbl 1023.68825] \textit{Suarez Araujo, Carmen Paz; Fernandez Lopez, Pablo; Garcia Baez, Patricio}, Towards a model of volume transmission in biological and artificial neural networks: A CAST approach, 328-342 [Zbl 1023.92500] \textit{Zorrilla, Marta E.; Crespo, José Luis; Mora, Eduardo}, An online information retrieval systems by means of artificial neural networks, 343-351 [Zbl 1023.68873] \textit{Resconi, Germano; Borboni, Alberto; Faglia, Rodolfo; Tiboni, Monica}, Kinematics in robotics by the morphogenetic neuron, 352-368 [Zbl 1023.68102] \textit{Ceska, Milan; Janousek, Vladimír; Vojnar, Tomás}, Analysis and verification queries over object-oriented Petri nets, 369-384 [Zbl 1023.68731] \textit{Albertos, Pedro; Crespo, Alfons}, Integrated design and implementation of digital controllers, 385-392 [Zbl 1023.93509] \textit{Rodríguez-Millán, Jesús}, Symbolic computation tools for dynamical nonlinear control systems, 393-404 [Zbl 1023.93501] \textit{Rodríguez-Millán, Jesús}, Integrated symbolic-graphic-numeric analysis and design in nonlinear control through notebooks in Mathematica, 405-420 [Zbl 1023.93502] \textit{Frappier, Marc; St-Denis, Richard}, Towards a computer-aided design of reactive systems, 421-436 [Zbl 1023.93511] \textit{Raya, Agustin; Maravall, Dario}, Contributions to the control and stabilization of the pole-cart system, 437-449 [Zbl 1023.93503] \textit{García Rosa, Ricardo; de Pedro, Teresa}, A qualitative system as a frame to control unmanned vehicles, 450-456 [Zbl 1023.93505] \textit{Machado, Júlio P.; Notare, Márcia R.; Costa, Simone A.; Diverio, Tiarajú A.; Menezes, P. Blauth}, Hyper-automaton system applied to geometry demonstration environment, 457-468 [Zbl 1023.68653] \textit{Buchberger, Bruno}, The PCS prover in \(\text{TH}\exists\text{OREM}\forall\), 469-478 [Zbl 1023.68655] \textit{Ida, Tetsuo; Marin, Mircea; Suzuki, Taro}, Higher-order lazy narrowing calculus: A solver for higher-order equations, 479-493 [Zbl 1023.68086] \textit{Meier, Andreas; Pollet, Martin; Sorge, Volker}, Classifying isomorphic residue classes, 494-508 [Zbl 1023.68883] \textit{Sato, Masahiko; Kameyama, Yukiyoshi; Izumi, Takeuti}, CAL: A computer assisted learning system for computation and logic, 509-524 [Zbl 1023.03540] \textit{Windsteiger, Wolfgang}, A set theory prover within Theorema, 525-539 [Zbl 1023.68662] \textit{Barreiro, Miguel; Gulías, Víctor M.; Sánchez, Juan J.; Jorge, Santiago}, The tertiary level in a functional cluster-based hierarchical VoD server, 540-554 [Zbl 1023.68707] \textit{Domínguez, César; Lambán, Laureano; Pascual, Vico; Rubio, Julio}, Hidden specification of a functional system, 555-569 [Zbl 1023.68129] \textit{Du Bois, André Rauber; da Rocha Costa, Antônio Carlos}, Distributed execution of functional programs using the JVM, 570-582 [Zbl 1023.68754] \textit{Freire Nistal, José L.; Freire Brañas, José E.; Blanco Ferro, Antonio; Sánchez Penas, Juan J.}, Fusion in Coq, 583-596 [Zbl 1023.68085] \textit{Labra Gayo, Jose E.; Cueva Lovelle, Juan M.; Luengo Díez, María C.; González Rodríguez, Bernardo M.}, A language prototyping tool based on semantic building blocks, 597-611 [Zbl 1023.68024] \textit{Martín-Mateos, Francisco J.; Alonso, Jose A.; Hidalgo, María J.; Ruiz-Reina, José L.}, Verifying an applicative ATP using multiset relations, 612-626 [Zbl 1023.68088] \textit{Pareja, Cristóbal; Peña, Ricardo; Rubio, Fernando; Segura, Clara}, Adding traces to a lazy monadic evaluator, 627-641 [Zbl 1023.68518] \textit{Pointon, Robert F.; Priebe, Steffen; Loidl, Hans-Wolfgang; Loogen, Rita; Trinder, Phil W.}, Functional vs object-oriented distributed languages, 642-656 [Zbl 1023.68509] \textit{Quintela, Juan; Sánchez, Juan J.}, Persistent Haskell, 657-667 [Zbl 1023.68827]