Model Checking and Graph Transformation Systems Publication Trend The graph below shows the total number of publications each year in Model Checking and Graph Transformation Systems.

Math 117 - Pre-Calculus for Scientists and Engineers is a four-credit course will concentrate on analyzing and exploring the basic function classes (linear, quadratic, polynomial, rational, ...

Directed graph (or digraph) data arise in many fields, especially in contemporary research on structures of social relationships. We describe an exponential family of distributions that can be used ...

Jack Douthett, Peter Steinbach, Parsimonious Graphs: A Study in Parsimony, Contextual Transformations, and Modes of Limited Transposition, Journal of Music Theory ...