Publication
-
Minimal systems of binomial generators and the indispensable complex of a toric ideal Article
Proceedings of the American Mathematical Society, 138(9), 3443-3451.July 2007 -
Bug Hunting with False Negatives In Proceedings
July 2007 -
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems In Proceedings
July 2007 -
July 2007
-
A Database Approach to Distributed State Space Generation In Proceedings
July 2007 -
Edge corrected non-parametric intensity function estimators for heterogeneous Poisson point processes Tech Report
July 2007
-
The ToolBus: A Service-oriented Architecture for Language processing Tools Article
ERCIM News, 32-33.July 2007
-
Inverting Onto Functions and Polynomial Hierarchy In Proceedings
July 2007