Mark-Oliver Stehr

Mark-Oliver Stehr

SRI International - California / United States
Others
AD Scientific Index ID: 4386835
-
person_outline Mark-Oliver Stehr's MOST POPULAR ARTICLES
1-) Some toolsM Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...All About Maude-A High-Performance Logical Framework: How to Specify …, 200715632007
2-) Rewriting logic as a unifying framework for Petri netsMO Stehr, J Meseguer, PC ÖlveczkyUnifying Petri Nets: Advances in Petri Nets, 250-303, 20011222001
3-) Maude as a formal meta-toolM Clavel, F Durán, S Eker, J Meseguer, MO StehrInternational Symposium on Formal Methods, 1684-1703, 19991131999
4-) Policy-based cognitive radiosD Wilkins, G Denker, MO Stehr, D Elenius, R Senanayake, C TalcottIEEE Wireless Communications 14 (4), 41-46, 2007812007
5-) CINNI-A Generic Calculus of Explicit Substitutions and its Application to λ-ς-and π-CalculiMO StehrElectronic Notes in Theoretical Computer Science 36, 70-92, 2000712000