A characterization of finite symplectic polar spaces of odd prime order Fulltext Access 13 Pages 2007
Lattice point counts for the Shi arrangement and other affinographic hyperplane arrangements Fulltext Access 13 Pages 2007
Some set partition statistics in non-crossing partitions and generating functions Fulltext Access 14 Pages 2007
The determinant of a hypergeometric period matrix and a generalization of Selberg's integral Fulltext Access 14 Pages 2007
An efficient probabilistic public-key cryptosystem over quadratic fields quotients Fulltext Access 14 Pages 2007
Kloosterman sum identities and low-weight codewords in a cyclic code with two zeros Fulltext Access 14 Pages 2007
Lattices generated by strongly closed subgraphs in dd-bounded distance-regular graphs Fulltext Access 14 Pages 2007
On the hyperplanes of the half-spin geometries and the dual polar spaces DQ(2n,K) Fulltext Access 14 Pages 2007
Self-complementary two-graphs and almost self-complementary double covers Fulltext Access 14 Pages 2007
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems Fulltext Access 14 Pages 2007
Modeling and Verification of Reliable Messaging by Graph Transformation Systems 4 Fulltext Access 14 Pages 2007
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution 1 Fulltext Access 14 Pages 2007
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols 1 Fulltext Access 14 Pages 2007
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding 1 Fulltext Access 14 Pages 2007
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers Fulltext Access 14 Pages 2007
Architecting Fault-tolerant Component-based Systems: from requirements to testing Fulltext Access 14 Pages 2007
Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars 1 Fulltext Access 14 Pages 2007
Extending Symmetry Reduction Techniques to a Realistic Model of Computation Fulltext Access 14 Pages 2007
Generating realistic terrains with higher-order Delaunay triangulations Fulltext Access 14 Pages 2007
Abstract order type extension and new results on the rectilinear crossing number Fulltext Access 14 Pages 2007
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi ⋆ Fulltext Access 14 Pages 2007
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis Fulltext Access 14 Pages 2007
Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference Fulltext Access 14 Pages 2007
A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract) Fulltext Access 14 Pages 2007