Search
Now showing items 1-10 of 10
An embedding domain approach for a class of 2-d shape optimization problems: mathematical analysis
(Journal of Mathematical Analysis and Applications. 2004, vol. 290, issue 2, p. 665-685.)
Decidability of bisimilarity for one-counter processes
(Information and Computation. 2000, vol. 158, issue 1, p. 1-17 .)
Strong resonance for some quasilinear elliptic equations
(Journal of Mathematical Analysis and Applications. 2000, vol. 245, issue 1, p. 7-19.)
A note on the extension principle
(Journal of Mathematical Analysis and Applications. 2000, vol. 248, issue 2, p. 678-682.)
Branch-width, parse trees, and monadic second-order logic for matroids
(Journal of Combinatorial Theory, Series B. 2006, vol. 96, issue 3, p. 325-351.)
Periodic solutions in a given set of differential systems
(Journal of Mathematical Analysis and Applications. 2001, vol. 264, issue 2, p. 495-509.)
Crossing number is hard for cubic graphs
(Journal of Combinatorial Theory, Series B. 2006, vol. 96, issue 4, p. 455-471.)
DP lower bounds for equivalence-checking and model-checking of one-counter automata
(Information and Computation. 2004, vol. 188, issue 1, p. 1-19.)
Petri nets and regular processes
(Journal of Computer and System Sciences. 1999, vol. 59, issue 3, p. 476-503.)
Report on the 2nd international meeting of the IUGS lower Cretaceous ammonite working group, the “Kilian Group” (Neuchâtel, Switzerland, 8 September 2005)
(Cretaceous Research. 2006, vol. 27, issue 5, p. 712-715.)