Search dblp for Publications

export results for "stream:streams/conf/macis:"

 download as .bib file

@proceedings{DBLP:conf/macis/2019,
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-43120-4},
  doi       = {10.1007/978-3-030-43120-4},
  isbn      = {978-3-030-43119-8},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Ablinger19,
  author    = {Jakob Ablinger},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Proving Two Conjectural Series for {\(\zeta\)} {(7)} and Discovering
               More Series for {\(\zeta\)} {(7)}},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {42--47},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_5},
  doi       = {10.1007/978-3-030-43120-4\_5},
  timestamp = {Thu, 19 Mar 2020 11:24:46 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Ablinger19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AkogluS19,
  author    = {Tulay Ayyildiz Akoglu and
               {\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Certified Hermite Matrices from Approximate Roots - Univariate Case},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {3--9},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_1},
  doi       = {10.1007/978-3-030-43120-4\_1},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/AkogluS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AlexanderssonR19,
  author    = {Per Alexandersson and
               Petter Restadh},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {LaserTank is NP-Complete},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {333--338},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_26},
  doi       = {10.1007/978-3-030-43120-4\_26},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/AlexanderssonR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AlnajjarineL19,
  author    = {Nour Alnajjarine and
               Michel Lavrauw},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Determining the Rank of Tensors in {\textdollar}{\textbackslash}mathbb
               \{F\}{\_}q2{\textbackslash}otimes {\textbackslash}mathbb \{F\}{\_}q3{\textbackslash}otimes
               {\textbackslash}mathbb \{F\}{\_}q3{\textdollar}},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {288--294},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_22},
  doi       = {10.1007/978-3-030-43120-4\_22},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/AlnajjarineL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Borges-Quintana19,
  author    = {Mijail Borges{-}Quintana and
               Miguel Angel Borges{-}Trenard and
               Edgar Mart{\'{\i}}nez{-}Moro and
               Gustavo Torres{-}Guerrero},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Computing an Invariant of a Linear Code},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {218--233},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_17},
  doi       = {10.1007/978-3-030-43120-4\_17},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Borges-Quintana19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BuyukcolakGO19,
  author    = {Yasemin B{\"{u}}y{\"{u}}k{\c{c}}olak and
               Didem G{\"{o}}z{\"{u}}pek and
               Sibel {\"{O}}zkan},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Edge-Critical Equimatchable Bipartite Graphs},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {280--287},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_21},
  doi       = {10.1007/978-3-030-43120-4\_21},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BuyukcolakGO19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CarliniAG19,
  author    = {Luca Carlini and
               Nihat Ay and
               Christiane G{\"{o}}rgen},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {A Numerical Efficiency Analysis of a Common Ancestor Condition},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {357--363},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_28},
  doi       = {10.1007/978-3-030-43120-4\_28},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/CarliniAG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CelikJMSV19,
  author    = {T{\"{u}}rk{\"{u}} {\"{O}}zl{\"{u}}m {\c{C}}elik and
               Asgar Jamneshan and
               Guido Mont{\'{u}}far and
               Bernd Sturmfels and
               Lorenzo Venturello},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Optimal Transport to a Variety},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {364--381},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_29},
  doi       = {10.1007/978-3-030-43120-4\_29},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/CelikJMSV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CoutoMLJC19,
  author    = {Ana C. Camargos Couto and
               Marc Moreno Maza and
               David Linder and
               David J. Jeffrey and
               Robert M. Corless},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Comprehensive {LU} Factors of Polynomial Matrices},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {80--88},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_8},
  doi       = {10.1007/978-3-030-43120-4\_8},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/CoutoMLJC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DiattaMP19,
  author    = {S{\'{e}}ny Diatta and
               Guillaume Moroz and
               Marc Pouget},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Reliable Computation of the Singularities of the Projection in {\(\mathbb{R}\)}\({}^{\mbox{3}}\)
               of a Generic Surface of {\(\mathbb{R}\)}\({}^{\mbox{4}}\)},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {16--34},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_3},
  doi       = {10.1007/978-3-030-43120-4\_3},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/DiattaMP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DramnescJ19,
  author    = {Isabela Dramnesc and
               Tudor Jebelean},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Automatic Synthesis of Merging and Inserting Algorithms on Binary
               Trees Using Multisets in Theorema},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {153--168},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_13},
  doi       = {10.1007/978-3-030-43120-4\_13},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/DramnescJ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/EsirciB19,
  author    = {Fatma Nur Esirci and
               Alp Arslan Bayrakci},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Acceleration of Spatial Correlation Based Hardware Trojan Detection
               Using Shared Grids Ratio},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {187--201},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_15},
  doi       = {10.1007/978-3-030-43120-4\_15},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/EsirciB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FlorescuE19,
  author    = {Dorian Florescu and
               Matthew England},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Improved Cross-Validation for Classifiers that Make Algorithmic Choices
               to Minimise Runtime Without Compromising Output Correctness},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {341--356},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_27},
  doi       = {10.1007/978-3-030-43120-4\_27},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/FlorescuE19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HuangN19,
  author    = {Bo Huang and
               Wei Niu},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical
               Systems},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {169--184},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_14},
  doi       = {10.1007/978-3-030-43120-4\_14},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/HuangN19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ImbachP19,
  author    = {R{\'{e}}mi Imbach and
               Victor Y. Pan},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {New Practical Advances in Polynomial Root Clustering},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {122--137},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_11},
  doi       = {10.1007/978-3-030-43120-4\_11},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/ImbachP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/IsikO19,
  author    = {Sahin Isik and
               Kemal {\"{O}}zkan},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Common Vector Approach Based Image Gradients Computation for Edge
               Detection},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {408--421},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_32},
  doi       = {10.1007/978-3-030-43120-4\_32},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/IsikO19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/IslamMK19,
  author    = {Muhammad Zubair Islam and
               Kashif Mehmood and
               Hyung Seok Kim},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Reinforcement Learning Based Interactive Agent for Personalized Mathematical
               Skill Enhancement},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {395--407},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_31},
  doi       = {10.1007/978-3-030-43120-4\_31},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/IslamMK19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Jimenez-Pastor19,
  author    = {Antonio Jim{\'{e}}nez{-}Pastor},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {DD-Finite Functions Implemented in Sage},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {457--462},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_36},
  doi       = {10.1007/978-3-030-43120-4\_36},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Jimenez-Pastor19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KettafY19,
  author    = {Chahrazed Kettaf and
               Abderrahmane Yousfate},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Authorship Attribution by Functional Discriminant Analysis},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {438--449},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_34},
  doi       = {10.1007/978-3-030-43120-4\_34},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/KettafY19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LedouxM19,
  author    = {Viviane Ledoux and
               Guillaume Moroz},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Evaluation of Chebyshev Polynomials on Intervals and Application to
               Root Finding},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {35--41},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_4},
  doi       = {10.1007/978-3-030-43120-4\_4},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/LedouxM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Levin19,
  author    = {Alexander B. Levin},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Hilbert-Type Dimension Polynomials of Intermediate Difference-Differential
               Field Extensions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {64--79},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_7},
  doi       = {10.1007/978-3-030-43120-4\_7},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Levin19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LuanP19,
  author    = {Qi Luan and
               Victor Y. Pan},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {{CUR} {LRA} at Sublinear Cost Based on Volume Maximization},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {105--121},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_10},
  doi       = {10.1007/978-3-030-43120-4\_10},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/LuanP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Mantzaflaris19,
  author    = {Angelos Mantzaflaris},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {An Overview of Geometry Plus Simulation Modules},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {453--456},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_35},
  doi       = {10.1007/978-3-030-43120-4\_35},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Mantzaflaris19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MehtaS19,
  author    = {Sanyam Mehta and
               Vishal Saraswat},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Generalized Secret Sharing Schemes Using N\({}^{\mbox{{\(\mu\)}}}\)MDS
               Codes},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {234--248},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_18},
  doi       = {10.1007/978-3-030-43120-4\_18},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/MehtaS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MokhtariMMF19,
  author    = {Bilal Mokhtari and
               Kamal Eddine Melkemi and
               Dominique Michelucci and
               Sebti Foufou},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Optimizing Query Perturbations to Enhance Shape Retrieval},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {422--437},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_33},
  doi       = {10.1007/978-3-030-43120-4\_33},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/MokhtariMMF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MouL19,
  author    = {Chenqi Mou and
               Jiahua Lai},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {On the Chordality of Simple Decomposition in Top-Down Style},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {138--152},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_12},
  doi       = {10.1007/978-3-030-43120-4\_12},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/MouL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/NabeshimaT19,
  author    = {Katsusuke Nabeshima and
               Shinichi Tajima},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Generalized Integral Dependence Relations},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {48--63},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_6},
  doi       = {10.1007/978-3-030-43120-4\_6},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/NabeshimaT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/PanLSZ19,
  author    = {Victor Y. Pan and
               Qi Luan and
               John Svadlenka and
               Liang Zhao},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Sublinear Cost Low Rank Approximation via Subspace Sampling},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {89--104},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_9},
  doi       = {10.1007/978-3-030-43120-4\_9},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/PanLSZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/SatoSFN19,
  author    = {Yosuke Sato and
               Hiroshi Sekigawa and
               Ryoya Fukasaku and
               Katsusuke Nabeshima},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {On Parametric Border Bases},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {10--15},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_2},
  doi       = {10.1007/978-3-030-43120-4\_2},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/SatoSFN19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/SevimGO19,
  author    = {Taha Sevim and
               Muhammet Sel{\c{c}}uk G{\"{u}}vel and
               Lale {\"{O}}zkahya},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {A Fast Counting Method for 6-Motifs with Low Connectivity},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {324--332},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_25},
  doi       = {10.1007/978-3-030-43120-4\_25},
  timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/SevimGO19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/TarsissiV19,
  author    = {Lama Tarsissi and
               Laurent Vuillon},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Second Order Balance Property on Christoffel Words},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {295--312},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_23},
  doi       = {10.1007/978-3-030-43120-4\_23},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/TarsissiV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/UluC19,
  author    = {Metin Evrim Ulu and
               Murat Cenk},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {A Parallel {GPU} Implementation of {SWIFFTX}},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {202--217},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_16},
  doi       = {10.1007/978-3-030-43120-4\_16},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/UluC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Uncu19,
  author    = {Ali Kemal Uncu},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {On a Weighted Spin of the Lebesgue Identity},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {273--279},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_20},
  doi       = {10.1007/978-3-030-43120-4\_20},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Uncu19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/WagnerKS19,
  author    = {Michael Wagner and
               Ludwig Kampel and
               Dimitris E. Simos},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {{IPO-Q:} {A} Quantum-Inspired Approach to the {IPO} Strategy Used
               in {CA} Generation},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {313--323},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_24},
  doi       = {10.1007/978-3-030-43120-4\_24},
  timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/WagnerKS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Yildirim19,
  author    = {Hamdi Murat Yildirim},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {Exploiting Linearity of Modular Multiplication},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {249--269},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_19},
  doi       = {10.1007/978-3-030-43120-4\_19},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Yildirim19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ZhangXSLY19,
  author    = {Haoliang Zhang and
               Hongbo Xu and
               Jinqiao Shi and
               Tingwen Liu and
               Jing Ya},
  editor    = {Daniel Slamanig and
               Elias P. Tsigaridas and
               Zafeirakis Zafeirakopoulos},
  title     = {{SFV-CNN:} Deep Text Sentiment Classification with Scenario Feature
               Representation},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
               Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11989},
  pages     = {382--394},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-43120-4\_30},
  doi       = {10.1007/978-3-030-43120-4\_30},
  timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/ZhangXSLY19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BatesBHSW17,
  author    = {Daniel J. Bates and
               Daniel A. Brake and
               Jonathan D. Hauenstein and
               Andrew J. Sommese and
               Charles W. Wampler},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Homotopies for Connected Components of Algebraic Sets with Application
               to Computing Critical Sets},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {107--120},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_8},
  doi       = {10.1007/978-3-319-72453-9\_8},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BatesBHSW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BlazejSV17,
  author    = {V{\'{a}}clav Blazej and
               Ondrej Such{\'{y}} and
               Tom{\'{a}}s Valla},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {333--348},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_28},
  doi       = {10.1007/978-3-319-72453-9\_28},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BlazejSV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BlomerL17,
  author    = {Johannes Bl{\"{o}}mer and
               Gennadij Liske},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Subtleties in Security Definitions for Predicate Encryption with Public
               Index},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {438--453},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_35},
  doi       = {10.1007/978-3-319-72453-9\_35},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/BlomerL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CorlessMT17,
  author    = {Robert M. Corless and
               Marc Moreno Maza and
               Steven E. Thornton},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Jordan Canonical Form with Parameters from Frobenius Form with Parameters},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {179--194},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_13},
  doi       = {10.1007/978-3-319-72453-9\_13},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/CorlessMT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Dahan17,
  author    = {Xavier Dahan},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {On the Bit-Size of Non-radical Triangular Sets},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {264--269},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_19},
  doi       = {10.1007/978-3-319-72453-9\_19},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Dahan17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DavenportE17,
  author    = {James H. Davenport and
               Matthew England},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {The Potential and Challenges of {CAD} with Equational Constraints
               for SC-Square},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {280--285},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_22},
  doi       = {10.1007/978-3-319-72453-9\_22},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/DavenportE17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DoTV17,
  author    = {Phan{-}Thuan Do and
               Thi Thu Huong Tran and
               Vincent Vajnovszki},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Right-Justified Characterization for Generating Regular Pattern Avoiding
               Permutations},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {306--319},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_25},
  doi       = {10.1007/978-3-319-72453-9\_25},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/DoTV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Dobrowolski17,
  author    = {Tomasz Dobrowolski},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Improving Enclosure of Interval Scalar Projection Operation},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {137--146},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_10},
  doi       = {10.1007/978-3-319-72453-9\_10},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Dobrowolski17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FisikopoulosZ17,
  author    = {Vissarion Fisikopoulos and
               Zafeirakis Zafeirakopoulos},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Experimental Study of the Ehrhart Interpolation Polytope},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {320--324},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_26},
  doi       = {10.1007/978-3-319-72453-9\_26},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/FisikopoulosZ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FotiadisK17,
  author    = {Georgios Fotiadis and
               Elisavet Konstantinou},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely
               Simple Jacobians},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {409--424},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_33},
  doi       = {10.1007/978-3-319-72453-9\_33},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/FotiadisK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FukasakuS17,
  author    = {Ryoya Fukasaku and
               Yosuke Sato},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {On Real Roots Counting for Non-radical Parametric Ideals},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {258--263},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_18},
  doi       = {10.1007/978-3-319-72453-9\_18},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/FukasakuS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HarmouchMK17,
  author    = {Jouhayna Harmouch and
               Bernard Mourrain and
               Houssam Khalil},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Decomposition of Low Rank Multi-symmetric Tensor},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {51--66},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_4},
  doi       = {10.1007/978-3-319-72453-9\_4},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/HarmouchMK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Hauenstein17,
  author    = {Jonathan D. Hauenstein},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Certification Using Newton-Invariant Subspaces},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {34--50},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_3},
  doi       = {10.1007/978-3-319-72453-9\_3},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Hauenstein17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Hoeven17,
  author    = {Joris van der Hoeven},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Fast Chinese Remaindering in Practice},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {95--106},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_7},
  doi       = {10.1007/978-3-319-72453-9\_7},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Hoeven17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HoevenLL17,
  author    = {Joris van der Hoeven and
               Robin Larrieu and
               Gr{\'{e}}goire Lecerf},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Implementing Fast Carryless Multiplication},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {121--136},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_9},
  doi       = {10.1007/978-3-319-72453-9\_9},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/HoevenLL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HoevenM17,
  author    = {Joris van der Hoeven and
               Bernard Mourrain},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Efficient Certification of Numeric Solutions to Eigenproblems},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {81--94},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_6},
  doi       = {10.1007/978-3-319-72453-9\_6},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/HoevenM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HoracekB0K17,
  author    = {Jan Hor{\'{a}}cek and
               Jan Burchard and
               Bernd Becker and
               Martin Kreuzer},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Integrating Algebraic and {SAT} Solvers},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {147--162},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_11},
  doi       = {10.1007/978-3-319-72453-9\_11},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/HoracekB0K17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HuangG17,
  author    = {Qiao{-}Long Huang and
               Xiao{-}Shan Gao},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Sparse Rational Function Interpolation with Finitely Many Values for
               the Coefficients},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {227--242},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_16},
  doi       = {10.1007/978-3-319-72453-9\_16},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/HuangG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/JeffreyM17,
  author    = {David J. Jeffrey and
               Nick Murdoch},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Stirling Numbers, Lambert {W} and the Gamma Function},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {275--279},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_21},
  doi       = {10.1007/978-3-319-72453-9\_21},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/JeffreyM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/JungnickelMTW17,
  author    = {Dieter Jungnickel and
               Spyros S. Magliveras and
               Vladimir D. Tonchev and
               Alfred Wassermann},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {On Classifying Steiner Triple Systems by Their 3-Rank},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {295--305},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_24},
  doi       = {10.1007/978-3-319-72453-9\_24},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/JungnickelMTW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KafriJC17,
  author    = {Heba al Kafri and
               David J. Jeffrey and
               Robert M. Corless},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Rapidly Convergent Integrals and Function Evaluation},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {270--274},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_20},
  doi       = {10.1007/978-3-319-72453-9\_20},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/KafriJC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KaliszykP17,
  author    = {Cezary Kaliszyk and
               Karol Pak},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Isabelle Formalization of Set Theoretic Structures and Set Comprehensions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {163--178},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_12},
  doi       = {10.1007/978-3-319-72453-9\_12},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/KaliszykP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KoglerT17,
  author    = {Alexander Kogler and
               Patrick Traxler},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Parallel and Robust Empirical Risk Minimization via the Median Trick},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {378--391},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_31},
  doi       = {10.1007/978-3-319-72453-9\_31},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/KoglerT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KohlhaseFMPRTVW17,
  author    = {Michael Kohlhase and
               Luca De Feo and
               Dennis M{\"{u}}ller and
               Markus Pfeiffer and
               Florian Rabe and
               Nicolas M. Thi{\'{e}}ry and
               Victor Vasilyev and
               Tom Wiesing},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Knowledge-Based Interoperability for Mathematical Software Systems},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {195--210},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_14},
  doi       = {10.1007/978-3-319-72453-9\_14},
  timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/KohlhaseFMPRTVW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KrcadinacP17,
  author    = {Vedran Krcadinac and
               Mario{-}Osvin Pavcevic},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {New Small 4-Designs with Nonabelian Automorphism Groups},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {289--294},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_23},
  doi       = {10.1007/978-3-319-72453-9\_23},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/KrcadinacP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KunduM17,
  author    = {Ritu Kundu and
               Toktam Mahmoodi},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Mining Acute Stroke Patients' Data Using Supervised Machine Learning},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {364--377},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_30},
  doi       = {10.1007/978-3-319-72453-9\_30},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/KunduM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Levin17,
  author    = {Alexander B. Levin},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Dimension Quasi-polynomials of Inversive Difference Field Extensions
               with Weighted Translations},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {67--80},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_5},
  doi       = {10.1007/978-3-319-72453-9\_5},
  timestamp = {Tue, 09 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Levin17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LisitsaV17,
  author    = {Alexei Lisitsa and
               Alexei Vernitski},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Automated Reasoning for Knot Semigroups and {\textbackslash}pi {\(\pi\)}
               -orbifold Groups of Knots},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {3--18},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_1},
  doi       = {10.1007/978-3-319-72453-9\_1},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/LisitsaV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LorekKZ17,
  author    = {Pawel Lorek and
               Michal Kulis and
               Filip Zag{\'{o}}rski},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Leakage-Resilient Riffle Shuffle},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {395--408},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_32},
  doi       = {10.1007/978-3-319-72453-9\_32},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/LorekKZ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/LorekSZ17,
  author    = {Pawel Lorek and
               Marcin Slowik and
               Filip Zag{\'{o}}rski},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Statistical Testing of {PRNG:} Generalized Gambler's Ruin Problem},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {425--437},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_34},
  doi       = {10.1007/978-3-319-72453-9\_34},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/LorekSZ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Miyazaki17,
  author    = {Takunari Miyazaki},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {325--329},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_27},
  doi       = {10.1007/978-3-319-72453-9\_27},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Miyazaki17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ParpoulaKL17,
  author    = {Christina Parpoula and
               Alex Karagrigoriou and
               Angeliki Lambrou},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Epidemic Intelligence Statistical Modelling for Biosurveillance},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {349--363},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_29},
  doi       = {10.1007/978-3-319-72453-9\_29},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/ParpoulaKL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Persichetti17,
  author    = {Edoardo Persichetti},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Code-Based Key Encapsulation from McEliece's Cryptosystem},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {454--459},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_36},
  doi       = {10.1007/978-3-319-72453-9\_36},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Persichetti17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/SchirraW17,
  author    = {Stefan Schirra and
               Martin Wilhelm},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {On Interval Methods with Zero Rewriting and Exact Geometric Computation},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {211--226},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_15},
  doi       = {10.1007/978-3-319-72453-9\_15},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/SchirraW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/WiesingKR17,
  author    = {Tom Wiesing and
               Michael Kohlhase and
               Florian Rabe},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Virtual Theories - {A} Uniform Interface to Mathematical Knowledge
               Bases},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {243--257},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_17},
  doi       = {10.1007/978-3-319-72453-9\_17},
  timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/WiesingKR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Wilhelm17,
  author    = {Martin Wilhelm},
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  pages     = {19--33},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_2},
  doi       = {10.1007/978-3-319-72453-9\_2},
  timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Wilhelm17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/macis/2017,
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9},
  doi       = {10.1007/978-3-319-72453-9},
  isbn      = {978-3-319-72452-2},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/macis/2015,
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-32859-1},
  doi       = {10.1007/978-3-319-32859-1},
  isbn      = {978-3-319-32858-4},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/2015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AmendolaDS15,
  author    = {Carlos Am{\'{e}}ndola and
               Mathias Drton and
               Bernd Sturmfels},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {579--590},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_49},
  doi       = {10.1007/978-3-319-32859-1\_49},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/AmendolaDS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AnCW15,
  author    = {Wenya An and
               Xiaoyu Chen and
               Dongming Wang},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Searching for Geometric Theorems Using Features Retrieved from Diagrams},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {383--397},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_33},
  doi       = {10.1007/978-3-319-32859-1\_33},
  timestamp = {Fri, 29 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/AnCW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/AronicaLMMMN15,
  author    = {Salvatore Aronica and
               Alessio Langiu and
               Francesca Marzi and
               Salvatore Mazzola and
               Filippo Mignosi and
               Giulio Nazzicone},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Compressing Big Data: When the Rate of Convergence to the Entropy
               Matters},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {285--289},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_24},
  doi       = {10.1007/978-3-319-32859-1\_24},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/AronicaLMMMN15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Batra15,
  author    = {Prashant Batra},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {On the Quality of Some Root-Bounds},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {591--595},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_50},
  doi       = {10.1007/978-3-319-32859-1\_50},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Batra15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BeyerLMK15,
  author    = {Andreas Beyer and
               Yu Liu and
               Hubert Mara and
               Susanne Kr{\"{o}}mker},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine
               Features},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {63--77},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_5},
  doi       = {10.1007/978-3-319-32859-1\_5},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BeyerLMK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BlomerJL15,
  author    = {Johannes Bl{\"{o}}mer and
               Jakob Juhnke and
               Nils L{\"{o}}ken},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Short Group Signatures with Distributed Traceability},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {166--180},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_14},
  doi       = {10.1007/978-3-319-32859-1\_14},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BlomerJL15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BohmDKR15,
  author    = {Janko B{\"{o}}hm and
               Wolfram Decker and
               Simon Keicher and
               Yue Ren},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Current Challenges in Developing Open Source Computer Algebra Systems},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {3--24},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_1},
  doi       = {10.1007/978-3-319-32859-1\_1},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BohmDKR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BouaguelMM15,
  author    = {Waad Bouaguel and
               Emna Mouelhi and
               Ghazi Bel Mufti},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {New Method for Instance Feature Selection Using Redundant Features
               for Biological Data},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {398--405},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_34},
  doi       = {10.1007/978-3-319-32859-1\_34},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BouaguelMM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BournezGP15,
  author    = {Olivier Bournez and
               Daniel Silva Gra{\c{c}}a and
               Amaury Pouly},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Rigorous Numerical Computation of Polynomial Differential Equations
               Over Unbounded Domains},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {469--473},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_40},
  doi       = {10.1007/978-3-319-32859-1\_40},
  timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BournezGP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BrakeBPM15,
  author    = {Daniel A. Brake and
               Daniel J. Bates and
               Vakhtang Putkaradze and
               Anthony A. Maciejewski},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Workspace Multiplicity and Fault Tolerance of Cooperating Robots},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {109--123},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_8},
  doi       = {10.1007/978-3-319-32859-1\_8},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BrakeBPM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BrakeHS15,
  author    = {Daniel A. Brake and
               Jonathan D. Hauenstein and
               Andrew J. Sommese},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Numerical Local Irreducible Decomposition},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {124--129},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_9},
  doi       = {10.1007/978-3-319-32859-1\_9},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BrakeHS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BrausseKM15,
  author    = {Franz Brau{\ss}e and
               Margarita Vladimirovna Korovina and
               Norbert Th. M{\"{u}}ller},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Using Taylor Models in Exact Real Arithmetic},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {474--488},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_41},
  doi       = {10.1007/978-3-319-32859-1\_41},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BrausseKM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/BurgisserKLS15,
  author    = {Peter B{\"{u}}rgisser and
               Kathl{\'{e}}n Kohn and
               Pierre Lairez and
               Bernd Sturmfels},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Computing the Chow Variety of Quadratic Space Curves},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {130--136},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_10},
  doi       = {10.1007/978-3-319-32859-1\_10},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/BurgisserKLS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DaleoH15,
  author    = {Noah S. Daleo and
               Jonathan D. Hauenstein},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Numerically Testing Generically Reduced Projective Schemes for the
               Arithmetic Gorenstein Property},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {137--142},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_11},
  doi       = {10.1007/978-3-319-32859-1\_11},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/DaleoH15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DaykinMR15,
  author    = {Jacqueline W. Daykin and
               Mirka Miller and
               Joe Ryan},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Trends in Temporal Reasoning: Constraints, Graphs and Posets},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {290--304},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_25},
  doi       = {10.1007/978-3-319-32859-1\_25},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/DaykinMR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DumasDEPR15,
  author    = {Jean{-}Guillaume Dumas and
               Dominique Duval and
               Burak Ekici and
               Damien Pous and
               Jean{-}Claude Reynaud},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Relative Hilbert-Post Completeness for Exceptions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {596--610},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_51},
  doi       = {10.1007/978-3-319-32859-1\_51},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/DumasDEPR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FereeZ15,
  author    = {Hugo F{\'{e}}r{\'{e}}e and
               Martin Ziegler},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {On the Computational Complexity of Positive Linear Functionals on
               \emph{C}[0;1]},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {489--504},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_42},
  doi       = {10.1007/978-3-319-32859-1\_42},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/FereeZ15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FreitagL15,
  author    = {James Freitag and
               Wei Li},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Simple Differential Field Extensions and Effective Bounds},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {343--357},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_29},
  doi       = {10.1007/978-3-319-32859-1\_29},
  timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/FreitagL15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/FukasakuIS15,
  author    = {Ryoya Fukasaku and
               Hidenao Iwane and
               Yosuke Sato},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Improving a {CGS-QE} Algorithm},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {231--235},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_20},
  doi       = {10.1007/978-3-319-32859-1\_20},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/FukasakuIS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/GiesenLM15,
  author    = {Joachim Giesen and
               S{\"{o}}ren Laue and
               Jens K. M{\"{u}}ller},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Reconstructing a Sparse Solution from a Compressed Support Vector
               Machine},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {305--319},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_26},
  doi       = {10.1007/978-3-319-32859-1\_26},
  timestamp = {Fri, 05 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/GiesenLM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/GuntherK15,
  author    = {Peter G{\"{u}}nther and
               Volker Krummel},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Implementing Cryptographic Pairings on Accumulator Based Smart Card
               Architectures},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {151--165},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_13},
  doi       = {10.1007/978-3-319-32859-1\_13},
  timestamp = {Sun, 27 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/GuntherK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/GustavsonS15,
  author    = {Richard Gustavson and
               Omar Le{\'{o}}n S{\'{a}}nchez},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {A New Bound for the Existence of Differential Field Extensions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {358--361},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_30},
  doi       = {10.1007/978-3-319-32859-1\_30},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/GustavsonS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/HambasanK15,
  author    = {Radu Hambasan and
               Michael Kohlhase},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Faceted Search for Mathematics},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {406--420},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_35},
  doi       = {10.1007/978-3-319-32859-1\_35},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/HambasanK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Hoeven15,
  author    = {Joris van der Hoeven},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Certifying Trajectories of Dynamical Systems},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {520--532},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_44},
  doi       = {10.1007/978-3-319-32859-1\_44},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Hoeven15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ImbachMP15,
  author    = {R{\'{e}}mi Imbach and
               Guillaume Moroz and
               Marc Pouget},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Numeric and Certified Isolation of the Singularities of the Projection
               of a Smooth Space Curve},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {78--92},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_6},
  doi       = {10.1007/978-3-319-32859-1\_6},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/ImbachMP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Jeannerod15,
  author    = {Claude{-}Pierre Jeannerod},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Exploiting Structure in Floating-Point Arithmetic},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {25--34},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_2},
  doi       = {10.1007/978-3-319-32859-1\_2},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Jeannerod15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/JoswigLLS15,
  author    = {Michael Joswig and
               Georg Loho and
               Benjamin Lorenz and
               Benjamin Schr{\"{o}}ter},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Linear Programs and Convex Hulls Over Fields of Puiseux Fractions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {429--445},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_37},
  doi       = {10.1007/978-3-319-32859-1\_37},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/JoswigLLS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KinoshitaWN15,
  author    = {Takehiko Kinoshita and
               Yoshitaka Watanabe and
               Mitsuhiro T. Nakao},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {H\({}^{\mbox{3}}\) and H\({}^{\mbox{4}}\) Regularities of the Poisson
               Equation on Polygonal Domains},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {199--201},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_16},
  doi       = {10.1007/978-3-319-32859-1\_16},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/KinoshitaWN15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KissKS15,
  author    = {{\'{A}}gnes Kiss and
               Juliane Kr{\"{a}}mer and
               Anke St{\"{u}}ber},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {On the Optimality of Differential Fault Analyses on {CLEFIA}},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {181--196},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_15},
  doi       = {10.1007/978-3-319-32859-1\_15},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/KissKS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KobayashiIMA15,
  author    = {Munehiro Kobayashi and
               Hidenao Iwane and
               Takuya Matsuzaki and
               Hirokazu Anai},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex
               Formulas},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {236--251},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_21},
  doi       = {10.1007/978-3-319-32859-1\_21},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/KobayashiIMA15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KociumakaRW15,
  author    = {Tomasz Kociumaka and
               Jakub Radoszewski and
               Bartlomiej Wisniewski},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Subquadratic-Time Algorithms for Abelian Stringology Problems},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {320--334},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_27},
  doi       = {10.1007/978-3-319-32859-1\_27},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/KociumakaRW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Kutas15,
  author    = {P{\'{e}}ter Kutas},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Some Results Concerning the Explicit Isomorphism Problem over Number
               Fields},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {143--148},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_12},
  doi       = {10.1007/978-3-319-32859-1\_12},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Kutas15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Lange15,
  author    = {Marko Lange},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {A New Matrix Splitting Based Relaxation for the Quadratic Assignment
               Problem},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {535--549},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_45},
  doi       = {10.1007/978-3-319-32859-1\_45},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Lange15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Levin15,
  author    = {Alexander B. Levin},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Dimension Polynomials of Intermediate Fields of Inversive Difference
               Field Extensions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {362--376},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_31},
  doi       = {10.1007/978-3-319-32859-1\_31},
  timestamp = {Tue, 09 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Levin15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Li15,
  author    = {Hongbo Li},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Symbolic Geometric Reasoning with Advanced Invariant Algebras},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {35--49},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_3},
  doi       = {10.1007/978-3-319-32859-1\_3},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Li15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MonnetNC15,
  author    = {Dominique Monnet and
               Jordan Ninin and
               Benoit Clement},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Global Optimization of H\({}_{\mbox{{\(\infty\)}}}\) Problems: Application
               to Robust Control Synthesis Under Structural Constraints},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {550--554},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_46},
  doi       = {10.1007/978-3-319-32859-1\_46},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/MonnetNC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Morig15,
  author    = {Marc M{\"{o}}rig},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Another Classroom Example of Robustness Problems in Planar Convex
               Hull Computation},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {446--450},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_38},
  doi       = {10.1007/978-3-319-32859-1\_38},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Morig15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/MorigS15,
  author    = {Marc M{\"{o}}rig and
               Stefan Schirra},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Precision-Driven Computation in the Evaluation of Expression-Dags
               with Common Subexpressions: Problems and Solutions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {451--465},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_39},
  doi       = {10.1007/978-3-319-32859-1\_39},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/MorigS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/NabeshimaT15,
  author    = {Katsusuke Nabeshima and
               Shinichi Tajima},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Solving Extended Ideal Membership Problems in Rings of Convergent
               Power Series via Gr{\"{o}}bner Bases},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {252--267},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_22},
  doi       = {10.1007/978-3-319-32859-1\_22},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/NabeshimaT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Ninin15,
  author    = {Jordan Ninin},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Global Optimization Based on Contractor Programming: An Overview of
               the {IBEX} Library},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {555--559},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_47},
  doi       = {10.1007/978-3-319-32859-1\_47},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Ninin15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Okayama15,
  author    = {Tomoaki Okayama},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Explicit Error Bound for Modified Numerical Iterated Integration by
               Means of Sinc Methods},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {202--217},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_17},
  doi       = {10.1007/978-3-319-32859-1\_17},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Okayama15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Patil15,
  author    = {Bhagyesh V. Patil},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization
               of Multivariate Polynomial MINLPs},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {560--575},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_48},
  doi       = {10.1007/978-3-319-32859-1\_48},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Patil15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Pogudin15,
  author    = {Gleb Pogudin},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {A "Polynomial Shifting" Trick in Differential Algebra},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {377--379},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_32},
  doi       = {10.1007/978-3-319-32859-1\_32},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Pogudin15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/QuedenfeldW15,
  author    = {Frank{-}M. Quedenfeld and
               Christopher Wolf},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Advanced Algebraic Attack on Trivium},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {268--282},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_23},
  doi       = {10.1007/978-3-319-32859-1\_23},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/QuedenfeldW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Rote15,
  author    = {G{\"{u}}nter Rote},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Congruence Testing of Point Sets in Three and Four Dimensions - Results
               and Techniques},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {50--59},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_4},
  doi       = {10.1007/978-3-319-32859-1\_4},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Rote15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/SchroderSZ15,
  author    = {Matthias Schr{\"{o}}der and
               Florian Steinberg and
               Martin Ziegler},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Average-Case Bit-Complexity Theory of Real Functions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {505--519},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_43},
  doi       = {10.1007/978-3-319-32859-1\_43},
  timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/SchroderSZ15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/ShiraiF15,
  author    = {Shizuka Shirai and
               Tetsuo Fukui},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Evaluation of a Predictive Algorithm for Converting Linear Strings
               to Mathematical Formulae for an Input Method},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {421--425},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_36},
  doi       = {10.1007/978-3-319-32859-1\_36},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/ShiraiF15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Sidorov15,
  author    = {Sergei P. Sidorov},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Linear k-Monotonicity Preserving Algorithms and Their Approximation
               Properties},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {93--106},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_7},
  doi       = {10.1007/978-3-319-32859-1\_7},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/macis/Sidorov15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/Stoykova15,
  author    = {Velislava Stoykova},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Using Statistical Search to Discover Semantic Relations of Political
               Lexica - Evidences from Bulgarian-Slovak {EUROPARL} 7 Corpus},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {335--339},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_28},
  doi       = {10.1007/978-3-319-32859-1\_28},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/Stoykova15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/TakayasuMKO15,
  author    = {Akitoshi Takayasu and
               Makoto Mizuguchi and
               Takayuki Kubo and
               Shin'ichi Oishi},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Verified Computations for Solutions to Semilinear Parabolic Equations
               Using the Evolution Operator},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {218--223},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_18},
  doi       = {10.1007/978-3-319-32859-1\_18},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/TakayasuMKO15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/WalterKK15,
  author    = {Rouven Walter and
               Thore K{\"{u}}bart and
               Wolfgang K{\"{u}}chlin},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Optimal Coverage in Automotive Configuration},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {611--626},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_52},
  doi       = {10.1007/978-3-319-32859-1\_52},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/WalterKK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/YamanakaOO15,
  author    = {Naoya Yamanaka and
               Tomoaki Okayama and
               Shin'ichi Oishi},
  editor    = {Ilias S. Kotsireas and
               Siegfried M. Rump and
               Chee K. Yap},
  title     = {Verified Error Bounds for the Real Gamma Function Using Double Exponential
               Formula over Semi-infinite Interval},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
               Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9582},
  pages     = {224--228},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-32859-1\_19},
  doi       = {10.1007/978-3-319-32859-1\_19},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/macis/YamanakaOO15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics