Viorica Sofronie-Stokkermans

Viorica Sofronie-Stokkermans

Universität Koblenz Landau - Koblenz / Germany
Others
AD Scientific Index ID: 4664175
University of Koblenz Landau
person_outline Viorica Sofronie-Stokkermans's MOST POPULAR ARTICLES
1-) Hierarchic reasoning in local theory extensionsV Sofronie-StokkermansInternational Conference on Automated Deduction, 219-234, 20051192005
2-) Constraint solving for interpolationA Rybalchenko, V Sofronie-StokkermansInternational Workshop on Verification, Model Checking, and Abstract …, 20071142007
3-) On local reasoning in verification C Ihlemann, S Jacobs, V Sofronie-Stokkermans International Conference on Tools and Algorithms for the Construction and …, 2008 922008
4-) Automated reasoning in some local extensions of ordered structuresV Sofronie-Stokkermans, C Ihlemann37th International Symposium on Multiple-Valued Logic (ISMVL\'07), 1-1, 2007602007
5-) Interpolation in local theory extensionsV Sofronie-StokkermansAutomated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006602006