| |
| 1994 | ||
|---|---|---|
| 4 | EE | Ryan Stansifer, Mike Beaven, Dan C. Marinescu: Modeling concurrent programs with colored Petri nets. Journal of Systems and Software 26(2): 129-148 (1994) |
| 1993 | ||
| 3 | EE | Mike Beaven, Ryan Stansifer: Explaining Type Errors In Polimorphic Languages. LOPLAS 2(1-4): 17-30 (1993) |
| 1991 | ||
| 2 | Dan C. Marinescu, Mike Beaven, Ryan Stansifer: A Parallel Algorithm for Computing Invariants of Petri Net Models. PNPM 1991: 136-143 | |
| 1989 | ||
| 1 | Mike Beaven, Ryan Stansifer, Dan Wetklow: A Functional Language with Classes. Great Lakes Computer Science Conference 1989: 364-370 | |
| 1 | Dan C. Marinescu | [2] [4] |
| 2 | Ryan Stansifer | [1] [2] [3] [4] |
| 3 | Dan Wetklow | [1] |