Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/sycss:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-2106-12240,
author = {Dominique Duval and
Rachid Echahed and
Fr{\'{e}}d{\'{e}}ric Prost},
editor = {Temur Kutsia},
title = {Querying {RDF} Databases with Sub-CONSTRUCTs},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {49--64},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.5},
doi = {10.4204/EPTCS.342.5},
timestamp = {Mon, 29 Nov 2021 16:32:05 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-12240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02801,
author = {Luis Berlioz},
editor = {Temur Kutsia},
title = {ArGoT: {A} Glossary of Terms extracted from the arXiv},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {14--21},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.2},
doi = {10.4204/EPTCS.342.2},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02802,
author = {Yannick Chevalier and
Micha{\"{e}}l Rusinowitch},
editor = {Temur Kutsia},
title = {Implementing Security Protocol Monitors},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {22--34},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.3},
doi = {10.4204/EPTCS.342.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02803,
author = {Ivan Fedotov and
Anton Khritankov},
editor = {Temur Kutsia},
title = {Statistical Model Checking of Common Attack Scenarios on Blockchain},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {65--77},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.6},
doi = {10.4204/EPTCS.342.6},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02803.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02805,
author = {Wolfgang Schreiner and
Franz{-}Xaver Reichl},
editor = {Temur Kutsia},
title = {First-Order Logic in Finite Domains: Where Semantic Evaluation Competes
with {SMT} Solving},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {99--113},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.9},
doi = {10.4204/EPTCS.342.9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02805.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02806,
author = {Bruno Buchberger},
editor = {Temur Kutsia},
title = {Symbolic Computation in Software Science: My Personal View},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {1--13},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.1},
doi = {10.4204/EPTCS.342.1},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-03234,
author = {Thibault Gauthier},
editor = {Temur Kutsia},
title = {Learned Provability Likelihood for Tactical Search},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {78--85},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.7},
doi = {10.4204/EPTCS.342.7},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03234.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-03235,
author = {Sorin Stratulat},
editor = {Temur Kutsia},
title = {E-Cyclist: Implementation of an Efficient Validation of {FOLID} Cyclic
Induction Reasoning},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {129--135},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.11},
doi = {10.4204/EPTCS.342.11},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-03720,
author = {Dohan Kim and
Christopher Lynch},
editor = {Temur Kutsia},
title = {Congruence Closure Modulo Permutation Equations},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {86--98},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.8},
doi = {10.4204/EPTCS.342.8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03720.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-03966,
author = {Amel Nestor Docena and
Thomas Wahl and
Trevor Pearce and
Yunsi Fei},
editor = {Temur Kutsia},
title = {Sensitive Samples Revisited: Detecting Neural Network Attacks Using
Constraint Solvers},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {35--48},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.4},
doi = {10.4204/EPTCS.342.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04196,
author = {Mbarka Soualhia and
Foutse Khomh and
Sofi{\`{e}}ne Tahar},
editor = {Temur Kutsia},
title = {Failure Analysis of Hadoop Schedulers using an Integration of Model
Checking and Simulation},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {114--128},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.10},
doi = {10.4204/EPTCS.342.10},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-02501,
editor = {Temur Kutsia},
title = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342},
doi = {10.4204/EPTCS.342},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/AndrianariveloP17,
author = {Nirina Andrianarivelo and
Vivien Pelletier and
Pierre R{\'{e}}ty},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Transforming Prefix-constrained or Controlled Rewrite Systems},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {49--62},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/m335},
doi = {10.29007/M335},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/sycss/AndrianariveloP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/Bhateja17,
author = {Puneet Bhateja},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Asynchronous testing of real-time systems},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {42--48},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/hcrn},
doi = {10.29007/HCRN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/Bhateja17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/BoussabbehTKM17,
author = {Maha Boussabbeh and
Mohamed Tounsi and
Ahmed Hadj Kacem and
Mohamed Mosbah},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Formal Development of Distributed Enumeration Algorithms By Refinement-Based
Techniques},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {96--106},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/8n75},
doi = {10.29007/8N75},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/BoussabbehTKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/BrenasES17,
author = {Jon Ha{\"{e}}l Brenas and
Rachid Echahed and
Martin Strecker},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {{C2PDLS:} {A} Combination of Combinatory and Converse {PDL} with Substitutions},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {29--41},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/gwcz},
doi = {10.29007/GWCZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/BrenasES17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/CernaS17,
author = {David M. Cerna and
Wolfgang Schreiner},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Measuring the Gap: Algorithmic Approximation Bounds for the Space
Complexity of Stream Specifications},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {1--15},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/t3jg},
doi = {10.29007/T3JG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/CernaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/EvinaAJB17,
author = {Pierrette Annie Evina and
Faten Labbene Ayachi and
Faouzi Ja{\"{\i}}di and
Adel Bouhoula},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Towards a Reliable Formal Framework for Enhancing Risk Assessment
in Access Control Systems},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {77--82},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/42j8},
doi = {10.29007/42J8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/EvinaAJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/HaeriS17,
author = {Seyed H. Haeri and
Sibylle Schupp},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Integration of a Decentralised Pattern Matching: Venue for a New Paradigm
Intermarriage},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {16--28},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/k919},
doi = {10.29007/K919},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/HaeriS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/IdaW17,
author = {Tetsuo Ida and
Stephen M. Watt},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Origami folds in higher-dimension},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {83--95},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/n76q},
doi = {10.29007/N76Q},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/IdaW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/JaidiAB17,
author = {Faouzi Ja{\"{\i}}di and
Faten Labbene Ayachi and
Adel Bouhoula},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {A Comprehensive Formal Solution for Access Control Policies Management:
Defect Detection, Analysis and Risk Assessment},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {120--132},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/q916},
doi = {10.29007/Q916},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/JaidiAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/OuniKAZ17,
author = {Hiba Ouni and
Kais Klai and
Chiheb Ameur Abid and
Belhassen Zouari},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {A Parallel Construction of the Symbolic Observation Graph: the Basis
for Efficient Model Checking of Concurrent Systems},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {107--119},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/7b44},
doi = {10.29007/7B44},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/OuniKAZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/SaadaouiYB17,
author = {Amina Sa{\^{a}}daoui and
Nihel Ben Youssef and
Adel Bouhoula},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Automatic detection and correction of firewall misconfigurations-
{A} formal approach},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {68--76},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/jl3k},
doi = {10.29007/JL3K},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/SaadaouiYB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/ZouariHK17,
author = {Jaweher Zouari and
Mohamed Hamdi and
Tai{-}Hoon Kim},
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {Private Profile Matching for Mobile Social Networks Based on Fuzzy
Extractors},
booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
pages = {63--67},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/st23},
doi = {10.29007/ST23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/ZouariHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sycss/2017,
editor = {Mohamed Mosbah and
Micha{\"{e}}l Rusinowitch},
title = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
series = {EPiC Series in Computing},
volume = {45},
publisher = {EasyChair},
year = {2017},
url = {https://easychair.org/publications/volume/SCSS\_2017},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/AsaiK16,
author = {Kenichi Asai and
Yukiyoshi Kameyama},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Automatic Staging via Partial Evaluation Techniques},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {1--13},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/rfbk},
doi = {10.29007/RFBK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/AsaiK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/BoutryBN16,
author = {Pierre Boutry and
Gabriel Braun and
Julien Narboux},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {From Tarski to Descartes: Formalization of the Arithmetization of
Euclidean Geometry},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {14--28},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/k47p},
doi = {10.29007/K47P},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/BoutryBN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/CernaSK16,
author = {David M. Cerna and
Wolfgang Schreiner and
Temur Kutsia},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Space Analysis of a Predicate Logic Fragment for the Specification
of Stream Monitors},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {29--41},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/jnj2},
doi = {10.29007/JNJ2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/CernaSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/CharlierA16,
author = {Baudouin Le Charlier and
M{\^{e}}ton M{\^{e}}ton Atindehou},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {A Data Structure to Handle Large Sets of Equal Terms},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {81--94},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/hsbm},
doi = {10.29007/HSBM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/CharlierA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/CongA16,
author = {Youyou Cong and
Kenichi Asai},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Implementing a stepper using delimited continuations},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {42--54},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/l2wb},
doi = {10.29007/L2WB},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/CongA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/HaeriS16,
author = {Seyed H. Haeri and
Sibylle Schupp},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Expression Compatibility Problem},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {55--67},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/xlbn},
doi = {10.29007/XLBN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/HaeriS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/KondoMMO16,
author = {Mitsuhiro Kondo and
Takuya Matsuo and
Yoshihiro Mizoguchi and
Hiroyuki Ochiai},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {A Mathematica module for Conformal Geometric Algebra and Origami Folding},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {68--80},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/6fc5},
doi = {10.29007/6FC5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/KondoMMO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/MarinKD16,
author = {Mircea Marin and
Temur Kutsia and
Besik Dundua},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {A rewrite-based computational model for functional logic programming},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {95--106},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/3ks9},
doi = {10.29007/3KS9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/MarinKD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/MathisS16,
author = {Pascal Mathis and
Pascal Schreck},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Determining automatically compass and straightedge unconstructibility
in triangles},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {130--142},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/b28w},
doi = {10.29007/B28W},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/MathisS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/MatsushimaMD16,
author = {Toshiaki Matsushima and
Yoshihiro Mizoguchi and
Alexandre Derouet{-}Jourdan},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Verification of a brick Wang tiling algorithm},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {107--116},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/2m5f},
doi = {10.29007/2M5F},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/MatsushimaMD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/MoriguchiGT16,
author = {Sosuke Moriguchi and
Mizuki Goto and
Kazuko Takahashi},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Towards Verified Construction for Planar Class of a Qualitative Spatial
Representation},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {117--129},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/zzft},
doi = {10.29007/ZZFT},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/MoriguchiGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/ScottF16,
author = {Phil Scott and
Jacques D. Fleuriot},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Compass-free Navigation of Mazes},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {143--155},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/9djp},
doi = {10.29007/9DJP},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sycss/ScottF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/SuzukiK0T16,
author = {Takaki Suzuki and
Kentaro Kikuchi and
Takahito Aoto and
Yoshihito Toyama},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Critical Pair Analysis in Nominal Rewriting},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {156--168},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/7q54},
doi = {10.29007/7Q54},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/SuzukiK0T16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/YamashitaD16,
author = {Tetsuro Yamashita and
Xavier Dahan},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Bit-size reduction of triangular sets in two and three variables},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {169--182},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/nz5x},
doi = {10.29007/NZ5X},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/YamashitaD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sycss/2016,
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
publisher = {EasyChair},
year = {2016},
url = {https://easychair.org/publications/volume/SCSS\_2016},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/BjornerP14,
author = {Nikolaj S. Bj{\o}rner and
Anh{-}Dung Phan},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {{\(\nu\)}Z - Maximal Satisfaction with {Z3}},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {1--9},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/jmxj},
doi = {10.29007/JMXJ},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/BjornerP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/Farmer14,
author = {William M. Farmer},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {Meaning Formulas for Syntax-Based Mathematical Algorithms},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {10--11},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/zd7s},
doi = {10.29007/ZD7S},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/Farmer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/FranzenA14,
author = {Daniel Franzen and
David Aspinall},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {Towards an amortized type system for JavaScript},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {12--26},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/v2f2},
doi = {10.29007/V2F2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/FranzenA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/KaliszykMU14,
author = {Cezary Kaliszyk and
Lionel Mamane and
Josef Urban},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {Machine Learning of Coq Proof Guidance: First Experiments},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {27--34},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/lmmg},
doi = {10.29007/LMMG},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sycss/KaliszykMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/MartinyM14,
author = {Karsten Martiny and
Ralf M{\"{o}}ller},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {{PDT} Logic for Stream Reasoning in Multi-agent Systems},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {35--46},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/ttzg},
doi = {10.29007/TTZG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/MartinyM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/NavarroO14,
author = {Marisa Navarro and
Fernando Orejas},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {A refutation procedure for proving satisfiability of constraint specifications
on {XML} documents},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {47--61},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/jfwc},
doi = {10.29007/JFWC},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/NavarroO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/SeidlGS14,
author = {Helmut Seidl and
Thomas Martin Gawlitza and
Martin D. Schwarz},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {Parametric Strategy Iteration},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {62--76},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/c4kg},
doi = {10.29007/C4KG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/SeidlGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sycss/2014,
editor = {Temur Kutsia and
Andrei Voronkov},
title = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
publisher = {EasyChair},
year = {2014},
url = {https://easychair.org/publications/volume/SCSS\_2014},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/002213,
author = {Wei Li},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {A Semantic Framework for Program Debugging},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {2},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/q2h6},
doi = {10.29007/Q2H6},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/002213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/AlpuenteBFS13,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Parametric Exploration of Rewriting Logic Computations},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {4--18},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/zm5g},
doi = {10.29007/ZM5G},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/AlpuenteBFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/Buchberger13,
author = {Bruno Buchberger},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Mathematics of 21st Century: {A} Personal View},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {1},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/19ls},
doi = {10.29007/19LS},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/Buchberger13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/CominiT13,
author = {Marco Comini and
Luca Torella},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Automatic Inference of Term Equivalence in Term Rewriting Systems},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {19--30},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/qsmm},
doi = {10.29007/QSMM},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/CominiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/CominiT13a,
author = {Marco Comini and
Luca Torella},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step
Behavior of Rewriting},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {31--49},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/cpt8},
doi = {10.29007/CPT8},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/CominiT13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/GhourabiIT13,
author = {Fadoua Ghourabi and
Tetsuo Ida and
Kazuko Takahashi},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Logical and Algebraic Views of a Knot Fold of a Regular Heptagon},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {50--63},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/v8hh},
doi = {10.29007/V8HH},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/GhourabiIT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/KubotaKKKS13,
author = {Takahiro Kubota and
Yoshihiko Kakutani and
Go Kato and
Yasuhito Kawano and
Hideki Sakurada},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Automated Verification of Equivalence on Quantum Cryptographic Protocols},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {64--69},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/95pj},
doi = {10.29007/95PJ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/KubotaKKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/LetichevskyGGKLP13,
author = {Alexander A. Letichevsky and
Alexander Godlevsky and
Anton Guba and
Alexander Kolchin and
Olexander A. Letychevskyi and
Vladimir S. Peschanenko},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Usage of Invariants for Symbolic Verification of Requirements},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {124},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/2nr2},
doi = {10.29007/2NR2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/LetichevskyGGKLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/Neumann13,
author = {Severin Neumann},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {A modified parallel {F4} algorithm for shared and distributed memory
architectures},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {70--80},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/98fh},
doi = {10.29007/98FH},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/Neumann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/Ouaknine13,
author = {Jo{\"{e}}l Ouaknine},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Decision Problems for Linear Recurrence Sequences},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {3},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/tpxx},
doi = {10.29007/TPXX},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/Ouaknine13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/RebihaMM13,
author = {Rachid Rebiha and
Nadir Matringe and
Arnaldo Vieira Moura},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Generating Asymptotically Non-terminant Initial Variable Values for
Linear Diagonalizable Programs},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {81--92},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/dq11},
doi = {10.29007/DQ11},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/RebihaMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/TakahashiYG13,
author = {Kazuko Takahashi and
Shizuo Yoshimaru and
Mizuki Goto},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Data Conversion Method between a Natural Number and a Binary Tree
for an Inductive Proof and Its Application},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {93--107},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/w5xk},
doi = {10.29007/W5XK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/TakahashiYG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/Vajda13,
author = {R{\'{o}}bert Vajda},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Lebesgue Constants and Optimal Node Systems via Symbolic Computations},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {125},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/89cm},
doi = {10.29007/89CM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/Vajda13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/Ziv-AvK13,
author = {Matan Ziv{-}Av and
Mikhail H. Klin},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Computer algebra investigation of known primitive triangle-free strongly
regular graphs},
booktitle = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
pages = {108--123},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/bdgp},
doi = {10.29007/BDGP},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/Ziv-AvK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sycss/2013,
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {5th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2013, Castle of Hagenberg, Austria},
series = {EPiC Series in Computing},
volume = {15},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/SCSS\_2013},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/2013.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-06-21 23:32 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:
