- Combining a Reachability Graph and a Reduction Rule Approac...2010-11
- Suitable Graphs for Answer Set Programming 2010-11
- Properties of maximal cliques of a pair-wise compatibility ...2010-11
- Translation of Aggregate Programs to Normal Logic Programs2010-11
- Complexity of Answer Set Checking and Bounded Predicate Ari...2010-11
- 9th Annual Nutrition & Health Conference April 16-18, 2012
- 9th Intl Conf. on Information Technology: New Gen...April 16-18, 2012
- Stem Cells for Drug Developers March 27-29, 2012
- ADMET PK/TK and Drug MetabolismMarch 22-23, 2012
