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/sofsem2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/sofsem/0002MS18,
author = {Clemens Hoffmann and
Hendrik Molter and
Manuel Sorge},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {The Parameterized Complexity of Centrality Improvement in Networks},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {111--124},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_8},
doi = {10.1007/978-3-319-73117-9\_8},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/0002MS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AbdellatifHYB18,
author = {Safa Abdellatif and
Mohamed Ali Ben Hassine and
Sadok Ben Yahia and
Amel Bouzeghoub},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {{ARCID:} {A} New Approach to Deal with Imbalanced Datasets Classification},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {569--580},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_40},
doi = {10.1007/978-3-319-73117-9\_40},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AbdellatifHYB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AblayevAKK18,
author = {Farid M. Ablayev and
Andris Ambainis and
Kamil Khadiev and
Aliya Khadieva},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Lower Bounds and Hierarchies for Quantum Memoryless Communication
Protocols and Quantum Ordered Binary Decision Diagrams with Repeated
Test},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {197--211},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_14},
doi = {10.1007/978-3-319-73117-9\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/AblayevAKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AlamroACIP18,
author = {Hayam Alamro and
Lorraine A. K. Ayad and
Panagiotis Charalampopoulos and
Costas S. Iliopoulos and
Solon P. Pissis},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Longest Common Prefixes with k-Mismatches and Applications},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {636--649},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_45},
doi = {10.1007/978-3-319-73117-9\_45},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AlamroACIP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AnselmoGM18,
author = {Marcella Anselmo and
Dora Giammarresi and
Maria Madonia},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Encoding Pictures with Maximal Codes of Pictures},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {552--565},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_39},
doi = {10.1007/978-3-319-73117-9\_39},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/AnselmoGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BabenkoK18,
author = {Maxim A. Babenko and
Ignat I. Kolesnichenko},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {External Memory Algorithms for Finding Disjoint Paths in Undirected
Graphs},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {295--304},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_21},
doi = {10.1007/978-3-319-73117-9\_21},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/BabenkoK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BeckDE18,
author = {Harald Beck and
Minh Dao{-}Tran and
Thomas Eiter},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {{LARS:} {A} Logic-Based Framework for Analytic Reasoning over Streams
- (Extended Abstract)},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {87--93},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_6},
doi = {10.1007/978-3-319-73117-9\_6},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/BeckDE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BellomariniGPS18,
author = {Luigi Bellomarini and
Georg Gottlob and
Andreas Pieris and
Emanuel Sallinger},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements,
Language, and System},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {3--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_1},
doi = {10.1007/978-3-319-73117-9\_1},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/BellomariniGPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Boreale18,
author = {Michele Boreale},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Complete Algorithms for Algebraic Strongest Postconditions and Weakest
Preconditions in Polynomial ODE'S},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {442--455},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_31},
doi = {10.1007/978-3-319-73117-9\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Boreale18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Broy18,
author = {Manfred Broy},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {On Architecture Specification},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {19--39},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_2},
doi = {10.1007/978-3-319-73117-9\_2},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Broy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BurdaC18,
author = {Kamil Burda and
Daniela Chud{\'{a}}},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Influence of Body Postures on Touch-Based Biometric User Authentication},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {459--468},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_32},
doi = {10.1007/978-3-319-73117-9\_32},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BurdaC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BurjonsKS18,
author = {Elisabet Burjons and
Dennis Komm and
Marcel Sch{\"{o}}ngens},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {The k-Server Problem with Advice in d Dimensions and on the Sphere},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {396--409},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_28},
doi = {10.1007/978-3-319-73117-9\_28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/BurjonsKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChabinFM018,
author = {Jacques Chabin and
M{\'{\i}}rian Halfeld Ferrari and
B{\'{e}}atrice Markhoff and
Thanh Binh Nguyen},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Validating Data from Semantic Web Providers},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {682--695},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_48},
doi = {10.1007/978-3-319-73117-9\_48},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ChabinFM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChaudronFHHJ18,
author = {Michel R. V. Chaudron and
Ana Fernandes{-}Saez and
Regina Hebig and
Truong Ho{-}Quang and
Rodi Jolak},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Diversity in {UML} Modeling Explained: Observations, Classifications
and Theorizations},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {47--66},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_4},
doi = {10.1007/978-3-319-73117-9\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/ChaudronFHHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChuangpishitCGG18,
author = {Huda Chuangpishit and
Jurek Czyzowicz and
Leszek Gasieniec and
Konstantinos Georgiou and
Tomasz Jurdzinski and
Evangelos Kranakis},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Patrolling a Path Connecting a Set of Points with Unbalanced Frequencies
of Visits},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {367--380},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_26},
doi = {10.1007/978-3-319-73117-9\_26},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ChuangpishitCGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CorradiniM0RT18,
author = {Flavio Corradini and
Chiara Muzi and
Barbara Re and
Lorenzo Rossi and
Francesco Tiezzi},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Global vs. Local Semantics of {BPMN} 2.0 OR-Join},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {321--336},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_23},
doi = {10.1007/978-3-319-73117-9\_23},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/CorradiniM0RT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CzyzowiczGKLM18,
author = {Jurek Czyzowicz and
Maxime Godon and
Evangelos Kranakis and
Arnaud Labourel and
Euripides Markou},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Exploring Graphs with Time Constraints by Unreliable Collections of
Mobile Robots},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {381--395},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_27},
doi = {10.1007/978-3-319-73117-9\_27},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/CzyzowiczGKLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DamaschkeS18,
author = {Peter Damaschke and
Alexander Schliep},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {An Optimization Problem Related to Bloom Filters with Bit Patterns},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {525--538},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_37},
doi = {10.1007/978-3-319-73117-9\_37},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/DamaschkeS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DematisKV18,
author = {Ioannis Dematis and
Eirini D. Karapistoli and
Athena Vakali},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Fake Review Detection via Exploitation of Spam Indicators and Reviewer
Behavior Characteristics},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {581--595},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_41},
doi = {10.1007/978-3-319-73117-9\_41},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/DematisKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DotyZ18,
author = {David Doty and
Shaopeng Zhu},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Computational Complexity of Atomic Chemical Reaction Networks},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {212--226},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_15},
doi = {10.1007/978-3-319-73117-9\_15},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/DotyZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DreierKXR18,
author = {Jan Dreier and
Philipp Kuinke and
Ba Le Xuan and
Peter Rossmanith},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Local Structure Theorems for Erd{\H{o}}s-R{\'{e}}nyi Graphs and
Their Algorithmic Applications},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {125--136},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_9},
doi = {10.1007/978-3-319-73117-9\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/DreierKXR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FreireBF18,
author = {Victor da C. Luna Freire and
Jo{\~{a}}o Brunet and
Jorge C. A. de Figueiredo},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Automatic Decomposition of Java Open Source Pull Requests: {A} Replication
Study},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {255--268},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_18},
doi = {10.1007/978-3-319-73117-9\_18},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/FreireBF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GeissmannP18,
author = {Barbara Geissmann and
Paolo Penna},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Inversions from Sorting with Distance-Based Errors},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {508--522},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_36},
doi = {10.1007/978-3-319-73117-9\_36},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/GeissmannP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GogoglouTM18,
author = {Antonia Gogoglou and
Theodora Tsikrika and
Yannis Manolopoulos},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Network Analysis of the Science of Science: {A} Case Study in {SOFSEM}
Conference},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {94--108},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_7},
doi = {10.1007/978-3-319-73117-9\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GogoglouTM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HaeuslerTKFNB18,
author = {Martin Haeusler and
Thomas Trojer and
Johannes Kessler and
Matthias Farwick and
Emmanuel Nowakowski and
Ruth Breu},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Combining Versioning and Metamodel Evolution in the ChronoSphere Model
Repository},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {153--167},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_11},
doi = {10.1007/978-3-319-73117-9\_11},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/HaeuslerTKFNB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Hartmann18,
author = {Tim A. Hartmann},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Target Set Selection Parameterized by Clique-Width and Maximum Threshold},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {137--149},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_10},
doi = {10.1007/978-3-319-73117-9\_10},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Hartmann18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Henzinger18,
author = {Monika Henzinger},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {The State of the Art in Dynamic Graph Algorithms},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {40--44},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_3},
doi = {10.1007/978-3-319-73117-9\_3},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Henzinger18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HnatkowskaW18,
author = {Bogumila Hnatkowska and
Pawel Woroniecki},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Transformation of {OWL2} Property Axioms to Groovy},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {269--282},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_19},
doi = {10.1007/978-3-319-73117-9\_19},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/HnatkowskaW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HreskovaM18,
author = {Miroslava Hreskov{\'{a}} and
Krist{\'{\i}}na Machov{\'{a}}},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Michiko: Poem Models used in Automated Haiku Poetry Generation},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {469--476},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_33},
doi = {10.1007/978-3-319-73117-9\_33},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/HreskovaM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/IgarashiDYS18,
author = {Yuki Igarashi and
Diptarama and
Ryo Yoshinaka and
Ayumi Shinohara},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {New Variants of Pattern Matching with Constants and Variables},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {611--623},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_43},
doi = {10.1007/978-3-319-73117-9\_43},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/IgarashiDYS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JalonenK18,
author = {Joonatan Jalonen and
Jarkko Kari},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {227--238},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_16},
doi = {10.1007/978-3-319-73117-9\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JalonenK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JargalsaikhanDU18,
author = {Davaajav Jargalsaikhan and
Diptarama and
Yohei Ueki and
Ryo Yoshinaka and
Ayumi Shinohara},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Duel and Sweep Algorithm for Order-Preserving Pattern Matching},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {624--635},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_44},
doi = {10.1007/978-3-319-73117-9\_44},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JargalsaikhanDU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Jurdzinski018,
author = {Tomasz Jurdzinski and
Krzysztof Nowicki},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {On Range and Edge Capacity in the Congested Clique},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {305--318},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_22},
doi = {10.1007/978-3-319-73117-9\_22},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Jurdzinski018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KallelTKD18,
author = {Sahar Kallel and
Chouki Tibermacine and
Ahmed Hadj Kacem and
Christophe Dony},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Multi-paradigm Architecture Constraint Specification and Configuration
Based on Graphs and Feature Models},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {180--193},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_13},
doi = {10.1007/978-3-319-73117-9\_13},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/KallelTKD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KamaliMC18,
author = {Mojgan Kamali and
Massimo Merro and
Alice Dal Corso},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {AODVv2: Performance vs. Loop Freedom},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {337--350},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_24},
doi = {10.1007/978-3-319-73117-9\_24},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/KamaliMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KhanHM18,
author = {Shahid Khan and
Osman Hasan and
Atif Mashkoor},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Formal Verification and Safety Assessment of a Hemodialysis Machine},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {241--254},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_17},
doi = {10.1007/978-3-319-73117-9\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KhanHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Lorenz18,
author = {Jan{-}Hendrik Lorenz},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Runtime Distributions and Criteria for Restarts},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {493--507},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_35},
doi = {10.1007/978-3-319-73117-9\_35},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Lorenz18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MartinezLPRS18,
author = {Manuel Perez Martinez and
T{\'{\i}}mea L{\'{a}}szl{\'{o}} and
Norbert Pataki and
Csaba Rotter and
Csaba Szalai},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Multivendor Deployment Integration for Future Mobile Networks},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {351--364},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_25},
doi = {10.1007/978-3-319-73117-9\_25},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/MartinezLPRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MasopustK18,
author = {Tom{\'{a}}s Masopust and
Markus Kr{\"{o}}tzsch},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Deciding Universality of ptNFAs is PSpace-Complete},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {413--427},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_29},
doi = {10.1007/978-3-319-73117-9\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MasopustK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Momege18,
author = {Benjamin Mom{\`{e}}ge},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Simple Paths and Cycles Avoiding Forbidden Paths},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {285--294},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_20},
doi = {10.1007/978-3-319-73117-9\_20},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Momege18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/NgoGLLM18,
author = {Tu Ngo and
Vera Georgescu and
Anne Laurent and
Th{\'{e}}r{\`{e}}se Libourel and
Gr{\'{e}}goire Mercier},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Mining Spatial Gradual Patterns: Application to Measurement of Potentially
Avoidable Hospitalizations},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {596--608},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_42},
doi = {10.1007/978-3-319-73117-9\_42},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/NgoGLLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/RastocnyM18,
author = {Karol R{\'{a}}stocn{\'{y}} and
Andrej Mlync{\'{a}}r},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Automated Change Propagation from Source Code to Sequence Diagrams},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {168--179},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_12},
doi = {10.1007/978-3-319-73117-9\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/RastocnyM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/RavatST18,
author = {Franck Ravat and
Jiefu Song and
Olivier Teste},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Managing Reduction in Multidimensional Databases},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {653--666},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_46},
doi = {10.1007/978-3-319-73117-9\_46},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/RavatST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Saenz-AdanPHM18,
author = {Carlos S{\'{a}}enz{-}Ad{\'{a}}n and
Beatriz P{\'{e}}rez and
Trung Dong Huynh and
Luc Moreau},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {{UML2PROV:} Automating Provenance Capture in Software Engineering},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {667--681},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_47},
doi = {10.1007/978-3-319-73117-9\_47},
timestamp = {Fri, 19 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Saenz-AdanPHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Szabados18,
author = {Michal Szabados},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Nivat's Conjecture Holds for Sums of Two Periodic Configurations},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {539--551},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_38},
doi = {10.1007/978-3-319-73117-9\_38},
timestamp = {Fri, 12 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Szabados18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/TammV18,
author = {Hellis Tamm and
Margus Veanes},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Theoretical Aspects of Symbolic Automata},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {428--441},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_30},
doi = {10.1007/978-3-319-73117-9\_30},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/TammV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Tomas18,
author = {Ana Paula Tom{\'{a}}s},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {House Allocation Problems with Existing Tenants and Priorities for
Teacher Recruitment},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {479--492},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_34},
doi = {10.1007/978-3-319-73117-9\_34},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Tomas18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/WeynsRS18,
author = {Danny Weyns and
Gowri Sankar Ramachandran and
Ritesh Kumar Singh},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Self-managing Internet of Things},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {67--84},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_5},
doi = {10.1007/978-3-319-73117-9\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/WeynsRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2018,
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9},
doi = {10.1007/978-3-319-73117-9},
isbn = {978-3-319-73116-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2018.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-04-19 16:30 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:
