Conferences in DBLP
Bruno Buchberger Gröbner Bases: A Short Introduction for Systems Theorists. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger Design for Reuse via Structuring Techniques for ASMs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Affenzeller , Franz Pichler , Rudolf Mittelmann On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Meine A Holarchical Organized Design Assistant for Hierarchical Decompositions. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Jacak , Karin Pröll , Stephan Dreiseitl Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Elvira Di Nardo , Amelia G. Nobile , Enrica Pirozzi , Luigi M. Ricciardi Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Stauner Hybrid Systems' Properties - Classification and Relation to Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Erika Ábrahám-Mumm , Ulrich Hannemann , Martin Steffen Assertion-Based Analysis of Hybrid Systems with PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann von Issendorff Algebraic Description of Physical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Takuhei Shimogawa Information Structure and Logical Design of Social Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Gábor Németh Towards a Generic Model of Information Processing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] María Visitación Hurtado , José Parets-Llorca Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] Isabel María del Águila , Samuel Túnez , Joaquín Cañadas , Alfonso Bosch , Roque Marín A proposal for Projekt Management Using CommonKADS. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Mauerkirchner A General Planning Method for Allocation of Human Resource Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Schwaninger Optimizing Organizational Structuce: A Hausdorff Benchmark for Complex Social Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Enrique Paniagua-Arís , José T. Palma-Méndez , Fernando Martín-Rubio A Planning under Uncertainty Model. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Dierneder , Rudolf Scheidl Complexity Analysis of Systems from a Functional and Technical Viewpoint. [Citation Graph (0, 0)][DBLP ] Conf ] Juan David González Cobas , José Antonio López Brugos A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos A. P. Campani , Paulo Blauth Menezes Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Josef Scharinger Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Liara Aparecida dos Santos Leal , Paulo Blauth Menezes , Dalcidio Moraes Claudio , Laira Vieira Toscani Optimization Problems Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Moreno-Díaz , Gabriel de Blasio Systems Methodology for Classical Neural Nets at Various Levels. [Citation Graph (0, 0)][DBLP ] Conf ] Alexis Quesada-Arencibia , Roberto Moreno-Díaz Jr. , Miguel Alemán-Flores Biologically Based CAST-mechanism for Visual Motion Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Marta E. Zorrilla , José Luis Crespo , Eduardo Mora An Online Information Retrieval Systems by Means of Artificial Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Germano Resconi , Alberto Borboni , Rodolfo Faglia , Monica Tiboni Kinematics in Robotics by the Morphogenetic Neuron. [Citation Graph (0, 0)][DBLP ] Conf ] Milan Ceska , Vladimír Janousek , Tomás Vojnar Analysis and Verification Queries over Object-Oriented Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Albertos , Alfons Crespo Integrated Design and Implementation of Digital Controllers. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Rodríguez-Millán Symbolic Computation Tools for Dynamical Nonlinear Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Rodríguez-Millán Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Frappier , Richard St.-Denis Towards a Computer-Aided Design of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Agustin Raya , Darío Maravall Gómez-Allende Contributions to the Control and Stabilization of the Pole-Cart System. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo García Rosa , Teresa de Pedro A Qualitative System as a Frame to Control Unmanned Vehicles. [Citation Graph (0, 0)][DBLP ] Conf ] Júlio P. Machado , Márcia R. Notare , Simone André da Costa , Tiarajú Asmuz Diverio , Paulo Blauth Menezes Hyper-Automation System Applied to Geometry Demonstration Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Buchberger The PCS Prover in THEOREMA. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuo Ida , Mircea Marin , Taro Suzuki Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Meier , Martin Pollet , Volker Sorge Classifying Isomorphic Residue Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiko Sato , Yukiyoshi Kameyama , Izumi Takeuti CAL: A Computer Assisted Learning System for Computation and Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Windsteiger A Set Theory Prover Within Theorema. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] César Domínguez , Laureano Lambán , Vico Pascual , Julio Rubio Hidden Specification of a Functional System. [Citation Graph (0, 0)][DBLP ] Conf ] André Rauber Du Bois , Antônio Carlos da Rocha Costa Distributed Execution of Functional Programs Using the JVM. [Citation Graph (0, 0)][DBLP ] Conf ] José Luis Freire , José E. Freire Brañas , Antonio Blanco Ferro , Juan J. Sánchez Penas Fusion in Coq. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco-Jesús Martín-Mateos , José-Antonio Alonso , María-José Hidalgo , José-Luis Ruiz-Reina Verifying an Applicative ATP Using Multiset Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Cristóbal Pareja , Ricardo Pena , Fernando Rubio , Clara Segura Adding Traces to a Lazy Monadic Evaluator. [Citation Graph (0, 0)][DBLP ] Conf ] Robert F. Pointon , Steffen Priebe , Hans-Wolfgang Loidl , Rita Loogen , Philip W. Trinder Functional Vs Object-Oriented Distributed Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Juan J. Quintela , Juan J. Sánchez Persistent Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] 