| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 6 |      | Stanislav Böhm, Stefan Göller: Language Equivalence of Deterministic Real-Time One-Counter Automata Is NL-Complete. MFCS 2011: 194-205 |
| 5 | | Stanislav Böhm, Marek Bhálek: Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications. UKSim 2011: 403-408 |
| 2010 | ||
| 4 | | Stanislav Böhm, Stefan Göller, Petr Jancar: Bisimilarity of One-Counter Processes Is PSPACE-Complete. CONCUR 2010: 177-191 |
| 2009 | ||
| 3 | | Stanislav Böhm, Otto Exner: Interaction of two functional groups through the benzene ring: Theory and experiment. Journal of Computational Chemistry 30(7): 1069-1074 (2009) |
| 2007 | ||
| 2 | | Stanislav Böhm, Otto Exner: Inductive effects in radicals calculated from DFT energies; substituted bicyclo[2.2.2]octan-1-yloxy radicals. Journal of Computational Chemistry 28(11): 1783-1789 (2007) |
| 2006 | ||
| 1 | | Stanislav Böhm, Otto Exner: Are calculated enthalpies of formation sometimes more reliable than experimental? A test on alkyl substituted benzoic acids. Journal of Computational Chemistry 27(5): 571-577 (2006) |
| 1 | Marek Bhálek | [5] |
| 2 | Otto Exner | [1] [2] [3] |
| 3 | Stefan Göller | [4] [6] |
| 4 | Petr Jancar | [4] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page