Abstract is missing.
- Gröbner Bases: A Short Introduction for Systems TheoristsBruno Buchberger. 1-19 [doi]
- Design for Reuse via Structuring Techniques for ASMsEgon Börger. 20-35 [doi]
- On CAST.FSM Computation of Hierarchical Multi-layer Networks of AutomataMichael Affenzeller, Franz Pichler, Rudolf Mittelmann. 36-44 [doi]
- A Holarchical Organized Design Assistant for Hierarchical DecompositionsSebastian Meine. 45-51 [doi]
- Conflict Management in an Intelligent Multiagent Robotics System Based on FSM ApproachWitold Jacak, Karin Pröll, Stephan Dreiseitl. 52-66 [doi]
- Computer-Aided Simulations of Gaussian Processes and Related Asymptotic PropertiesElvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi. 67-78 [doi]
- Hybrid Systems Properties - Classification and Relation to Computer ScienceThomas Stauner. 79-93 [doi]
- Assertion-Based Analysis of Hybrid Systems with PVSErika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen. 94-109 [doi]
- Algebraic Description of Physical SystemsHermann von Issendorff. 110-124 [doi]
- Information Structure and Logical Design of Social RulesTakuhei Shimogawa. 125-138 [doi]
- Towards a Generic Model of Information Processing SystemsGábor Németh. 139-145 [doi]
- Evolutionary Information and Decision Support Systems: An Integration Based on OntologiesMaría Visitación Hurtado, José Parets-Llorca. 146-159 [doi]
- A proposal for Projekt Management Using CommonKADSIsabel María del Águila, Samuel Túnez, Joaquín Cañadas, Alfonso Bosch, Roque Marín. 160-171 [doi]
- A General Planning Method for Allocation of Human Resource GroupsManfred Mauerkirchner. 172-181 [doi]
- Optimizing Organizational Structuce: A Hausdorff Benchmark for Complex Social SystemsMarkus Schwaninger. 182-195 [doi]
- A Planning under Uncertainty ModelEnrique Paniagua-Arís, José T. Palma-Méndez, Fernando Martín-Rubio. 196-208 [doi]
- Knowledge Based Modeling of the Design Processes as a Base of Design Tools. Application to the Development of Agricultural StructuresJose F. Bienvenido, Isabel M. Flores-Parra, Rafael Guirado, Roque Marín. 209-222 [doi]
- Complexity Analysis of Systems from a Functional and Technical ViewpointStefan Dierneder, Rudolf Scheidl. 223-232 [doi]
- A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic StrengthJuan David González Cobas, José Antonio López Brugos. 233-241 [doi]
- Characterizing the Software Development Process: A New Approach Based on Kolmogorov ComplexityCarlos A. P. Campani, Paulo Blauth Menezes. 242-256 [doi]
- Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software DistributionJosef Scharinger. 257-269 [doi]
- Toward a Formalisation of Evolutionary Hypermedia Systems Based on System TheoryLina García-Cabrera, María José Rodríguez-Fórtiz, José Parets-Llorca. 270-284 [doi]
- Optimization Problems CategoriesLiara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani. 285-299 [doi]
- Systems Methodology for Classical Neural Nets at Various LevelsRoberto Moreno-Díaz, Gabriel de Blasio. 300-315 [doi]
- Biologically Based CAST-mechanism for Visual Motion AnalysisAlexis Quesada-Arencibia, Roberto Moreno-Díaz Jr., Miguel Alemán-Flores. 316-327 [doi]
- Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST ApproachCarmen Paz Suárez Araujo, Pablo Fernández López, Patricio García Báez. 328-342 [doi]
- An Online Information Retrieval Systems by Means of Artificial Neural NetworksMarta E. Zorrilla, José Luis Crespo, Eduardo Mora. 343-351 [doi]
- Kinematics in Robotics by the Morphogenetic NeuronGermano Resconi, Alberto Borboni, Rodolfo Faglia, Monica Tiboni. 352-368 [doi]
- Analysis and Verification Queries over Object-Oriented Petri NetsMilan Ceska, Vladimír Janousek, Tomás Vojnar. 369-384 [doi]
- Integrated Design and Implementation of Digital ControllersPedro Albertos, Alfons Crespo. 385-392 [doi]
- Symbolic Computation Tools for Dynamical Nonlinear Control SystemsJesús Rodríguez-Millán. 393-404 [doi]
- Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in MathematicaJesús Rodríguez-Millán. 405-420 [doi]
- Towards a Computer-Aided Design of Reactive SystemsMarc Frappier, Richard St.-Denis. 421-436 [doi]
- Contributions to the Control and Stabilization of the Pole-Cart SystemAgustin Raya, Darío Maravall Gómez-Allende. 437-449 [doi]
- A Qualitative System as a Frame to Control Unmanned VehiclesRicardo García Rosa, Teresa de Pedro. 450-456 [doi]
- Hyper-Automation System Applied to Geometry Demonstration EnvironmentJúlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes. 457-468 [doi]
- The PCS Prover in THEOREMABruno Buchberger. 469-478 [doi]
- Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order EquationsTetsuo Ida, Mircea Marin, Taro Suzuki. 479-493 [doi]
- Classifying Isomorphic Residue ClassesAndreas Meier, Martin Pollet, Volker Sorge. 494-508 [doi]
- CAL: A Computer Assisted Learning System for Computation and LogicMasahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti. 509-524 [doi]
- A Set Theory Prover Within TheoremaWolfgang Windsteiger. 525-539 [doi]
- The Tertiary Level in a Functional Cluster-Based Hierarchical VoD ServerMiguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge. 540-554 [doi]
- Hidden Specification of a Functional SystemCésar Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio. 555-569 [doi]
- Distributed Execution of Functional Programs Using the JVMAndré Rauber Du Bois, Antônio Carlos da Rocha Costa. 570-582 [doi]
- Fusion in CoqJosé Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas. 583-596 [doi]
- A Language Prototyping Tool Based on Semantic Building BlocksJosé Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez. 597-611 [doi]
- Verifying an Applicative ATP Using Multiset RelationsFrancisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina. 612-626 [doi]
- Adding Traces to a Lazy Monadic EvaluatorCristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura. 627-641 [doi]
- Functional Vs Object-Oriented Distributed LanguagesRobert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder. 642-656 [doi]
- Persistent HaskellJuan J. Quintela, Juan J. Sánchez. 657-667 [doi]