Volume 46,
Number 1,
January 2011
Volume 46,
Number 2,
February 2011
- Demis Ballis, Temur Kutsia:
Foreword.
93-94
- Gregory Malecha, Greg Morrisett, Ryan Wisnesky:
Trace-based verification of imperative programs with I/O.
95-118
- Federico Banti, Rosario Pugliese, Francesco Tiezzi:
An accessible verification environment for UML models of services.
119-149
- Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser:
Static consistency checking of web applications with WebDSL.
150-182
- Christian Schönberg, Franz Weitl, Burkhard Freitag:
Verifying the consistency of web-based technical documentations.
183-206
- Marino Linaje Trigueros, Adolfo Lozano Tello, Miguel Ángel Pérez Toledano, Juan Carlos Preciado, Roberto Rodríguez-Echeverría, Fernando Sánchez-Figueroa:
Providing RIA user interfaces with accessibility properties.
207-217
Volume 46,
Number 3,
March 2011
- Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll:
Foreword.
219-221
- Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König:
A lattice-theoretical perspective on adhesive categories.
222-245
- Benjamin Braatz, Ulrike Golas, Thomas Soboll:
How to delete categorically - Two pushout complement constructions.
246-271
- Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud:
Cartesian effect categories are Freyd-categories.
272-293
- Fernando Orejas:
Symbolic graphs for attributed graph constraints.
294-315
- Christoph Schulz, Michael Löwe, Harald König:
A categorical framework for the transformation of object-oriented systems: Models and data.
316-337
Volume 46,
Number 4,
April 2011
- Joris van der Hoeven:
Meta-expansion of transseries.
339-359
- Graham Ellis, Paul Smith:
Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence.
360-370
- Scott H. Murray, Colva M. Roney-Dougal:
Constructive homomorphisms for classical groups.
371-384
- Marie-Françoise Roy, Aviva Szpirglas:
Sylvester double sums and subresultants.
385-395
- Annick Valibouze:
Gröbner basis of the alternating galoisian ideal.
396-405
- Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer:
Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1, 1): Algorithms and complexity.
406-437
- Willem A. de Graaf:
Computing representatives of nilpotent orbits of θ-groups.
438-458
- Jean-Charles Faugère, Ye Liang:
Artificial discontinuities of single-parametric Gröbner bases.
459-466
- Michael Hemmer, Laurent Dupont, Sylvain Petitjean, Elmar Schömer:
A complete, exact and efficient implementation for computing the edge-adjacency graph of an arrangement of quadrics.
467-494
Volume 46,
Number 5,
May 2011
- Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz:
Bruno Buchberger and the world of Gröbner bases.
495-497
- Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano:
Computing inhomogeneous Gröbner bases.
498-510
- Víctor Blanco, Justo Puerto:
Some algebraic methods for solving multiobjective polynomial integer programs.
511-533
- Massimo Caboara, Fabrizio Caruso, Carlo Traverso:
Lattice Polly Cracker cryptosystems.
534-549
- Anne Frühbis-Krüger:
A modified coefficient ideal for use with the strict transform.
550-560
- Gert-Martin Greuel, Frank Seelisch, Oliver Wienand:
The Gröbner basis of the ideal of vanishing polynomials.
561-570
- Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi:
Morley's theorem revisited: Origami construction and automated proof.
571-583
- K. Kalorkoti:
Model checking in the modal μ-calculus and generic solutions.
584-594
- Viktor Levandovskyy, Kristina Schindelar:
Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases.
595-608
- Agustin Marcelo, Peter Schenzel:
Non-Cohen-Macaulay unique factorization domains in small dimensions.
609-621
- Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima, Kô Sakai:
Boolean Gröbner bases.
622-632
Volume 46,
Number 6,
June 2011
- Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha:
Simple forms of higher-order linear differential systems and their applications in computing regular solutions.
633-658
- Nicoleta Bila:
On a new method for finding generalized equivalence transformations for differential equations involving arbitrary functions.
659-671
- Nazeran Idrees, Gerhard Pfister, Stefan Steidel:
Parallelization of Modular Algorithms.
672-684
- Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert:
fKenzo: A user interface for computations in Algebraic Topology.
685-698
- Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood:
A q-analogue of the Bailey-Borwein-Bradley identity.
699-711
- Daniel Plaumann, Bernd Sturmfels, Cynthia Vinzant:
Quartic curves and their bitangents.
712-733
Volume 46,
Number 7,
July 2011
Volume 46,
Number 8,
August 2011
Volume 46,
Number 9,
September 2011
Obituary
Volume 46,
Number 10,
October 2011
- Stefano Maggiolo, Nicola Pagani:
Generating stable modular graphs.
1087-1097
- Sebastian Jambor:
Computing minimal associated primes in polynomial rings over the integers.
1098-1104
- Jesse Beder, Jason McCullough, Luis Núñez-Betancourt, Alexandra Seceleanu, Bart Snapp, Branden Stone:
Ideals with larger projective dimension and regularity.
1105-1113
- Lisi D'Alfonso, Gabriela Jeronimo, François Ollivier, Alexandre Sedoglavic, Pablo Solernó:
A geometric index reduction method for implicit systems of differential algebraic equations.
1114-1138
- Guillaume Moroz:
Properness defects of projection and minimal discriminant variety.
1139-1157
- Taro Kawazoe, Masayuki Noro:
Algorithms for computing a primary ideal decomposition without producing intermediate redundant components.
1158-1172
- L. X. Châu Ngô, Franz Winkler:
Rational general solutions of planar rational systems of autonomous ODEs.
1173-1186
Erratum
Volume 46,
Number 11,
November 2011
- Viktor Levandovskyy, Eva Zerz, Kristina Schindelar:
Exact linear modeling using Ore algebras.
1189-1204
- Sergei A. Abramov, Moulay A. Barkatou, Mark van Hoeij, Marko Petkovsek:
Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences.
1205-1228
- Rocío Blanco, Santiago Encinas:
Embedded desingularization of toric varieties.
1229-1241
- Mark Giesbrecht, Daniel S. Roche:
Detecting lacunary perfect powers and computing their roots.
1242-1259
- Jesús A. De Loera, Jon Lee, Peter N. Malkin, Susan Margulies:
Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz.
1260-1283
- Adam W. Strzebonski:
Cylindrical decomposition for systems transcendental in the first variable.
1284-1290
Volume 46,
Number 12,
December 2011
Regular Papers
Last update Sat May 26 06:46:03 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
