{"entities":{"Q5951859":{"pageid":8128661,"ns":120,"title":"Item:Q5951859","lastrevid":93530273,"modified":"2026-06-05T04:33:20Z","type":"item","id":"Q5951859","labels":{"en":{"language":"en","value":"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"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1687329"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951859$685D9DA7-A077-41F0-AAAE-1C26300D30F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceaef2a23e3a206a923f46e432f7c97ad3afaaad","datavalue":{"value":{"text":"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","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951859$A824ECDA-D689-45A6-94AA-3BB7C0CB3DDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94e239f8ecbd58e2b405fd4c93c06cb8f0bad4ea","datavalue":{"value":"0977.00038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951859$05335E04-0C2D-4C66-B687-A58005D5D62E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951859$8279D060-9621-49B9-BCDF-3B4C7EBD9680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9e418580f2b70ce6849ba62f9449722e930b0d2","datavalue":{"value":{"time":"+2002-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951859$21497F45-FBF3-443F-8B28-DB83B161FEC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1cae313bda48dde264cd383996890cf1aeb0c1f","datavalue":{"value":"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\u00f6bner bases: A short introduction for systems theorists, 1-19 [Zbl 1023.68882]  \\textit{B\u00f6rger, 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\u00f6ll, 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{\u00c1brah\u00e1m-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\u00e9meth, G\u00e1bor}, 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\u00eda; T\u00fanez, Samuel; Ca\u00f1adas, Joaqu\u00edn; Bosch, Alfonso; Mar\u00edn, 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\u00eds, Enrique; Palma-M\u00e9ndez, Jos\u00e9 T.; Mart\u00edn-Rubio, Fernando}, A planning under uncertainty model, 196-208 [Zbl 1023.68676]  \\textit{Bienvenido, Jose F.; Flores-Parra, Isabel M.; Guirado, Rafael; Mar\u00edn, 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\u00e1lez Cobas, Juan David; L\u00f3pez Brugos, Jos\u00e9 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\u00eda-Cabrera, Lina; Rodr\u00edguez-F\u00f3rtiz, Mar\u00eda Jos\u00e9; Parets-Llorca, Jos\u00e9}, 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\u00edaz, Roberto; de Blasio, Gabriel}, Systems methodology for classical neural nets at various levels, 300-315 [Zbl 1023.68581]  \\textit{Quesada-Arencibia, Alexis; Moreno-D\u00edaz, 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\u00e9 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\u00edr; Vojnar, Tom\u00e1s}, 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\u00edguez-Mill\u00e1n, Jes\u00fas}, Symbolic computation tools for dynamical nonlinear control systems, 393-404 [Zbl 1023.93501]  \\textit{Rodr\u00edguez-Mill\u00e1n, Jes\u00fas}, 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\u00eda Rosa, Ricardo; de Pedro, Teresa}, A qualitative system as a frame to control unmanned vehicles, 450-456 [Zbl 1023.93505]  \\textit{Machado, J\u00falio P.; Notare, M\u00e1rcia R.; Costa, Simone A.; Diverio, Tiaraj\u00fa 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\u00edas, V\u00edctor M.; S\u00e1nchez, Juan J.; Jorge, Santiago}, The tertiary level in a functional cluster-based hierarchical VoD server, 540-554 [Zbl 1023.68707]  \\textit{Dom\u00ednguez, C\u00e9sar; Lamb\u00e1n, Laureano; Pascual, Vico; Rubio, Julio}, Hidden specification of a functional system, 555-569 [Zbl 1023.68129]  \\textit{Du Bois, Andr\u00e9 Rauber; da Rocha Costa, Ant\u00f4nio Carlos}, Distributed execution of functional programs using the JVM, 570-582 [Zbl 1023.68754]  \\textit{Freire Nistal, Jos\u00e9 L.; Freire Bra\u00f1as, Jos\u00e9 E.; Blanco Ferro, Antonio; S\u00e1nchez Penas, Juan J.}, Fusion in Coq, 583-596 [Zbl 1023.68085]  \\textit{Labra Gayo, Jose E.; Cueva Lovelle, Juan M.; Luengo D\u00edez, Mar\u00eda C.; Gonz\u00e1lez Rodr\u00edguez, Bernardo M.}, A language prototyping tool based on semantic building blocks, 597-611 [Zbl 1023.68024]  \\textit{Mart\u00edn-Mateos, Francisco J.; Alonso, Jose A.; Hidalgo, Mar\u00eda J.; Ruiz-Reina, Jos\u00e9 L.}, Verifying an applicative ATP using multiset relations, 612-626 [Zbl 1023.68088]  \\textit{Pareja, Crist\u00f3bal; Pe\u00f1a, 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\u00e1nchez, Juan J.}, Persistent Haskell, 657-667 [Zbl 1023.68827]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951859$20A818DD-DF84-43E1-A7BD-6A76D5A50053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951859$896157B0-5865-49E7-B22F-EE17542F7FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951859$9FA0A7B4-9E31-4490-981F-0AADB21872BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa976a66ac800483dcca0b20912799dee2fb9edc","datavalue":{"value":"93-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951859$D465E811-3D56-4E19-9837-98B1C057F3B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e0a678982ed78a01f721d00491b4cf2c8701dd","datavalue":{"value":"1687329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951859$AD82820F-755B-48FF-8A06-DB6525EBA3F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27af7bb59ceec517461015535fdfcaa45575e09","datavalue":{"value":"Las Palmas de Gran Canaria (Spain)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951859$C038D15C-B5D6-4CA2-B282-105F15AA4C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951859$15088C10-B980-41AE-B045-8F0AE4428616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951859$D99FD04F-1427-40D4-BF5B-65B48F9F17D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1e2899133428f0b89fba6f62d83ed6ba879e97","datavalue":{"value":"EUROCAST","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951859$19CF09F1-733C-4777-94F3-48EB2B6AE2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135ff7e18a8bfaccd12587350ac4ffc2c51c524f","datavalue":{"value":"Computer aided systems theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951859$78100F86-B166-451E-A288-A8D4DBDAD135","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951859$F7638CB5-B36D-4D46-81CF-FB48CDC77D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951859$BD7CF631-825B-461B-A651-23487027E024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951859$99D4A643-658A-4873-9D45-3D999426914E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0408202d43db535abbdc4d013461f7f7ad5574a4","datavalue":{"value":{"entity-type":"item","numeric-id":33167,"id":"Q33167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951859$FF7686E4-7561-43F3-9F7C-F27BBC982361","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951859$A3948EE2-F579-4605-AAA1-84D67275022A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"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","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/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"}}}}}