MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Marc Voorhoeve" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • An Algebraic Semantics for Hierarchical P/T Nets  
  • by Twan Basten, Marc Voorhoeve — 1995 — Proc. of ICATPN'95, G. DeMichelis and M. Diaz (Eds.). Springer, Lecture Notes in Computer Science 935
  • …An Algebraic Semantics for Hierarchical P/T Nets # Twan Basten and Marc Voorhoeve Department…
  • Cited by 3 (1 self) – Add To MetaCart
  • Process algebra with autonomous actions  
  • by Marc Voorhoeve, Twan Basten — 1995 — Department of Mathematics and Computer Science, Eindhoven University of Technology
  • …Process Algebra with Autonomous Actions Marc Voorhoeve and Twan Basten Eindhoven University…
  • Cited by 1 (0 self) – Add To MetaCart
  • Process Algebra with Autonomous Actions  
  • by Marc Voorhoeve And, Marc Voorhoeve, Twan Basten — 1995 — Department of Mathematics and Computer Science, Eindhoven University of Technology
  • …Process Algebra with Autonomous Actions Marc Voorhoeve and Twan Basten Eindhoven University…
  • Add To MetaCart
  • Verifying generalized soundness for workflow nets  
  • by Kees Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve — 2006 — In Proc. of the 6th International Conference on Perspectives of System Informatics, PSI’2006
  • … Marc Voorhoeve Department of Mathematics and Computer Science Technical University Eindhoven P.O. Box…
  • Cited by 2 (1 self) – Add To MetaCart
  • M.: Consistency in model integration  
  • by Kees Van Hee, Natalia Sidorova, Lou Somers, Marc Voorhoeve — Data & Knowledge Engineering
  • …Abstract Consistency in model integration Kees van Hee *, Natalia Sidorova, Lou Somers, Marc…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB