Search dblp for Publications

export results for "toc:db/conf/memics/memics2015.bht:"

 download as .bib file

@proceedings{DBLP:conf/memics/2015,
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-29817-7},
  doi          = {10.1007/978-3-319-29817-7},
  isbn         = {978-3-319-29816-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/Arins15,
  author       = {Agnis Arins},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Span-Program-Based Quantum Algorithms for Graph Bipartiteness and
                  Connectivity},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {35--41},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_4},
  doi          = {10.1007/978-3-319-29817-7\_4},
  timestamp    = {Sun, 02 Oct 2022 16:11:36 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/Arins15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/Benkner15,
  author       = {Siegfried Benkner},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Programming Support for Future Parallel Architectures},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_1},
  doi          = {10.1007/978-3-319-29817-7\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/Benkner15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/HavlenaH15,
  author       = {Vojtech Havlena and
                  Dana Hlinen{\'{a}}},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Fitting Aggregation Operators},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {42--53},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_5},
  doi          = {10.1007/978-3-319-29817-7\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/HavlenaH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/HlinenyS15,
  author       = {Petr Hlinen{\'{y}} and
                  Ondrej Sl{\'{a}}mecka},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {54--66},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_6},
  doi          = {10.1007/978-3-319-29817-7\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memics/HlinenyS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/HyvarinenAS15,
  author       = {Antti E. J. Hyv{\"{a}}rinen and
                  Leonardo Alt and
                  Natasha Sharygina},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Flexible Interpolation for Efficient Model Checking},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {11--22},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_2},
  doi          = {10.1007/978-3-319-29817-7\_2},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/HyvarinenAS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/IsavudeenDNA15,
  author       = {Ali Isavudeen and
                  Eva Dokl{\'{a}}dalov{\'{a}} and
                  Nicolas Ngan and
                  Mohamed Akil},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Self-Adaptive Architecture for Multi-Sensor Embedded Vision System},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {67--78},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_7},
  doi          = {10.1007/978-3-319-29817-7\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/IsavudeenDNA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/NahimovsR15,
  author       = {Nikolajs Nahimovs and
                  Alexander Rivosh},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Exceptional Configurations of Quantum Walks with Grover's Coin},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {79--92},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_8},
  doi          = {10.1007/978-3-319-29817-7\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/NahimovsR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/NalepaBZ15,
  author       = {Filip Nalepa and
                  Michal Batko and
                  Pavel Zezula},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Performance Analysis of Distributed Stream Processing Applications
                  Through Colored Petri Nets},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {93--106},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_9},
  doi          = {10.1007/978-3-319-29817-7\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/NalepaBZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/OdakerKV15,
  author       = {Thomas Odaker and
                  Dieter Kranzlm{\"{u}}ller and
                  Jens Volkert},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half
                  Edge Collapses},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {107--118},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_10},
  doi          = {10.1007/978-3-319-29817-7\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/OdakerKV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/SaydaliPS15,
  author       = {Sajad Saydali and
                  Hamid Parvin and
                  Ali A. Safaei},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Classifier Ensemble by Semi-supervised Learning: Local Aggregation
                  Methodology},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {119--132},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_11},
  doi          = {10.1007/978-3-319-29817-7\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/SaydaliPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/StavovaMM15,
  author       = {Vlasta Stavova and
                  Vashek Matyas and
                  Kamil Malinka},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {The Challenge of Increasing Safe Response of Antivirus Software Users},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {133--143},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_12},
  doi          = {10.1007/978-3-319-29817-7\_12},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/StavovaMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/StillRB15,
  author       = {Vladim{\'{\i}}r Still and
                  Petr Rockai and
                  Jiri Barnat},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Weak Memory Models as LLVM-to-LLVM Transformations},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {144--155},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_13},
  doi          = {10.1007/978-3-319-29817-7\_13},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/StillRB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/VojtasKV15,
  author       = {Peter Vojt{\'{a}}s and
                  Michal Kopecky and
                  Marta Vomlelov{\'{a}}},
  editor       = {Jan Kofron and
                  Tom{\'{a}}s Vojnar},
  title        = {Understanding Transparent and Complicated Users as Instances of Preference
                  Learning for Recommender Systems},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 10th International
                  Doctoral Workshop, {MEMICS} 2015, Tel{\v{c}}, Czech Republic, October
                  23-25, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9548},
  pages        = {23--34},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29817-7\_3},
  doi          = {10.1007/978-3-319-29817-7\_3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/VojtasKV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics