Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Saidgani Musaev, Wan J. Fokkink |
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 467-471, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Junges, Jurriaan Rot |
Learning Language Intersections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 371-381, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Rocco De Nicola, Luca Di Stefano 0001, Omar Inverso, Serenella Valiani |
Process Algebras and Flocks of Birds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 512-523, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ansgar Fehnker |
What's in School? - Topic Maps for Secondary School Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 151-163, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Nancy A. Lynch, Cameron Musco |
A Basic Compositional Model for Spiking Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 403-449, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis |
Playing Wordle with Uppaal Stratego. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 283-305, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Michael B. Monagan |
A call to build a publicly accessible library of lecture recordings in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 55(3), pp. 65-67, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 55(3), pp. 117-124, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Sergei A. Abramov, Alla A. Bogolubskaya |
22nd Workshop on Computer Algebra in Memory of Professor Vladimir Gerdt in Dubna. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 55(2), pp. 21-29, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu 0003 |
The fourth conference "computer algebra" in Moscow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 55(2), pp. 30-38, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 55(4), pp. 127-134, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Zbigniew Lipinski |
Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 32(1), pp. 81-96, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Iwan M. Duursma, Xiao Li, Hsin-Po Wang 0001 |
Multilinear Algebra for Distributed Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Algebra Geom. ![In: SIAM J. Appl. Algebra Geom. 5(3), pp. 552-587, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Alan De Araújo Guimarães, Claudemir Fidelis, Plamen Koshlukov |
ℤ2 and ℤ-graded central polynomials of the Grassmann algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 30(05), pp. 1035-1056, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Dietrich Burde, Vsevolod Gubarev |
Decompositions of algebras and post-associative algebra structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 30(03), pp. 451-466, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Miao-Jung Yvonne Ou |
Teaching multivariable calculus and tensor calculus with computer algebra software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 54(4), pp. 134-135, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Kenza Guenda, Iiro S. Honkala, Ilias S. Kotsireas, Teo Mora, Qiang Wang 0012 |
Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 31(3-4), pp. 171-172, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Hans Z. Munthe-Kaas, Ari Stern, Olivier Verdier |
Invariant Connections, Lie Algebra Actions, and Foundations of Numerical Integration on Manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Algebra Geom. ![In: SIAM J. Appl. Algebra Geom. 4(1), pp. 49-68, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Shalini Gupta, Sugandha Maheshwary |
Finite semisimple group algebra of a normally monomial group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 29(1), pp. 159-177, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Xiao Cheng, Jiancai Sun |
Super-biderivations and linear super-commuting maps on the twisted N = 2 superconformal algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 29(7), pp. 1235-1247, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 53(4), pp. 183-188, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Min Wu 0003, Yvette Zonn |
The conference "computer algebra" in Moscow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 53(2), pp. 65-77, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Nuh Aydin |
Some new linear codes from skew cyclic codes and computer algebra challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 30(3), pp. 185-191, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Fernando Henry |
Some graded identities of the Cayley-Dickson algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 28(5), pp. 697-718, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Dietrich Burde, Christof Ender, Wolfgang Alexander Moens |
Post-Lie algebra structures for nilpotent Lie algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 28(5), pp. 915-933, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Luís Felipe Gonçalves Fonseca |
ℤ2-graded identities of the Grassmann algebra over a finite field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 28(2), pp. 291-307, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Zhong-Zhi Bai, Maya G. Neytcheva, Lothar Reichel |
Editorial: Novel methods and theories in numerical algebra with interdisciplinary applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Linear Algebra Appl. ![In: Numer. Linear Algebra Appl. 25(4), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jiaxiong Hu, Anton Panferov |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 52(4), pp. 154-155, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Galina Deryabina, Alexei Krasilnikov |
Products of several commutators in a Lie nilpotent associative algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 27(8), pp. 1027-1040, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Sergei A. Abramov, Anna A. Ryabenko, Timur M. Sadykov 0001 |
The second conference "Computer Algebra" in Moscow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 51(4), pp. 103-110, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 51(2), pp. 70-72, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Lichtblau |
East coast copmuter algebra day 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 51(2), pp. 66-69, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Yusuf Baris Tuncer |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 51(3), pp. 98, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Wen-shin Lee |
Milestones in Computer Algebra (MICA 2016): a workshop celebrating the research of Erick Kaltofen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 51(2), pp. 57-65, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Antonio Pereira Brandão Jr., Dimas José Gonçalves, Plamen Koshlukov |
Graded A-identities for the matrix algebra of order two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 26(8), pp. 1617-1631, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Lucio Centrone, Viviane Ribeiro Tomaz da Silva |
A note on graded polynomial identities for tensor products by the Grassmann algebra in positive characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 26(6), pp. 1125-1140, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Wayne Eberly |
Black box linear algebra: extending wiedemann's analysis of a sparse matrix preconditioner for computations over small fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(4), pp. 164-166, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Kauers, Peter Paule, Greg Reid |
Workshop on symbolic combinatorics and algorithmic differential algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(1), pp. 27-34, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Sergei A. Abramov, Leonid A. Sevastianov |
The conference "computer algebra" in Moscow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(2), pp. 61-68, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie |
The basic polynomial algebra subprograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(3), pp. 97-100, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | George Labahn, Stephen M. Watt |
Thematic program in computer algebra: July 1 - Dec 31, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(1), pp. 25-26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Lingchuan Meng |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(1), pp. 40-42, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Silvana Ilie, Arne Storjohann |
Abstracts of the 2015 east coast computer algebra day. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(1), pp. 35-39, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Xiaosong Sun |
Automorphisms of the endomorphism semigroup of a free algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 25(8), pp. 1223-1238, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Konstantin Ziegler |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(2), pp. 67, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Patrice Geary Tiffany |
Effectively melding computer algebra systems into the calculus curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(2), pp. 49-50, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(1), pp. 36, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Minimair |
Collaborative computer algebra systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(2), pp. 56-57, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Kadijeh Bagheri, Mohammad-Reza Sadeghi 0001 |
A new non-associative cryptosystem based on NTOW public key cryptosystem and octonions algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(1), pp. 13, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Irina A. Kogan |
Differential algebra of invariants and invariant variational calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(1), pp. 25, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Michael Xue |
Prove inequalities by solving maximum/minimum problems using a computer algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(2), pp. 50, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Richard J. Fateman |
Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(2), pp. 38-47, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Nuh Aydin |
Computer algebra challenges for constructing skew cyclic codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(1), pp. 13, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Andrew Toon |
Investigating complex data and dynamics via computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(2), pp. 50, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Carlos D'Andrea |
The rees algebra of some monomial parametrizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(2), pp. 52-53, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Lucio Centrone |
ℤ2-Graded Gelfand-Kirillov dimension of the Grassmann algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 24(3), pp. 365-374, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Adel Alahmadi, Hamed H. Alsulami |
Wreath products by a leavitt path algebra and affinizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 24(5), pp. 707-714, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | William Y. Sit |
The Kolchin seminar in differential algebra at the graduate center of the city university of New York: Summer-2014 http: //www.sci.ccny.cuny.edu/~ksda/gradcenter.html. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 48(1/2), pp. 70-73, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of the 2014 east coast computer algebra day: Communicated by Xiaobai Sun, Nikos P. Pitsianis, and Alexandros-Stavros Iliopoulos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 48(1/2), pp. 59-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie |
Basic Polynomial Algebra Subprograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 48(3/4), pp. 197-201, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 48(1/2), pp. 28-31, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 48(3/4), pp. 202, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 48(1/2), pp. 64-66, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 48(3/4), pp. 148-150, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Alexey Ovchinnikov |
Kolchin seminar in differential algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 48(1/2), pp. 67-69, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Shusaku Iida, José Meseguer 0001, Kazuhiro Ogata 0001 (eds.) |
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![Springer, 978-3-642-54623-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Peter Hellekalek |
On an important family of inequalities of Niederreiter involving exponential sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 144-163, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Keller 0001, Nikolaus Binder, Carsten Wächter |
Construction of a rank-1 lattice sequence based on primitive polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 204-215, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. xi-xii, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Ferruh Özbudak, Zülfükar Saygi |
Rational points of the curve over. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 297-306, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Jonas Kaszian, Pieter Moree, Igor E. Shparlinski |
Periodic structure of the exponential pseudorandom number generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 190-203, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Michael Vielhaber 0001 |
On the linear complexity of multisequences, bijections between ℤahlen and ℕumber tuples, and partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 307-335, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Plate section. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Liardet, Alain Thomas |
Asymptotic formulas for partitions with bounded multiplicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 235-254, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Domingo Gómez-Pérez, Jaime Gutierrez 0001 |
On the linear complexity and lattice test of nonlinear pseudorandom number generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 91-101, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Rainer Göttfert |
A heuristic formula estimating the keystream length for the general combination generator with respect to a correlation attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 102-108, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Roswitha Hofer, Isabel Pirsic |
Controlling the shape of generating matrices in global function field constructions of digital sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 164-189, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Gerhard Larcher, Friedrich Pillichshammer, Arne Winterhof, Chaoping Xing |
Some highlights of Harald Niederreiter's work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 1-21, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Christian Lécot, Ali Tarhini |
A quasi-Monte Carlo method for the coagulation equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 216-234, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Gary L. Mullen, Daqing Wan, Qiang Wang 0012 |
Index bounds for value sets of polynomials over finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 280-296, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Peter J. Grabner |
Point sets of minimal energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 109-125, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Henri Faure, Peter Kritzer |
Discrepancy bounds for low-dimensional point sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 58-90, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Katalin Gyarmati, Christian Mauduit, András Sárközy |
The cross-correlation measure for families of binary sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 126-143, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Juliano B. Lima, Daniel Panario, Ricardo M. Campello de Souza |
A trigonometric approach for Chebyshev polynomials over finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 255-279, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Josef Dick |
Applications of geometric discrepancy in numerical analysis and statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 39-57, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Ayça Çesmelioglu, Wilfried Meidl, Alev Topuzoglu |
Partially bent functions and their properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Algebra and Number Theory ![In: Applied Algebra and Number Theory, pp. 22-38, 2014, Cambridge University Press, 9781139696456. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Takeo Yaku, Koichi Anada, Koushi Anzai, Shinji Koka, Youzou Miyadera, Kensei Tsuchida |
8k-ary Grid Graph Models of Tabular Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 465-477, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Grigore Rosu, Dorel Lucanu |
Behavioral Rewrite Systems and Behavioral Productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 296-314, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar |
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 256-275, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Rolf Hennicker, Annabelle Klarl |
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 359-381, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Bertrand Meyer 0001, Alexander Kogtenkov |
Negative Variables and the Essence of Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 171-187, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Jiaxiang Liu 0001, Jean-Pierre Jouannaud |
Confluence: The Unifying, Expressive Power of Locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 337-358, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Yongxin Zhao, Jin Song Dong, Yang Liu 0003, Jun Sun 0001 |
Towards a Combination of CafeOBJ and PAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 151-170, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata 0001, Kokichi Futatsugi |
On Automation of OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 578-602, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra |
Some Engineering Applications of the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 541-559, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Shin Nakajima 0001 |
Everlasting Challenges with the OBJ Language Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 478-493, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Model Checking TLR* Guarantee Formulas on Infinite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 129-150, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 630-656, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Razvan Diaconescu |
CafeOBJ Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 53-65, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Santiago Escobar 0001 |
Functional Logic Programming in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 315-336, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|