BibTeX records: Milan Ceska 0001

download as .bib file

@inproceedings{DBLP:conf/tacas/CeskaHHLV18,
  author    = {Milan Ceska and
               Vojtech Havlena and
               Luk{\'{a}}s Hol{\'{\i}}k and
               Ondrej Leng{\'{a}}l and
               Tom{\'{a}}s Vojnar},
  title     = {Approximate Reduction of Finite Automata for High-Speed Network Intrusion
               Detection},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  pages     = {155--175},
  year      = {2018},
  crossref  = {DBLP:conf/tacas/2018-2},
  url       = {https://doi.org/10.1007/978-3-319-89963-3\_9},
  doi       = {10.1007/978-3-319-89963-3\_9},
  timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/CeskaHHLV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2018,
  editor    = {Milan Ceska and
               David Safr{\'{a}}nek},
  title     = {Computational Methods in Systems Biology - 16th International Conference,
               {CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11095},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99429-1},
  doi       = {10.1007/978-3-319-99429-1},
  isbn      = {978-3-319-99428-4},
  timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CardelliCFKLPW17,
  author    = {Luca Cardelli and
               Milan Ceska and
               Martin Fr{\"{a}}nzle and
               Marta Z. Kwiatkowska and
               Luca Laurenti and
               Nicola Paoletti and
               Max Whitby},
  title     = {Syntax-Guided Optimal Synthesis for Chemical Reaction Networks},
  booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  pages     = {375--395},
  year      = {2017},
  crossref  = {DBLP:conf/cav/2017-2},
  url       = {https://doi.org/10.1007/978-3-319-63390-9\_20},
  doi       = {10.1007/978-3-319-63390-9\_20},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CardelliCFKLPW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaCP17,
  author    = {Milan Ceska Jr. and
               Milan Ceska and
               Nicola Paoletti},
  title     = {Precise Parameter Synthesis for Generalised Stochastic Petri Nets
               with Interval Parameters},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2017 - 16th International
               Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017,
               Revised Selected Papers, Part {II}},
  pages     = {38--46},
  year      = {2017},
  crossref  = {DBLP:conf/eurocast/2017-2},
  url       = {https://doi.org/10.1007/978-3-319-74727-9\_5},
  doi       = {10.1007/978-3-319-74727-9\_5},
  timestamp = {Fri, 27 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/CeskaCP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LaurentiABCCK17,
  author    = {Luca Laurenti and
               Alessandro Abate and
               Luca Bortolussi and
               Luca Cardelli and
               Milan Ceska and
               Marta Z. Kwiatkowska},
  title     = {Reachability Computation for Switching Diffusions: Finite Abstractions
               with Certifiable and Tuneable Precision},
  booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
               2017},
  pages     = {55--64},
  year      = {2017},
  crossref  = {DBLP:conf/hybrid/2017},
  url       = {https://doi.org/10.1145/3049797.3049812},
  doi       = {10.1145/3049797.3049812},
  timestamp = {Tue, 06 Nov 2018 11:07:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/LaurentiABCCK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08647,
  author    = {Milan Ceska and
               Vojtech Havlena and
               Luk{\'{a}}s Hol{\'{\i}}k and
               Ondrej Leng{\'{a}}l and
               Tom{\'{a}}s Vojnar},
  title     = {Approximate Reduction of Finite Automata for High-Speed Network Intrusion
               Detection},
  journal   = {CoRR},
  volume    = {abs/1710.08647},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.08647},
  archivePrefix = {arXiv},
  eprint    = {1710.08647},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1710-08647},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PolasekJC14,
  author    = {Petr Polasek and
               Vladim{\'{\i}}r Janousek and
               Milan Ceska},
  title     = {Petri Net Simulation as a Service},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering, co-located with 35th International Conference on Application
               and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
               International Conference on Application of Concurrency to System Design
               {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014.},
  pages     = {353--362},
  year      = {2014},
  crossref  = {DBLP:conf/apn/2014pnse},
  url       = {http://ceur-ws.org/Vol-1160/paper28.pdf},
  timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/PolasekJC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/NovosadC13,
  author    = {Petr Novosad and
               Milan Ceska},
  title     = {Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2013 - 14th International
               Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013,
               Revised Selected Papers, Part {I}},
  pages     = {428--435},
  year      = {2013},
  crossref  = {DBLP:conf/eurocast/2013-1},
  url       = {https://doi.org/10.1007/978-3-642-53856-8\_54},
  doi       = {10.1007/978-3-642-53856-8\_54},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/NovosadC13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/NovosadC11,
  author    = {Petr Novosad and
               Milan Ceska},
  title     = {Unfoldings of Bounded Hybrid Petri Nets},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
               Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
               Revised Selected Papers, Part {I}},
  pages     = {543--550},
  year      = {2011},
  crossref  = {DBLP:conf/eurocast/2011-1},
  url       = {https://doi.org/10.1007/978-3-642-27549-4\_70},
  doi       = {10.1007/978-3-642-27549-4\_70},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/NovosadC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/FiedorGC11,
  author    = {Jan Fiedor and
               Marek Gach and
               Milan Ceska},
  title     = {A Novel Approach to Modechart Verification of Real-Time Systems},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
               Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
               Revised Selected Papers, Part {I}},
  pages     = {559--567},
  year      = {2011},
  crossref  = {DBLP:conf/eurocast/2011-1},
  url       = {https://doi.org/10.1007/978-3-642-27549-4\_72},
  doi       = {10.1007/978-3-642-27549-4\_72},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/FiedorGC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/HysekCJ09,
  author    = {Jir{\'{\i}} H{\'{y}}sek and
               Milan Ceska and
               Vladim{\'{\i}}r Janousek},
  title     = {Model-Based Design and Verification of Reactive Systems},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2009, 12th International
               Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009,
               Revised Selected Papers},
  pages     = {865--872},
  year      = {2009},
  crossref  = {DBLP:conf/eurocast/2009},
  url       = {https://doi.org/10.1007/978-3-642-04772-5\_111},
  doi       = {10.1007/978-3-642-04772-5\_111},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/HysekCJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CeskaEV07,
  author    = {Milan Ceska and
               Pavel Erlebach and
               Tom{\'{a}}s Vojnar},
  title     = {Generalised multi-pattern-based verification of programs with linear
               linked structures},
  journal   = {Formal Asp. Comput.},
  volume    = {19},
  number    = {3},
  pages     = {363--374},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00165-007-0031-x},
  doi       = {10.1007/s00165-007-0031-x},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/CeskaEV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaEV07,
  author    = {Milan Ceska and
               Pavel Erlebach and
               Tom{\'{a}}s Vojnar},
  title     = {Pattern-Based Verification for Trees},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International
               Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
               Spain, February 12-16, 2007, Revised Selected Papers},
  pages     = {488--496},
  year      = {2007},
  crossref  = {DBLP:conf/eurocast/2007},
  url       = {https://doi.org/10.1007/978-3-540-75867-9\_62},
  doi       = {10.1007/978-3-540-75867-9\_62},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/CeskaEV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CeskaEV06,
  author    = {Milan Ceska and
               Pavel Erlebach and
               Tom{\'{a}}s Vojnar},
  title     = {Pattern-Based Verification of Programs with Extended Linear Linked
               Data Structures},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {145},
  pages     = {113--130},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.10.008},
  doi       = {10.1016/j.entcs.2005.10.008},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CeskaEV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaKV05,
  author    = {Milan Ceska and
               Bohuslav Krena and
               Tom{\'{a}}s Vojnar},
  title     = {Parallel State Space Generation and Exploration on Shared-Memory Architectures},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2005, 10th International
               Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
               Spain, February 7-11, 2005, Revised Selected Papers},
  pages     = {275--280},
  year      = {2005},
  crossref  = {DBLP:conf/eurocast/2005},
  url       = {https://doi.org/10.1007/11556985\_37},
  doi       = {10.1007/11556985\_37},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/CeskaKV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaHV03,
  author    = {Milan Ceska and
               Ludek Hasa and
               Tom{\'{a}}s Vojnar},
  title     = {Partial-Order Reduction in Model Checking Object-Oriented Petri Nets},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2003, 9th International
               Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
               Spain, February 24-28, 2003, Revised Selected Papers},
  pages     = {265--278},
  year      = {2003},
  crossref  = {DBLP:conf/eurocast/2003},
  url       = {https://doi.org/10.1007/978-3-540-45210-2\_25},
  doi       = {10.1007/978-3-540-45210-2\_25},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/CeskaHV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/CeskaJV01,
  author    = {Milan Ceska and
               Vladim{\'{\i}}r Janousek and
               Tom{\'{a}}s Vojnar},
  title     = {Generating and using state spaces of object-oriented Petri nets},
  journal   = {Comput. Syst. Sci. Eng.},
  volume    = {16},
  number    = {3},
  pages     = {183--193},
  year      = {2001},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csse/CeskaJV01},
  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},
  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},
  pages     = {369--384},
  year      = {2001},
  crossref  = {DBLP:conf/eurocast/2001},
  url       = {https://doi.org/10.1007/3-540-45654-6\_29},
  doi       = {10.1007/3-540-45654-6\_29},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/CeskaJV01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaJV99,
  author    = {Milan Ceska and
               Vladim{\'{\i}}r Janousek and
               Tom{\'{a}}s Vojnar},
  title     = {Towards Verifying Distributed Systems Using Object-Oriented Petri
               Nets},
  booktitle = {Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September
               29 - October 2, 1999, Proceedings},
  pages     = {90--104},
  year      = {1999},
  crossref  = {DBLP:conf/eurocast/1999},
  url       = {https://doi.org/10.1007/10720123\_9},
  doi       = {10.1007/10720123\_9},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/CeskaJV99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CeskaJV98,
  author    = {Milan Ceska and
               Vladim{\'{\i}}r Janousek and
               Tom{\'{a}}s Vojnar},
  title     = {Object-oriented Petri nets, their simulation, and analysis},
  booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
               and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
               USA, October 11-14,1998},
  pages     = {262--267},
  year      = {1998},
  crossref  = {DBLP:conf/smc/1998},
  url       = {https://doi.org/10.1109/ICSMC.1998.725419},
  doi       = {10.1109/ICSMC.1998.725419},
  timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smc/CeskaJV98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CeskaJV97,
  author    = {Milan Ceska and
               Vladim{\'{\i}}r Janousek and
               Tom{\'{a}}s Vojnar},
  title     = {PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling},
  booktitle = {Computer Aided Systems Theory - EUROCAST'97, {A} Selection of Papers
               from the 6th International Workshop on Computer Aided Systems Theory,
               Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings},
  pages     = {591--610},
  year      = {1997},
  crossref  = {DBLP:conf/eurocast/1997},
  url       = {https://doi.org/10.1007/BFb0025078},
  doi       = {10.1007/BFb0025078},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/CeskaJV97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2018-2,
  editor    = {Dirk Beyer and
               Marieke Huisman},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10806},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89963-3},
  doi       = {10.1007/978-3-319-89963-3},
  isbn      = {978-3-319-89962-6},
  timestamp = {Tue, 17 Apr 2018 09:53:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2018-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-2,
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  title     = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10427},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63390-9},
  doi       = {10.1007/978-3-319-63390-9},
  isbn      = {978-3-319-63389-3},
  timestamp = {Fri, 14 Jul 2017 13:04:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2017-2,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler and
               Alexis Quesada{-}Arencibia},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2017 - 16th International
               Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017,
               Revised Selected Papers, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10672},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-74727-9},
  doi       = {10.1007/978-3-319-74727-9},
  isbn      = {978-3-319-74726-2},
  timestamp = {Fri, 26 Jan 2018 12:47:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2017,
  editor    = {Goran Frehse and
               Sayan Mitra},
  title     = {Proceedings of the 20th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3049797},
  doi       = {10.1145/3049797},
  isbn      = {978-1-4503-4590-3},
  timestamp = {Tue, 06 Nov 2018 11:07:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014pnse,
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke},
  title     = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering, co-located with 35th International Conference on Application
               and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
               International Conference on Application of Concurrency to System Design
               {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1160},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1160},
  urn       = {urn:nbn:de:0074-1160-3},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2013-1,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler and
               Alexis Quesada{-}Arencibia},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2013 - 14th International
               Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013,
               Revised Selected Papers, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8111},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-53856-8},
  doi       = {10.1007/978-3-642-53856-8},
  isbn      = {978-3-642-53855-1},
  timestamp = {Thu, 25 May 2017 00:43:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2013-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2011-1,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler and
               Alexis Quesada{-}Arencibia},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
               Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
               Revised Selected Papers, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6927},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27549-4},
  doi       = {10.1007/978-3-642-27549-4},
  isbn      = {978-3-642-27548-7},
  timestamp = {Thu, 25 May 2017 00:43:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2011-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2009,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler and
               Alexis Quesada{-}Arencibia},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2009, 12th International
               Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5717},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04772-5},
  doi       = {10.1007/978-3-642-04772-5},
  isbn      = {978-3-642-04771-8},
  timestamp = {Thu, 25 May 2017 00:43:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2007,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler and
               Alexis Quesada{-}Arencibia},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International
               Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
               Spain, February 12-16, 2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4739},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75867-9},
  doi       = {10.1007/978-3-540-75867-9},
  isbn      = {978-3-540-75866-2},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2005,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler and
               Alexis Quesada{-}Arencibia},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2005, 10th International
               Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
               Spain, February 7-11, 2005, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3643},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11556985},
  doi       = {10.1007/11556985},
  isbn      = {3-540-29002-8},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/2003,
  editor    = {Roberto Moreno{-}D{\'{\i}}az and
               Franz Pichler},
  title     = {Computer Aided Systems Theory - {EUROCAST} 2003, 9th International
               Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
               Spain, February 24-28, 2003, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2809},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13239},
  doi       = {10.1007/b13239},
  isbn      = {3-540-20221-8},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2003},
  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 = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/1999,
  editor    = {Franz Pichler and
               Roberto Moreno{-}D{\'{\i}}az and
               Peter Kopacek},
  title     = {Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September
               29 - October 2, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1798},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10720123},
  doi       = {10.1007/10720123},
  isbn      = {3-540-67822-0},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smc/1998,
  title     = {Proceedings of the {IEEE} International Conference on Systems, Man
               and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
               USA, October 11-14,1998},
  publisher = {{IEEE}},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5875},
  isbn      = {0-7803-4778-1},
  timestamp = {Fri, 08 Jun 2018 06:26:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smc/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocast/1997,
  editor    = {Franz Pichler and
               Roberto Moreno{-}D{\'{\i}}az},
  title     = {Computer Aided Systems Theory - EUROCAST'97, {A} Selection of Papers
               from the 6th International Workshop on Computer Aided Systems Theory,
               Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1333},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0025029},
  doi       = {10.1007/BFb0025029},
  isbn      = {3-540-63811-3},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocast/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier