Publication
-
Human-guided search Article
Journal of Heuristics, 16(3), 289-310.January 2010 -
Quantum proofs for classical theorems Article
Theory of ComputingJanuary 2010
-
January 2010
-
A multi-agent platform for auction-based allocation of loads in transportation logistics Article
Expert Systems with ApplicationsJanuary 2010 -
Computing H/D-Exchange rates of single residues from data of proteolytic fragments Article
BMC BioinformaticsJanuary 2010 -
January 2010
-
January 2010
-
Spatially hybrid computations for streamer discharges with generic features of pulled fronts: I. Planar fronts Article
Journal of Computational Physics, 229(1), 200-220.January 2010