Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/eurocast/eurocast1995.bht:"
download as .bib file
@proceedings{DBLP:conf/eurocast/1995,
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0034745},
doi = {10.1007/BFB0034745},
isbn = {3-540-60748-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AgsteinerMS95,
author = {Karlheinz Agsteiner and
Dieter Monjau and
S{\"{o}}ren Schulze},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Object-Oriented High Level Modeling of Complex Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {332--340},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034771},
doi = {10.1007/BFB0034771},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/AgsteinerMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Albrecht95,
author = {Rudolf F. Albrecht},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {On the Structure of Discrete Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {3--18},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034746},
doi = {10.1007/BFB0034746},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Albrecht95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AraujoM95,
author = {Carmen Paz Su{\'{a}}rez Araujo and
Roberto Moreno{-}D{\'{\i}}az},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Intersensorial Transformations: General Systems Description and Implications},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {73--87},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034751},
doi = {10.1007/BFB0034751},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/AraujoM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/BextenM95,
author = {Erdmuthe Meyer zu Bexten and
Claudio Moraga},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {A User-Interface for a Microsystems High-Level Simulator},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {228--236},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034763},
doi = {10.1007/BFB0034763},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/BextenM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Brielmann95,
author = {Maria Brielmann},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Modelling Differential Equations by Basic Information Technology Means},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {163--174},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034758},
doi = {10.1007/BFB0034758},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Brielmann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/BustioCM95,
author = {Francisco Bustio and
Pedro Corcuera and
Eduardo Mora},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Training Simulator for Garo{\~{n}}a Nuclear Power Plant},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {523--529},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034786},
doi = {10.1007/BFB0034786},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/BustioCM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Candela-SolaGAM95,
author = {Santiago Candela Sol{\'{a}} and
Christophe Garcia and
Francisco Alay{\'{o}}n Hern{\'{a}}ndez and
J. Mu{\~{n}}oz},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Cast System Approach for Visual Inspection},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {459--464},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034781},
doi = {10.1007/BFB0034781},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Candela-SolaGAM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ChroustJ95,
author = {Gerhard Chroust and
Witold Jacak},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Software Processes, Work Flow and Work Cell Design - Separated by
a Common Paradigm?},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {403--414},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034776},
doi = {10.1007/BFB0034776},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ChroustJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Dubois95,
author = {Daniel M. Dubois},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Introduction of the Aristotle's Final Causation in {CAST:} Concept
and Method of Incursion and Hyperincursion},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {477--493},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034783},
doi = {10.1007/BFB0034783},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Dubois95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Dubois95a,
author = {Daniel M. Dubois},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {A Semantic Logic for {CAST} Related to Zuse, Deutsch and McCulloch
and Pitts Computing Principles},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {494--510},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034784},
doi = {10.1007/BFB0034784},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Dubois95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Fonseca95,
author = {Jos{\'{e}} Barahona da Fonseca},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi
Data},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {511--522},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034785},
doi = {10.1007/BFB0034785},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Fonseca95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Glasser95,
author = {Uwe Gl{\"{a}}ser},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Systems Level Specification and Modeling of Reactive Systems: Concepts,
Methods, and Tools},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {375--385},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034774},
doi = {10.1007/BFB0034774},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Glasser95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/HamaidiBMCZ95,
author = {Lyes Hamaidi and
Patrick Bourseau and
Gilles Muratet and
Jerry M. Couretas and
Bernard P. Zeigler},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive
Planning},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {386--402},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034775},
doi = {10.1007/BFB0034775},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/HamaidiBMCZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Hill95,
author = {Gillian Hill},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {A Logical Approach to System Construction},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {30--47},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034748},
doi = {10.1007/BFB0034748},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Hill95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/JacakD95,
author = {Witold Jacak and
Stephan Dreiseitl},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Hybrid Evolutionary Programming: the Tools for {CAST}},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {289--304},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034768},
doi = {10.1007/BFB0034768},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/JacakD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/JoslynH95,
author = {Cliff A. Joslyn and
Scott Henderson},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {{CAST} Extensions to {DASME} to Support Generalized Information Theory},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {237--252},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034764},
doi = {10.1007/BFB0034764},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/JoslynH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/KahlertKM95,
author = {Stefan Kahlert and
Thomas Kruse and
Dieter Monjau},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {A Formal Semantics for a Graphical Model Representation in System
Design},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {217--227},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034762},
doi = {10.1007/BFB0034762},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/KahlertKM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Kapsner95,
author = {Franz Kapsner},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {System Theoretic Aspects of Software Architectures},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {175--180},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034759},
doi = {10.1007/BFB0034759},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Kapsner95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/KlempousLN95,
author = {Ryszard Klempous and
Barbara Lysakowska and
Jan Nikodem},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Supervisory Control and Data Acquisition System for the Gas Flow Networks},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {530--538},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034787},
doi = {10.1007/BFB0034787},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/KlempousLN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Kocourek95,
author = {Christine Kocourek},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {An Architecture for Process Modeling and Execution Support},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {201--216},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034761},
doi = {10.1007/BFB0034761},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Kocourek95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/LarnacMVDC95,
author = {Mireille Larnac and
Janine Magnier and
Eric Vandermeulen and
G{\'{e}}rard Dray and
Vincent Chapurlat},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Temporal and Functional Verification of a Symbolic Representation
of Complex Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {151--162},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034757},
doi = {10.1007/BFB0034757},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/LarnacMVDC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/MenezesCS95,
author = {Paulo Blauth Menezes and
Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Refinement Mapping for General (Discrete Event) Systems Theory},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {103--116},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034753},
doi = {10.1007/BFB0034753},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/MenezesCS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/MiroM95,
author = {Josep Mir{\'{o}} and
Margaret Mir{\'{o}}{-}Juli{\`{a}}},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Equality of Functions in {CAST}},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {129--136},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034755},
doi = {10.1007/BFB0034755},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/MiroM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/OteroBCL95,
author = {Ram{\'{o}}n P. Otero and
Alvaro Barreiro and
Pedro Cabalar and
David Lorenzo},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Discrete Event Simulation in an Environment for Temporal Expert Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {271--282},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034766},
doi = {10.1007/BFB0034766},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/OteroBCL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/OteroLC95,
author = {Ram{\'{o}}n P. Otero and
David Lorenzo and
Pedro Cabalar},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Automatic Induction of {DEVS} Structures},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {305--313},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034769},
doi = {10.1007/BFB0034769},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/OteroLC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ParetsT95,
author = {Jos{\'{e}} Parets{-}Llorca and
Juan Carlos Torres},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {A Language for Describing Complex-Evolutive Software Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {181--197},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034760},
doi = {10.1007/BFB0034760},
timestamp = {Fri, 30 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ParetsT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/PichlerS95,
author = {Franz Pichler and
Josef Scharinger},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic
Applications},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {465--476},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034782},
doi = {10.1007/BFB0034782},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/PichlerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/PraehoferP95,
author = {Herbert Praehofer and
Franz Pichler},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Multifacetted, Object Oriented Modeling in the Transportation Domain},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {341--357},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034772},
doi = {10.1007/BFB0034772},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/PraehoferP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Quevedo-LosadaBM95,
author = {Juan Carlos Quevedo{-}Losada and
Olga Bol{\'{\i}}var Toledo and
Roberto Moreno{-}D{\'{\i}}az},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Cast Methods for Generation of Non-Orthogonal Complete Transforms},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {447--458},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034780},
doi = {10.1007/BFB0034780},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Quevedo-LosadaBM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Rattray95,
author = {Charles Rattray},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Identification and Recognition through Shape in Complex Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {19--29},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034747},
doi = {10.1007/BFB0034747},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Rattray95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Rodriguez-Millan95,
author = {Jes{\'{u}}s Rodr{\'{\i}}guez{-}Mill{\'{a}}n},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Basins of Attraction Estimation Through Symbolic Graphical Computing
Techniques},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {137--150},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034756},
doi = {10.1007/BFB0034756},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Rodriguez-Millan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Rodriguez-MillanC95,
author = {Jes{\'{u}}s Rodr{\'{\i}}guez{-}Mill{\'{a}}n and
Juan Cardillo},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Symbolic Computing Aided Design of Nonlinear {PID} Controllers},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {253--270},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034765},
doi = {10.1007/BFB0034765},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Rodriguez-MillanC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Roszkowska95,
author = {Elzbieta Roszkowska},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Performance Analysis of a Dual Robot System Using a Geometric Concurrency
Model},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {423--436},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034778},
doi = {10.1007/BFB0034778},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Roszkowska95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Sato95,
author = {Ryo Sato},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Toward a unified theory of discrete event systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {62--72},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034750},
doi = {10.1007/BFB0034750},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Sato95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/SchafferRS95,
author = {Christoph Schaffer and
R. J. Raschhofer and
A. Simma},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {EaSy-Sim: {A} Tool Environment for the Design of Complex, Real-Time
Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {358--374},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034773},
doi = {10.1007/BFB0034773},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/SchafferRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/SchweizerV95,
author = {Gerhard Schweizer and
Markus Voss},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Systems Engineering and Infrastructures for Open Computer Based Systems},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {317--331},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034770},
doi = {10.1007/BFB0034770},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/SchweizerV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Sierocki95,
author = {Ireneusz Sierocki},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {A System-Theoretic Approach to Planning and Programming},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {117--128},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034754},
doi = {10.1007/BFB0034754},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Sierocki95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/SydowLS95,
author = {Achim Sydow and
Thomas Lux and
Ralf{-}Peter Sch{\"{a}}fer},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {High-Performance Parallel Computing for Analyzing Urban Air Pollution},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {417--422},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034777},
doi = {10.1007/BFB0034777},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/SydowLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/TakaharaC95,
author = {Yasuhiko Takahara and
Xiaohong Chen},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Task Management System},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {48--61},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034749},
doi = {10.1007/BFB0034749},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/TakaharaC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Thurner95,
author = {Erwin M. Thurner},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Proving System Properties by Means of Trigger-Graph and Petri Nets},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {88--102},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034752},
doi = {10.1007/BFB0034752},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Thurner95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ThurnerW95,
author = {Erwin M. Thurner and
C. Wincheringer},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {{TOMSPIN} - {A} Tool for Modeling with Stochastic Petri Nets},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {283--288},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034767},
doi = {10.1007/BFB0034767},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/ThurnerW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/VysokyP95,
author = {Petr Vysok{\'{y}} and
Zdenek Pechal},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Computer Aided Rule Extraction from Examples},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {437--446},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034779},
doi = {10.1007/BFB0034779},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/VysokyP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-11 13:08 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:
