default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/eurocast/eurocast2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/eurocast/Abraham-MummHS01,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Ulrich Hannemann and
Martin Steffen},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Assertion-Based Analysis of Hybrid Systems with {PVS}},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {94--109},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_8},
doi = {10.1007/3-540-45654-6\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/Abraham-MummHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AffenzellerPM01,
author = {Michael Affenzeller and
Franz Pichler and
Rudolf Mittelmann},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {On {CAST.FSM} Computation of Hierarchical Multi-layer Networks of
Automata},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {36--44},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_3},
doi = {10.1007/3-540-45654-6\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/AffenzellerPM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AguilaTCBM01,
author = {Isabel Mar{\'{\i}}a del {\'{A}}guila and
Samuel T{\'{u}}nez and
Joaqu{\'{\i}}n Ca{\~{n}}adas and
Alfonso Bosch and
Roque Mar{\'{\i}}n},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {A proposal for Projekt Management Using CommonKADS},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {160--171},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_13},
doi = {10.1007/3-540-45654-6\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/AguilaTCBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AlbertosC01,
author = {Pedro Albertos and
Alfons Crespo},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Integrated Design and Implementation of Digital Controllers},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {385--392},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_30},
doi = {10.1007/3-540-45654-6\_30},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/AlbertosC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AraujoLB01,
author = {Carmen Paz Su{\'{a}}rez Araujo and
Pablo Fern{\'{a}}ndez L{\'{o}}pez and
Patricio Garc{\'{\i}}a B{\'{a}}ez},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Towards a Model of Volume Transmission in Biological and Artificial
Neural Networks: {A} {CAST} Approach},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {328--342},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_26},
doi = {10.1007/3-540-45654-6\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/AraujoLB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/BarreiroGSJ01,
author = {Miguel Barreiro and
V{\'{\i}}ctor M. Gul{\'{\i}}as and
Juan J. S{\'{a}}nchez and
J. Santiago Jorge},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {The Tertiary Level in a Functional Cluster-Based Hierarchical VoD
Server},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {540--554},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_42},
doi = {10.1007/3-540-45654-6\_42},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/BarreiroGSJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/BienvenidoFGM01,
author = {Jos{\'{e}} Fernando Bienvenido and
Isabel M. Flores{-}Parra and
Rafael Guirado and
Roque Mar{\'{\i}}n},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Knowledge Based Modeling of the Design Processes as a Base of Design
Tools. Application to the Development of Agricultural Structures},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {209--222},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_17},
doi = {10.1007/3-540-45654-6\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/BienvenidoFGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/BoisC01,
author = {Andr{\'{e}} Rauber Du Bois and
Ant{\^{o}}nio Carlos da Rocha Costa},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Distributed Execution of Functional Programs Using the {JVM}},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {570--582},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_44},
doi = {10.1007/3-540-45654-6\_44},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/BoisC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Borger01,
author = {Egon B{\"{o}}rger},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Design for Reuse via Structuring Techniques for ASMs},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {20--35},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_2},
doi = {10.1007/3-540-45654-6\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Borger01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Buchberger01,
author = {Bruno Buchberger},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Gr{\"{o}}bner Bases: {A} Short Introduction for Systems Theorists},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {1--19},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_1},
doi = {10.1007/3-540-45654-6\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Buchberger01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Buchberger01a,
author = {Bruno Buchberger},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {The {PCS} Prover in {THEOREMA}},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {469--478},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_37},
doi = {10.1007/3-540-45654-6\_37},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Buchberger01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CampaniM01,
author = {Carlos Antonio Pereira Campani and
Paulo Blauth Menezes},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Characterizing the Software Development Process: {A} New Approach
Based on Kolmogorov Complexity},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {242--256},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_20},
doi = {10.1007/3-540-45654-6\_20},
timestamp = {Wed, 02 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CampaniM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaJV01,
author = {Milan Ceska and
Vladim{\'{\i}}r Janousek and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Analysis and Verification Queries over Object-Oriented Petri Nets},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {369--384},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_29},
doi = {10.1007/3-540-45654-6\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CeskaJV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CobasB01,
author = {Juan David Gonz{\'{a}}lez Cobas and
Jos{\'{e}} Antonio L{\'{o}}pez Brugos},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {A Complexity-Theoretic Approach to the Design of Good Measures of
Cryptographic Strength},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {233--241},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_19},
doi = {10.1007/3-540-45654-6\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CobasB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/DiernederS01,
author = {Stefan Dierneder and
Rudolf Scheidl},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Complexity Analysis of Systems from a Functional and Technical Viewpoint},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {223--232},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_18},
doi = {10.1007/3-540-45654-6\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/DiernederS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/DominguezLPR01,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
Laureano Lamb{\'{a}}n and
Vico Pascual and
Julio Rubio},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Hidden Specification of a Functional System},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {555--569},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_43},
doi = {10.1007/3-540-45654-6\_43},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/DominguezLPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/FrappierS01,
author = {Marc Frappier and
Richard St{-}Denis},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Towards a Computer-Aided Design of Reactive Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {421--436},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_33},
doi = {10.1007/3-540-45654-6\_33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/FrappierS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/FreireBFP01,
author = {Jos{\'{e}} Luis Freire and
Jos{\'{e}} E. Freire Bra{\~{n}}as and
Antonio Blanco Ferro and
Juan J. S{\'{a}}nchez Penas},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Fusion in Coq},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {583--596},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_45},
doi = {10.1007/3-540-45654-6\_45},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/FreireBFP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Garcia-CabreraRP01,
author = {Lina Garc{\'{\i}}a{-}Cabrera and
Mar{\'{\i}}a Jos{\'{e}} Rodr{\'{\i}}guez{-}F{\'{o}}rtiz and
Jos{\'{e}} Parets{-}Llorca},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Toward a Formalisation of Evolutionary Hypermedia Systems Based on
System Theory},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {270--284},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_22},
doi = {10.1007/3-540-45654-6\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Garcia-CabreraRP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/GayoLDR01,
author = {Jos{\'{e}} Emilio Labra Gayo and
Juan Manuel Cueva Lovelle and
Mar{\'{\i}}a C{\'{a}}ndida Luengo D{\'{\i}}ez and
Bernardo Mart{\'{\i}}n Gonz{\'{a}}lez Rodr{\'{\i}}guez},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {A Language Prototyping Tool Based on Semantic Building Blocks},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {597--611},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_46},
doi = {10.1007/3-540-45654-6\_46},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/GayoLDR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/HurtadoP01,
author = {Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
Jos{\'{e}} Parets{-}Llorca},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Evolutionary Information and Decision Support Systems: An Integration
Based on Ontologies},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {146--159},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_12},
doi = {10.1007/3-540-45654-6\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/HurtadoP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/IdaMS01,
author = {Tetsuo Ida and
Mircea Marin and
Taro Suzuki},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Higher-Order Lazy Narrowing Calculus: {A} Solver for Higher-Order
Equations},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {479--493},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_38},
doi = {10.1007/3-540-45654-6\_38},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/IdaMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Issendorff01,
author = {Hermann von Issendorff},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Algebraic Description of Physical Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {110--124},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_9},
doi = {10.1007/3-540-45654-6\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Issendorff01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/JacakPD01,
author = {Witold Jacak and
Karin Pr{\"{o}}ll and
Stephan Dreiseitl},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Conflict Management in an Intelligent Multiagent Robotics System Based
on {FSM} Approach},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {52--66},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_5},
doi = {10.1007/3-540-45654-6\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/JacakPD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/LealMCT01,
author = {Liara Aparecida dos Santos Leal and
Paulo Blauth Menezes and
Dalcidio Moraes Claudio and
Laira Vieira Toscani},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Optimization Problems Categories},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {285--299},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_23},
doi = {10.1007/3-540-45654-6\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/LealMCT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/MachadoNCDM01,
author = {J{\'{u}}lio Henrique Ara{\'{u}}jo Pereira Machado and
M{\'{a}}rcia R. Notare and
Simone Andr{\'{e}} da Costa and
Tiaraj{\'{u}} Asmuz Diverio and
Paulo Blauth Menezes},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Hyper-Automation System Applied to Geometry Demonstration Environment},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {457--468},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_36},
doi = {10.1007/3-540-45654-6\_36},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/MachadoNCDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Martin-MateosAHR01,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Verifying an Applicative {ATP} Using Multiset Relations},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {612--626},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_47},
doi = {10.1007/3-540-45654-6\_47},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Martin-MateosAHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Mauerkirchner01,
author = {Manfred Mauerkirchner},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {A General Planning Method for Allocation of Human Resource Groups},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {172--181},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_14},
doi = {10.1007/3-540-45654-6\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Mauerkirchner01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/MeierPS01,
author = {Andreas Meier and
Martin Pollet and
Volker Sorge},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Classifying Isomorphic Residue Classes},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {494--508},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_39},
doi = {10.1007/3-540-45654-6\_39},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/MeierPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Meine01,
author = {Sebastian Meine},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {A Holarchical Organized Design Assistant for Hierarchical Decompositions},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {45--51},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_4},
doi = {10.1007/3-540-45654-6\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Meine01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Moreno-DiazB01,
author = {Roberto Moreno{-}D{\'{\i}}az and
Gabriel de Blasio},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Systems Methodology for Classical Neural Nets at Various Levels},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {300--315},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_24},
doi = {10.1007/3-540-45654-6\_24},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Moreno-DiazB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/NardoNPR01,
author = {Elvira Di Nardo and
Amelia G. Nobile and
Enrica Pirozzi and
Luigi M. Ricciardi},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Computer-Aided Simulations of Gaussian Processes and Related Asymptotic
Properties},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {67--78},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_6},
doi = {10.1007/3-540-45654-6\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/NardoNPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Nemeth01,
author = {G{\'{a}}bor N{\'{e}}meth},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Towards a Generic Model of Information Processing Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {139--145},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_11},
doi = {10.1007/3-540-45654-6\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Nemeth01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Paniagua-ArisPM01,
author = {Enrique Paniagua{-}Ar{\'{\i}}s and
Jos{\'{e}} T. Palma{-}M{\'{e}}ndez and
Fernando Mart{\'{\i}}n{-}Rubio},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {A Planning under Uncertainty Model},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {196--208},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_16},
doi = {10.1007/3-540-45654-6\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Paniagua-ArisPM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ParejaPRS01,
author = {Crist{\'{o}}bal Pareja and
Ricardo Pena and
Fernando Rubio and
Clara Segura},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Adding Traces to a Lazy Monadic Evaluator},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {627--641},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_48},
doi = {10.1007/3-540-45654-6\_48},
timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ParejaPRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/PointonPLLT01,
author = {Robert F. Pointon and
Steffen Priebe and
Hans{-}Wolfgang Loidl and
Rita Loogen and
Philip W. Trinder},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Functional Vs Object-Oriented Distributed Languages},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {642--656},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_49},
doi = {10.1007/3-540-45654-6\_49},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/PointonPLLT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Quesada-ArencibiaMA01,
author = {Alexis Quesada{-}Arencibia and
Roberto Moreno{-}D{\'{\i}}az Jr. and
Miguel Alem{\'{a}}n{-}Flores},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Biologically Based CAST-mechanism for Visual Motion Analysis},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {316--327},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_25},
doi = {10.1007/3-540-45654-6\_25},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/Quesada-ArencibiaMA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/QuintelaS01,
author = {Juan J. Quintela and
Juan J. S{\'{a}}nchez},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Persistent Haskell},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {657--667},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_50},
doi = {10.1007/3-540-45654-6\_50},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/QuintelaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/RayaM01,
author = {Agustin Raya and
Dar{\'{\i}}o Maravall G{\'{o}}mez{-}Allende},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Contributions to the Control and Stabilization of the Pole-Cart System},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {437--449},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_34},
doi = {10.1007/3-540-45654-6\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/RayaM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ResconiBFT01,
author = {Germano Resconi and
Alberto Borboni and
Rodolfo Faglia and
Monica Tiboni},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Kinematics in Robotics by the Morphogenetic Neuron},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {352--368},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_28},
doi = {10.1007/3-540-45654-6\_28},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ResconiBFT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Rodriguez-Millan01,
author = {Jes{\'{u}}s Rodr{\'{\i}}guez{-}Mill{\'{a}}n},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Symbolic Computation Tools for Dynamical Nonlinear Control Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {393--404},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_31},
doi = {10.1007/3-540-45654-6\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Rodriguez-Millan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Rodriguez-Millan01a,
author = {Jes{\'{u}}s Rodr{\'{\i}}guez{-}Mill{\'{a}}n},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear
Control through Notebooks in Mathematica},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {405--420},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_32},
doi = {10.1007/3-540-45654-6\_32},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Rodriguez-Millan01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/RosaP01,
author = {Ricardo Garc{\'{\i}}a Rosa and
Teresa de Pedro},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {A Qualitative System as a Frame to Control Unmanned Vehicles},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {450--456},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_35},
doi = {10.1007/3-540-45654-6\_35},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/RosaP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/SatoKT01,
author = {Masahiko Sato and
Yukiyoshi Kameyama and
Izumi Takeuti},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {{CAL:} {A} Computer Assisted Learning System for Computation and Logic},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {509--524},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_40},
doi = {10.1007/3-540-45654-6\_40},
timestamp = {Sat, 28 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/SatoKT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Scharinger01,
author = {Josef Scharinger},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity
in Web-Based Software Distribution},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {257--269},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_21},
doi = {10.1007/3-540-45654-6\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Scharinger01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Schwaninger01,
author = {Markus Schwaninger},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Optimizing Organizational Structuce: {A} Hausdorff Benchmark for Complex
Social Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {182--195},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_15},
doi = {10.1007/3-540-45654-6\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Schwaninger01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Shimogawa01,
author = {Takuhei Shimogawa},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Information Structure and Logical Design of Social Rules},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {125--138},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_10},
doi = {10.1007/3-540-45654-6\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Shimogawa01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Stauner01,
author = {Thomas Stauner},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Hybrid Systems' Properties - Classification and Relation to Computer
Science},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {79--93},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_7},
doi = {10.1007/3-540-45654-6\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Stauner01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Windsteiger01,
author = {Wolfgang Windsteiger},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {A Set Theory Prover Within Theorema},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {525--539},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_41},
doi = {10.1007/3-540-45654-6\_41},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Windsteiger01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ZorillaCM01,
author = {Marta E. Zorrilla and
Jos{\'{e}} Luis Crespo and
Eduardo Mora},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {An Online Information Retrieval Systems by Means of Artificial Neural
Networks},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {343--351},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_27},
doi = {10.1007/3-540-45654-6\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ZorillaCM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {2178},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6},
doi = {10.1007/3-540-45654-6},
isbn = {3-540-42959-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-26 17:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
