Volume 5, Number 1, March 2011
Graph Theory and Applications
- Mirka Miller, Bharati Rajan, Joe Ryan:
Foreword.
1-2
- B. D. Acharya:
Supra-Hereditary Properties of Hypergraphs.
3-6
- Basavanagoud Bommanahal, Keerthi G. Mirajkar:
On Plick Graphs with Coarseness Number One.
7-10
- Ljiljana Brankovic, Ian M. Wanless:
Graceful Labelling: State of the Art, Applications and Future Directions.
11-20
- Roman Cada, Evelyne Flandrin, Haiyan Kang:
A Note on Degree Conditions for Traceability in Locally Claw-Free Graphs.
21-25
- Pranay Chaudhuri, Hussein Thompson:
Improved Self-Stabilizing Algorithms for L(2, 1)-Labeling Tree Networks.
27-39
- Rikio Ichishima, Akito Oshima:
On Partitional and Other Related Graphs.
41-50
- J. Jeba Jesintha, G. Sethuraman:
All Arbitrarily Fixed Generalized Banana Trees Are Graceful.
51-62
- S. C. López, Francesc A. Muntaner-Batle, Miquel Rius-Font:
Super Edge-Magic Models.
63-68
- Allen O'Neal, Peter J. Slater:
An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread.
69-80
- Oudone Phanalasy, Mirka Miller, Costas S. Iliopoulos, Solon P. Pissis, Elaheh Vaezpour:
Construction of Antimagic Labeling for the Cartesian Product of Regular Graphs.
81-87
- Bharati Rajan, K. T. Sonia, Chris Monica M.:
Conditional Resolvability of Honeycomb and Hexagonal Networks.
89-99
- Indra Rajasingh, Micheal Arockiaraj:
Linear Wirelength of Folded Hypercubes.
101-111
- Kiki A. Sugeng, Joseph F. Ryan:
Clique Vertex Magic Cover of a Graph.
113-118
- Rahnuma Islam Nishat, Debajyoti Mondal, Md. Saidur Rahman:
Visibility Drawings of Plane 3-Trees with Minimum Area.
119-132
Volume 5, Number 2, June 2011
Volume 5, Number 3, September 2011
Polynomial System Solving and Systems Science
- Hirokazu Anai:
Foreword.
245-246
- Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang:
Stability Analysis for Discrete Biological Models Using Algebraic Methods.
247-262
- Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard:
Embedding of Biological Regulatory Networks and Property Preservation.
263-288
- François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant:
Model Reduction of Chemical Reaction Systems using Elimination.
289-301
- Hiroyuki Ichihara, Hirokazu Anai:
An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems.
303-314
- Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai:
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design.
315-334
- Gabriel Dos Reis, Bjarne Stroustrup:
A Principled, Complete, and Efficient Representation of C++.
335-356
Volume 5, Number 4, December 2011
Numerical Software Verification
- Georgios E. Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan:
Foreword.
357-358
- Stef Graillat, Fabienne Jézéquel, Shiyue Wang, Yuxiang Zhu:
Stochastic Arithmetic in Multiprecision.
359-375
- Sylvie Boldo, Claude Marché:
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs.
377-393
- Stephen F. Siegel, Timothy K. Zirkel:
TASS: The Toolkit for Accurate Scientific Software.
395-426
- Stephen F. Siegel, Timothy K. Zirkel:
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing.
427-435
- Pieter Collins, Milad Niqui, Nathalie Revol:
A Validated Real Function Calculus.
437-467
- Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans:
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.
469-497
Last update Fri May 24 20:40:05 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
