SCIEnce: Symbolic Computation Infrastructure for Europe [SCIEnce]

@inproceedings{RISC5400,
author = {G. Grasegger and N.T. Vo and F. Winkler},
title = {{A decision algorithm for rational general solutions of first-order algebraic ODEs}},
booktitle = {{Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016)}},
language = {english},
pages = {101--104},
isbn_issn = {978-84-608-9024-9},
year = {2016},
editor = {Universidad de la Rioja and J. Heras and A. Romero (eds.)},
refereed = {yes},
length = {4}
}

@inproceedings{RISC5739,
author = {David M. Cerna and Wolfgang Schreiner and Temur Kutsia},
title = {{Predicting Space Requirements for a Stream Monitor Specification Language}},
booktitle = {{Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings}},
language = {english},
pages = {135--151},
isbn_issn = {978-3-319-46981-2},
year = {2016},
editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez},
refereed = {yes},
length = {17},
url = {https://doi.org/10.1007/978-3-319-46982-9_9}
}

@inproceedings{RISC5194,
author = {N. T. Vo and F. Winkler},
title = {{Algebraic General Solutions of First Order Algebraic ODEs}},
booktitle = {{Computer Algebra in Scientific Computing}},
language = {english},
abstract = {In this paper we consider the class of algebraic ordinary differential equations (AODEs), the class of planar rational systems, and discuss their algebraic general solutions. We establish for each parametrizable first order AODE a planar rational system, the associated system, such that one can compute algebraic general solutions of the one from the other and vice versa. For the class of planar rational systems, an algorithm for computing their explicit algebraic general solutions with a given rational first integral is presented. Finally an algorithm for determining an algebraic general solution of degree less than a given positive integer of parametrizable first order AODEs is proposed.},
series = {Lecture Notes in Computer Science},
volume = {9301},
pages = {479--492},
publisher = {Springer International Publishing},
isbn_issn = {ISSN 0302-9743},
year = {2015},
editor = {Vladimir P. Gerdt et. al.},
refereed = {yes},
length = {14},
url = {http://link.springer.com/content/pdf/10.1007%2F978-3-319-24021-3_35.pdf}
}

@inproceedings{RISC4639,
author = {F. Winkler and M. Hudayberdiev and G. Judakova},
title = {{Computer algebra methods for pattern recognition: systems with complex order}},
booktitle = {{Proceedings INTELS 2012 (Moscow)}},
language = {english},
pages = {148--150},
isbn_issn = {978-5-93347-432-6},
year = {2012},
editor = {-},
refereed = {yes},
length = {3},
conferencename = {INTELS 2012}
}

@inproceedings{RISC4638,
author = {F. Winkler},
title = {{The role of Symbolic Computation in Mathematics}},
booktitle = {{Proceedings XIII Encuentro de Algebra Computacional y Aplicaciones (EACA 2012)}},
language = {english},
pages = {33--34},
isbn_issn = {978-84-8138-770-4},
year = {2012},
editor = {J.R. Sendra and C. Villarino},
refereed = {yes},
length = {2}
}

@inproceedings{RISC4359,
author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Anti-Unification for Unranked Terms and Hedges}},
booktitle = {{Proceedings of the 22st International Conference on Rewriting Techniques and Applications, RTA 2011}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {10},
pages = {219--234},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing},
isbn_issn = {ISBN 978-3-939897-30-9, ISSN 1868-8969},
year = {2011},
editor = {Manfred Schmidt-Schauss},
refereed = {yes},
length = {16},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3118/pdf/11.pdf}
}

@inproceedings{RISC4430,
author = {F. Winkler},
title = {{Algebraic Informatics}},
booktitle = {{Proceedings of the Forth International Conference on Algebraic Informatics (CAI 2011)}},
language = {english},
pages = {--},
isbn_issn = {ISSN 0302-9743, ISBN 978-3-642-21492-9},
year = {2011},
editor = {Springer Verlag},
refereed = {yes},
sponsor = {FWF},
length = {0},
conferencename = {4th International Conference on Algebraic Informatics (CAI 2011)}
}

@inproceedings{RISC4196,
author = {Jorge Coelho and Besik Dundua and Mario Florido and Temur Kutsia},
title = {{A Rule-Based Approach to XML Processing and Web Reasoning}},
booktitle = {{Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {6333},
pages = {164--172},
publisher = {Springer},
isbn_issn = {ISSN 0302-9743, ISBN 978-3-642-15917-6},
year = {2010},
editor = {Pascal Hitzler and Thomas Lukasiewicz},
refereed = {yes},
length = {9},
url = {http://www.risc.jku.at/people/tkutsia/papers/rr2010_final.pdf}
}

@inproceedings{RISC4198,
author = {Temur Kutsia and Mircea Marin},
title = {{Order-Sorted Unification with Regular Expression Sorts}},
booktitle = {{Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {6},
pages = {193--208},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing},
isbn_issn = {ISSN 1868-8969, ISBN 978-3-939897-18-7},
year = {2010},
editor = {Christopher Lynch},
refereed = {yes},
length = {16},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2653/pdf/10002.KutsiaTemur.2653.pdf}
}