selected publications
-
academic article
- Computing the Clique-width of Cactus Graphs
- Estimation of effective diffusion coefficient and its effect on effectiveness factor for hds catalytic process: a multi-scale approach
- Functional first order definability of LRTp
- Low-Exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs
- The Incremental Satisfiability Problem for a Two Conjunctive Normal Form
-
thesis