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/sofsem/sofsem2016.bht:"
download as .bib file
@inproceedings{DBLP:conf/sofsem/AkkerBDHO16,
author = {Marjan van den Akker and
Hans L. Bodlaender and
Thomas C. van Dijk and
Han Hoogeveen and
Erik van Ommeren},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Robust Recoverable Path Using Backup Nodes},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {95--106},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_8},
doi = {10.1007/978-3-662-49192-8\_8},
timestamp = {Sat, 10 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AkkerBDHO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Alam0K16,
author = {Muhammad Jawaherul Alam and
Michael Kaufmann and
Stephen G. Kobourov},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {On Contact Graphs with Cubes and Proportional Boxes},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {107--120},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_9},
doi = {10.1007/978-3-662-49192-8\_9},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Alam0K16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AlamKM16,
author = {Muhammad Jawaherul Alam and
Stephen G. Kobourov and
Debajyoti Mondal},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Orthogonal Layout with Optimal Face Complexity},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {121--133},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_10},
doi = {10.1007/978-3-662-49192-8\_10},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AlamKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AngeliniLBDPRT16,
author = {Patrizio Angelini and
Giordano Da Lozzo and
Marco Di Bartolomeo and
Valentino Di Donato and
Maurizio Patrignani and
Vincenzo Roselli and
Ioannis G. Tollis},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {L-Drawings of Directed Graphs},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {134--147},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_11},
doi = {10.1007/978-3-662-49192-8\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AngeliniLBDPRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AydinianCDL16,
author = {Harout K. Aydinian and
Ferdinando Cicalese and
Christian Deppe and
Vladimir S. Lebedev},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {A Combinatorial Model of Two-Sided Search},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {148--160},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_12},
doi = {10.1007/978-3-662-49192-8\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/AydinianCDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BarhumH16,
author = {Kfir Barhum and
Juraj Hromkovic},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {On the Power of Laconic Advice in Communication Complexity},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {161--170},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_13},
doi = {10.1007/978-3-662-49192-8\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BarhumH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Bartak16,
author = {Roman Bart{\'{a}}k},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Using Attribute Grammars to Model Nested Workflows with Extra Constraints},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {171--182},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_14},
doi = {10.1007/978-3-662-49192-8\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Bartak16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BendkowskiGLZ16,
author = {Maciej Bendkowski and
Katarzyna Grygiel and
Pierre Lescanne and
Marek Zaionc},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {A Natural Counting of Lambda Terms},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {183--194},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_15},
doi = {10.1007/978-3-662-49192-8\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BendkowskiGLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BezirgiannisB16,
author = {Nikolaos Bezirgiannis and
Frank S. de Boer},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {{ABS:} {A} High-Level Modeling Language for Cloud-Aware Programming},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {433--444},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_35},
doi = {10.1007/978-3-662-49192-8\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BezirgiannisB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BianchiBBKP16,
author = {Maria Paola Bianchi and
Hans{-}Joachim B{\"{o}}ckenhauer and
Tatjana Br{\"{u}}lisauer and
Dennis Komm and
Beatrice Palano},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Online Minimum Spanning Tree with Advice - (Extended Abstract)},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {195--207},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_16},
doi = {10.1007/978-3-662-49192-8\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/BianchiBBKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BilleGS16,
author = {Philip Bille and
Inge Li G{\o}rtz and
Frederik Rye Skjoldjensen},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Subsequence Automata with Default Transitions},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {208--216},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_17},
doi = {10.1007/978-3-662-49192-8\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BilleGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BoerG16,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Run-Time Checking Multi-threaded Java Programs},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {217--228},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_18},
doi = {10.1007/978-3-662-49192-8\_18},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/BoerG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Brassard16,
author = {Gilles Brassard},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Cryptography in a Quantum World},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {3--16},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_1},
doi = {10.1007/978-3-662-49192-8\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Brassard16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BurjonsHMU16,
author = {Elisabet Burjons and
Juraj Hromkovic and
Xavier Mu{\~{n}}oz and
Walter Unger},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Online Graph Coloring with Advice and Randomized Adversary - (Extended
Abstract)},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {229--240},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_19},
doi = {10.1007/978-3-662-49192-8\_19},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/BurjonsHMU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CarvalhoPR16,
author = {Veronica Oliveira de Carvalho and
Renan de Padua and
Solange Oliveira Rezende},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Solving the Problem of Selecting Suitable Objective Measures by Clustering
Association Rules Through the Measures Themselves},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {505--517},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_41},
doi = {10.1007/978-3-662-49192-8\_41},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/CarvalhoPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CemusCMD16,
author = {Karel Cemus and
Tom{\'{a}}s Cern{\'{y}} and
Lubos Matl and
Michael J. Donahoo},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Aspect, Rich, and Anemic Domain Models in Enterprise Information Systems},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {445--456},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_36},
doi = {10.1007/978-3-662-49192-8\_36},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/CemusCMD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CernyD16,
author = {Tom{\'{a}}s Cern{\'{y}} and
Michael J. Donahoo},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Survey on Concern Separation in Service Integration},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {518--531},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_42},
doi = {10.1007/978-3-662-49192-8\_42},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/CernyD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChoH0S16,
author = {Da{-}Jung Cho and
Yo{-}Sub Han and
Timothy Ng and
Kai Salomaa},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Pseudoknot-Generating Operation},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {241--252},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_20},
doi = {10.1007/978-3-662-49192-8\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ChoH0S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DanekB16,
author = {Jakub Danek and
Premek Brada},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Finding Optimal Compatible Set of Software Components Using Integer
Linear Programming},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {457--468},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_37},
doi = {10.1007/978-3-662-49192-8\_37},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/DanekB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Dimitrijevs16,
author = {Maksims Dimitrijevs},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Capabilities of Ultrametric Automata with One, Two, and Three States},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {253--264},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_21},
doi = {10.1007/978-3-662-49192-8\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Dimitrijevs16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DobrevHKKKM16,
author = {Stefan Dobrev and
Juraj Hromkovic and
Dennis Komm and
Richard Kr{\'{a}}lovic and
Rastislav Kr{\'{a}}lovic and
Tobias M{\"{o}}mke},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {The Complexity of Paging Against a Probabilistic Adversary},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {265--276},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_22},
doi = {10.1007/978-3-662-49192-8\_22},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/DobrevHKKKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FarkasKL16,
author = {Tom{\'{a}}s Farkas and
Peter Kub{\'{a}}n and
M{\'{a}}ria Luck{\'{a}}},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Effective Parallel Multicore-Optimized K-mers Counting Algorithm},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {469--477},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_38},
doi = {10.1007/978-3-662-49192-8\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/FarkasKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GallayS16,
author = {Ladislav Gallay and
Mari{\'{a}}n Simko},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Utilizing Vector Models for Automatic Text Lemmatization},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {532--543},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_43},
doi = {10.1007/978-3-662-49192-8\_43},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GallayS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GazdaW16,
author = {Maciej Gazda and
Tim A. C. Willemse},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {On Parity Game Preorders and the Logic of Matching Plays},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {277--289},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_23},
doi = {10.1007/978-3-662-49192-8\_23},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GazdaW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GehrkeJKS16,
author = {Jan Clemens Gehrke and
Klaus Jansen and
Stefan Erich Julius Kraft and
Jakob Schikowski},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {A {PTAS} for Scheduling Unrelated Machines of Few Different Types},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {290--301},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_24},
doi = {10.1007/978-3-662-49192-8\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GehrkeJKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HassanO16,
author = {Adel Hassan and
Mourad Oussalah},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Meta-Evolution Style for Software Architecture Evolution},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {478--489},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_39},
doi = {10.1007/978-3-662-49192-8\_39},
timestamp = {Sat, 22 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/HassanO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HoltappelsSG16,
author = {Sebastian Holtappels and
Michael Striewe and
Michael Goedicke},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {From {ESSENCE} to Theory Oriented Software Engineering},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {43--50},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_4},
doi = {10.1007/978-3-662-49192-8\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/HoltappelsSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HyyroI16,
author = {Heikki Hyyr{\"{o}} and
Shunsuke Inenaga},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Compacting a Dynamic Edit Distance Table by {RLE} Compression},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {302--313},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_25},
doi = {10.1007/978-3-662-49192-8\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/HyyroI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Imai016,
author = {Tatsuya Imai and
Osamu Watanabe},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Relating Sublinear Space Computability Among Graph Connectivity and
Related Problems},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {17--28},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_2},
doi = {10.1007/978-3-662-49192-8\_2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Imai016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JainS16,
author = {Sanjay Jain and
Frank Stephan},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Learning Automatic Families of Languages},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {29--40},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_3},
doi = {10.1007/978-3-662-49192-8\_3},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JainS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Janin16,
author = {David Janin},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Walking Automata in Free Inverse Monoids},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {314--328},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_26},
doi = {10.1007/978-3-662-49192-8\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Janin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JansenLK16,
author = {Klaus Jansen and
Felix Land and
Maren Kaluza},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized
Biclique},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {329--343},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_27},
doi = {10.1007/978-3-662-49192-8\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JansenLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KosutS16,
author = {Mat{\'{u}}s Kos{\'{u}}t and
Mari{\'{a}}n Simko},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Improving Keyword Extraction from Movie Subtitles by Utilizing Temporal
Properties},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {544--555},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_44},
doi = {10.1007/978-3-662-49192-8\_44},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KosutS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KravchenkoNR16,
author = {Dmitry Kravchenko and
Nikolajs Nahimovs and
Alexander Rivosh},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Grover's Search with Faults on Some Marked Elements},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {344--355},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_28},
doi = {10.1007/978-3-662-49192-8\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KravchenkoNR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KurganskyyP16,
author = {Oleksiy Kurganskyy and
Igor Potapov},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Reachability Problems for PAMs},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {356--368},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_29},
doi = {10.1007/978-3-662-49192-8\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KurganskyyP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KweeO16,
author = {Kent Kwee and
Friedrich Otto},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {On the Effects of Nondeterminism on Ordered Restarting Automata},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {369--380},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_30},
doi = {10.1007/978-3-662-49192-8\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KweeO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LlanaCD16,
author = {Luis Llana and
Mar{\'{\i}}a{-}Emilia Cambronero and
Gregorio D{\'{\i}}az},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {The Simulation Relation for Formal E-Contracts},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {490--502},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_40},
doi = {10.1007/978-3-662-49192-8\_40},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/LlanaCD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MoroVB16,
author = {R{\'{o}}bert M{\'{o}}ro and
Mate Vangel and
M{\'{a}}ria Bielikov{\'{a}}},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Identification of Navigation Lead Candidates Using Citation and Co-Citation
Analysis},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {556--568},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_45},
doi = {10.1007/978-3-662-49192-8\_45},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MoroVB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MuhammadDM16,
author = {Azam Sheikh Muhammad and
Peter Damaschke and
Olof Mogren},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Summarizing Online User Reviews Using Bicliques},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {569--579},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_46},
doi = {10.1007/978-3-662-49192-8\_46},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MuhammadDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/NahimovsR16,
author = {Nikolajs Nahimovs and
Alexander Rivosh},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {381--391},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_31},
doi = {10.1007/978-3-662-49192-8\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/NahimovsR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/PaduaCR16,
author = {Renan de Padua and
Veronica Oliveira de Carvalho and
Solange Oliveira Rezende},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Post-processing Association Rules: {A} Network Based Label Propagation
Approach},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {580--591},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_47},
doi = {10.1007/978-3-662-49192-8\_47},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/PaduaCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Palpanas16,
author = {Themis Palpanas},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Big Sequence Management: {A} glimpse of the Past, the Present, and
the Future},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {63--80},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_6},
doi = {10.1007/978-3-662-49192-8\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Palpanas16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/PatonBEFM16,
author = {Norman W. Paton and
Khalid Belhajjame and
Suzanne M. Embury and
Alvaro A. A. Fernandes and
Ruhaila Maskat},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Pay-as-you-go Data Integration: Experiences and Recurring Themes},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {81--92},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_7},
doi = {10.1007/978-3-662-49192-8\_7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/PatonBEFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Rychlicki-Kicior16,
author = {Krzysztof Rychlicki{-}Kicior and
Bartlomiej Stasiak and
Mykhaylo Yatsymirskyy},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Application of Multiple Sound Representations in Multipitch Estimation
Using Shift-Invariant Probabilistic Latent Component Analysis},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {592--601},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_48},
doi = {10.1007/978-3-662-49192-8\_48},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Rychlicki-Kicior16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/SebastianN16,
author = {Tom Sebastian and
Joachim Niehren},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Projection for Nested Word Automata Speeds up XPath Evaluation on
{XML} Streams},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {602--614},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_49},
doi = {10.1007/978-3-662-49192-8\_49},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/SebastianN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Skorski16,
author = {Maciej Skorski},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {How to Smooth Entropy?},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {392--403},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_32},
doi = {10.1007/978-3-662-49192-8\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Skorski16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/SolarCM16,
author = {Roberto Solar and
Veronica Gil{-}Costa and
Mauricio Mar{\'{\i}}n},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Evaluation of Static/Dynamic Cache for Similarity Search Engines},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {615--627},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_50},
doi = {10.1007/978-3-662-49192-8\_50},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/SolarCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Varro16,
author = {D{\'{a}}niel Varr{\'{o}}},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Incremental Queries and Transformations: From Concepts to Industrial
Applications},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {51--59},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_5},
doi = {10.1007/978-3-662-49192-8\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Varro16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/WangLW16,
author = {Chao Wang and
Yi Lv and
Peng Wu},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Bounded TSO-to-SC Linearizability Is Decidable},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {404--417},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_33},
doi = {10.1007/978-3-662-49192-8\_33},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/WangLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ZhangYK16,
author = {Liyu Zhang and
Chen Yuan and
Haibin Kan},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Probabilistic Autoreductions},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {418--429},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_34},
doi = {10.1007/978-3-662-49192-8\_34},
timestamp = {Sat, 25 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/ZhangYK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2016,
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8},
doi = {10.1007/978-3-662-49192-8},
isbn = {978-3-662-49191-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2016.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-04 15:18 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:
