Maria (reachability analyzer)

Known as: Maria 
Maria: The Modular Reachability Analyzer is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2003-2017
0120032017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
611 I 1935, Gerhard Domagk and Josef Klarer, working with dyes at the Bayer Institute of Pathology and Bacteriology, published… (More)
Is this relevant?
2017
2017
INDEX 21 
Is this relevant?
Review
2014
Review
2014
This study aims to investigate the role of different levels of relationships (interpersonal, intergroup and international) to… (More)
Is this relevant?
2012
2012
In this paper, we present the design and the development of a robust, low-cost and easy to implement system for a gesture-based… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2011
2011
systems, and IR system types (systems for CD-ROM, multimedia, markup languages, Internet, natural language processing, citation… (More)
Is this relevant?
Review
2010
Review
2010
Water rats obtained in northern Colombia by the author during his 1941-1943 tenure of the Walter Rathbone Bacon Traveling… (More)
Is this relevant?
2003
2003
10.1128/JCM.41.7.3334-3335.2003. 2003, 41(7):3334. DOI: J. Clin. Microbiol. Queiroz Bitencourt, Alexandre Ferreira and Dulciene… (More)
  • table 1
Is this relevant?