( en | de | ru )

 

Disambiguation of "Stansifer, Ryan"

Author of the publication

copydeleteadd this publication to your clipboard
A Parallel Algorithm for Computing Invariants of Petri Net Models.

, , and . PNPM, page 136-143. IEEE Computer Society, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Judith Ryan

Aisling Ryan

Ryan Beveridge

Lawrence John Ryan

John Ryan

 

Other publications of authors with the same name

Using ML as a Command Language., and . Great Lakes Computer Science Conference, volume 507 of Lecture Notes in Computer Science, page 371-377. Springer, (1989)"Stacking the Deck" Attack on Software Updates: Solution by Distributed Recommendation of Testers., , , , and . IAT, page 293-300. IEEE Computer Society, (2013)978-1-4799-2902-3.ML primer.. Prentice Hall, (1992)Book Review: Semantics of Programming Languages: Structures and Techniques. By Carl A. Gunter. (MIT Press, 1992. xviii+419pp. ISBN 0-262-07143-6 $37.50).. SIGACT News, 24 (1): 28-29 (1993)An integrated software environment for reuse., , and . TRI-Ada, page 186-197. ACM, (1988)Polymorphic type inference for the relational algebra in the functional database programming language neon., and . ACM Southeast Regional Conference, page 673-678. ACM, (2006)Solving Diagramless Crossword Puzzles., and . ICTAI, page 4-10. IEEE Computer Society, (1994)A Functional Language with Classes., , and . Great Lakes Computer Science Conference, volume 507 of Lecture Notes in Computer Science, page 364-370. Springer, (1989)A model of CPS translation and interpretation., and . ACM Southeast Regional Conference, page 326-331. ACM, (2004)Type Inference with Subtypes.. POPL, page 88-97. ACM Press, (1988)