default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Symbolic Computation, Volume 80

> Home > Journals > Journal of Symbolic Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volumes 80, Part 1, May - June 2017

- view
  authority control:
- export record
  dblp key:
  - journals/jsc/JebeleanLW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/JebeleanLW17
Tudor Jebelean, Wei Li, Dongming Wang:
Special Issue on Program Verification, Automated Debugging and Symbolic Computation. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/AvanesovCRT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/AvanesovCRT17
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani:
Intruder deducibility constraints with negation. Decidability and application to secured service compositions. 4-26
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/AvanesovCRT17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/AvanesovCRT17a
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani:
Satisfiability of general intruder constraints with and without a set constructor. 27-61
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/DaiGXZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/DaiGXZ17
Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan:
Barrier certificates revisited. 62-86
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/JiangL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/JiangL17
Dongchen Jiang, Wei Li:
Revision with probability. 87-100
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/KnoopKZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/KnoopKZ17
Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. 101-124
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/LucanuRA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/LucanuRA17
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie:
A generic framework for symbolic execution: A coinductive approach. 125-163
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/RahliWPK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/RahliWPK17
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine:
Skalpel: A constraint-based type error slicer for Standard ML. 164-208
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Stratulat17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Stratulat17
Sorin Stratulat:
Mechanically certifying formula-based Noetherian induction reasoning. 209-249

Volumes 80, Part 2, May - June 2017

- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Renaudineau17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Renaudineau17
Arthur Renaudineau:
A tropical construction of a family of real reducible curves. 251-272
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Masjed-JameiK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Masjed-JameiK17
Mohammad Masjed-Jamei, Wolfram Koepf:
Symbolic computation of some power-trigonometric series. 273-284
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/ImbachMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/ImbachMP17
Rémi Imbach, Guillaume Moroz, Marc Pouget:
A certified numerical algorithm for the topology of resultant and discriminant curves. 285-306
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/TorrenteBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/TorrenteBS17
Maria-Laura Torrente, Mauro Carlo Beltrametti, Andrew J. Sommese:
Perturbation results on the zero-locus of a polynomial. 307-328
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Vaccon17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Vaccon17
Tristan Vaccon:
Matrix-F5 algorithms over finite-precision complete discrete valuation fields. 329-350
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/BostanLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BostanLS17
Alin Bostan, Pierre Lairez, Bruno Salvy:
Multiple binomial sums. 351-386
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/AlbaM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/AlbaM17
Hernán de Alba, Marcel Morales:
Betti numbers of binomial ideals. 387-402
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Scala17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Scala17
Roberto La Scala:
Monomial right ideals and the Hilbert series of noncommutative modules. 403-415
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Scheicher17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Scheicher17
Martin Scheicher:
Gröbner bases and their application to the Cauchy problem on finitely generated affine monoids. 416-450
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/HernandezT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/HernandezT17
Daniel J. Hernández, Pedro Teixeira:
F-threshold functions: Syzygy gap fractals and the two-variable homogeneous case. 451-483
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/CenkH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/CenkH17
Murat Cenk, M. Anwar Hasan:
On the arithmetic complexity of Strassen-like matrix multiplications. 484-501
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Lee17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Lee17
Hwangrae Lee:
The Euclidean distance degree of Fermat hypersurfaces. 502-510
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Maglione17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Maglione17
Joshua Maglione:
Efficient characteristic refinements for finite groups. 511-520

Volumes 80, Part 3, May - June 2017

- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Gonzalez17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Gonzalez17
José Martín Méndez González:
Revealing regions of multiple steady states in heterogeneous catalytic chemical reaction networks using Gröbner basis. 521-537
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/FaugereM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/FaugereM17
Jean-Charles Faugère, Chenqi Mou:
Sparse FGLM algorithms. 538-569
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/PfisterP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/PfisterP17
Gerhard Pfister, Dorin Popescu:
Constructive General Neron Desingularization for one dimensional local rings. 570-580
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/BiasseFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BiasseFH17
Jean-François Biasse, Claus Fieker, Tommy Hofmann:
On the computation of the HNF of a module over the ring of integers of a number field. 581-615
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Schneider17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Schneider17
Carsten Schneider:
Summation Theory II: Characterizations of RΠΣ^⁎-extensions and algorithmic aspects. 616-664
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/GaoHY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/GaoHY17
Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan:
Binomial difference ideals. 665-706
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Abbott17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Abbott17
John Abbott:
Fault-tolerant modular reconstruction of rational numbers. 707-718
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/EderF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/EderF17
Christian Eder, Jean-Charles Faugère:
A survey on signature-based algorithms for computing Gröbner bases. 719-784
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/HanDHX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/HanDHX17
Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia:
Open weak CAD and its applications. 785-816
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/NiemeyerPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/NiemeyerPP17
Alice C. Niemeyer, Götz Pfeiffer, Cheryl E. Praeger:
On the complexity of multiplication in the Iwahori-Hecke algebra of the symmetric group. 817-832
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/CheungIM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/CheungIM17
Man Wai Cheung, Christian Ikenmeyer, Sevak Mkrtchyan:
Symmetrizing tableaux and the 5th case of the Foulkes conjecture. 833-843
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/HongHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/HongHK17
Hoon Hong, Zachary Hough, Irina A. Kogan:
Algorithm for computing μ-bases of univariate polynomials. 844-874

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.