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. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Junges, Jurriaan Rot |
Learning Language Intersections. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Rocco De Nicola, Luca Di Stefano 0001, Omar Inverso, Serenella Valiani |
Process Algebras and Flocks of Birds. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ansgar Fehnker |
What's in School? - Topic Maps for Secondary School Computer Science. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Nancy A. Lynch, Cameron Musco |
A Basic Compositional Model for Spiking Neural Networks. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis |
Playing Wordle with Uppaal Stratego. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Michael B. Monagan |
A call to build a publicly accessible library of lecture recordings in computer algebra. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
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. |
ACM Commun. Comput. Algebra |
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. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Zbigniew Lipinski |
Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra. |
Appl. Algebra Eng. Commun. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Iwan M. Duursma, Xiao Li, Hsin-Po Wang 0001 |
Multilinear Algebra for Distributed Storage. |
SIAM J. Appl. Algebra Geom. |
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. |
Int. J. Algebra Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Dietrich Burde, Vsevolod Gubarev |
Decompositions of algebras and post-associative algebra structures. |
Int. J. Algebra Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Miao-Jung Yvonne Ou |
Teaching multivariable calculus and tensor calculus with computer algebra software. |
ACM Commun. Comput. Algebra |
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. |
Appl. Algebra Eng. Commun. Comput. |
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. |
SIAM J. Appl. Algebra Geom. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Shalini Gupta, Sugandha Maheshwary |
Finite semisimple group algebra of a normally monomial group. |
Int. J. Algebra Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Xiao Cheng, Jiancai Sun |
Super-biderivations and linear super-commuting maps on the twisted N = 2 superconformal algebra. |
Int. J. Algebra Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
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. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Nuh Aydin |
Some new linear codes from skew cyclic codes and computer algebra challenges. |
Appl. Algebra Eng. Commun. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Fernando Henry |
Some graded identities of the Cayley-Dickson algebra. |
Int. J. Algebra Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Dietrich Burde, Christof Ender, Wolfgang Alexander Moens |
Post-Lie algebra structures for nilpotent Lie algebras. |
Int. J. Algebra Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Luís Felipe Gonçalves Fonseca |
ℤ2-graded identities of the Grassmann algebra over a finite field. |
Int. J. Algebra Comput. |
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. |
Numer. Linear Algebra Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jiaxiong Hu, Anton Panferov |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Galina Deryabina, Alexei Krasilnikov |
Products of several commutators in a Lie nilpotent associative algebra. |
Int. J. Algebra Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Sergei A. Abramov, Anna A. Ryabenko, Timur M. Sadykov 0001 |
The second conference "Computer Algebra" in Moscow. |
ACM Commun. Comput. Algebra |
2017 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Lichtblau |
East coast copmuter algebra day 2017. |
ACM Commun. Comput. Algebra |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Yusuf Baris Tuncer |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Wen-shin Lee |
Milestones in Computer Algebra (MICA 2016): a workshop celebrating the research of Erick Kaltofen. |
ACM Commun. Comput. Algebra |
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. |
Int. J. Algebra Comput. |
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. |
Int. J. Algebra Comput. |
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. |
ACM Commun. Comput. Algebra |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Kauers, Peter Paule, Greg Reid |
Workshop on symbolic combinatorics and algorithmic differential algebra. |
ACM Commun. Comput. Algebra |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Sergei A. Abramov, Leonid A. Sevastianov |
The conference "computer algebra" in Moscow. |
ACM Commun. Comput. Algebra |
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. |
ACM Commun. Comput. Algebra |
2016 |
DBLP DOI BibTeX RDF |
|
18 | George Labahn, Stephen M. Watt |
Thematic program in computer algebra: July 1 - Dec 31, 2015. |
ACM Commun. Comput. Algebra |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Lingchuan Meng |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Silvana Ilie, Arne Storjohann |
Abstracts of the 2015 east coast computer algebra day. |
ACM Commun. Comput. Algebra |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Xiaosong Sun |
Automorphisms of the endomorphism semigroup of a free algebra. |
Int. J. Algebra Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Konstantin Ziegler |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Patrice Geary Tiffany |
Effectively melding computer algebra systems into the calculus curriculum. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Minimair |
Collaborative computer algebra systems. |
ACM Commun. Comput. Algebra |
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. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Irina A. Kogan |
Differential algebra of invariants and invariant variational calculus. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Michael Xue |
Prove inequalities by solving maximum/minimum problems using a computer algebra system. |
ACM Commun. Comput. Algebra |
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. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Nuh Aydin |
Computer algebra challenges for constructing skew cyclic codes. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Andrew Toon |
Investigating complex data and dynamics via computer algebra. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Carlos D'Andrea |
The rees algebra of some monomial parametrizations. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Lucio Centrone |
ℤ2-Graded Gelfand-Kirillov dimension of the Grassmann algebra. |
Int. J. Algebra Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Adel Alahmadi, Hamed H. Alsulami |
Wreath products by a leavitt path algebra and affinizations. |
Int. J. Algebra Comput. |
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. |
ACM Commun. Comput. Algebra |
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. |
ACM Commun. Comput. Algebra |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie |
Basic Polynomial Algebra Subprograms. |
ACM Commun. Comput. Algebra |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Alexey Ovchinnikov |
Kolchin seminar in differential algebra. |
ACM Commun. Comput. Algebra |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Shusaku Iida, José Meseguer 0001, Kazuhiro Ogata 0001 (eds.) |
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Peter Hellekalek |
On an important family of inequalities of Niederreiter involving exponential sums. |
Applied Algebra and Number Theory |
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. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Preface. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Ferruh Özbudak, Zülfükar Saygi |
Rational points of the curve over. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Jonas Kaszian, Pieter Moree, Igor E. Shparlinski |
Periodic structure of the exponential pseudorandom number generator. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Michael Vielhaber 0001 |
On the linear complexity of multisequences, bijections between ℤahlen and ℕumber tuples, and partitions. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | |
Plate section. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Liardet, Alain Thomas |
Asymptotic formulas for partitions with bounded multiplicity. |
Applied Algebra and Number Theory |
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. |
Applied Algebra and Number Theory |
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. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Roswitha Hofer, Isabel Pirsic |
Controlling the shape of generating matrices in global function field constructions of digital sequences. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Gerhard Larcher, Friedrich Pillichshammer, Arne Winterhof, Chaoping Xing |
Some highlights of Harald Niederreiter's work. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Christian Lécot, Ali Tarhini |
A quasi-Monte Carlo method for the coagulation equation. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Gary L. Mullen, Daqing Wan, Qiang Wang 0012 |
Index bounds for value sets of polynomials over finite fields. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Peter J. Grabner |
Point sets of minimal energy. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Henri Faure, Peter Kritzer |
Discrepancy bounds for low-dimensional point sets. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Katalin Gyarmati, Christian Mauduit, András Sárközy |
The cross-correlation measure for families of binary sequences. |
Applied Algebra and Number Theory |
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. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Josef Dick |
Applications of geometric discrepancy in numerical analysis and statistics. |
Applied Algebra and Number Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Ayça Çesmelioglu, Wilfried Meidl, Alev Topuzoglu |
Partially bent functions and their properties. |
Applied Algebra and Number Theory |
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. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Grigore Rosu, Dorel Lucanu |
Behavioral Rewrite Systems and Behavioral Productivity. |
Specification, Algebra, and Software |
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). |
Specification, Algebra, and Software |
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. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Bertrand Meyer 0001, Alexander Kogtenkov |
Negative Variables and the Essence of Object-Oriented Programming. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Jiaxiang Liu 0001, Jean-Pierre Jouannaud |
Confluence: The Unifying, Expressive Power of Locality. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Yongxin Zhao, Jin Song Dong, Yang Liu 0003, Jun Sun 0001 |
Towards a Combination of CafeOBJ and PAT. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata 0001, Kokichi Futatsugi |
On Automation of OTS/CafeOBJ Method. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra |
Some Engineering Applications of the OTS/CafeOBJ Method. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Shin Nakajima 0001 |
Everlasting Challenges with the OBJ Language Family. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Model Checking TLR* Guarantee Formulas on Infinite Systems. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Razvan Diaconescu |
CafeOBJ Traces. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Santiago Escobar 0001 |
Functional Logic Programming in Maude. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|