Searching for authors named "Michael Jorgensen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

Monadic Second-order Logic for Parameterized Verification
by Jakob Jensen, Jakob Jensen, Michael Jørgensen, Michael Jrgensen, Nils Klarlund, Nils Klarlund — 1994 — Basic Research in Computer Science
… Jakob Jensen Michael Jrgensen Nils Klarlund BRICS Report Series RS-94-10 ISSN 0909-0878 May 1994…
Cited by 2 (1 self) – Add To MetaCart

Automatic Verification of Pointer Programs using Monadic Second-Order Logic
by Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach, Nils Klarlund — 1997 — In Proc. ACM PLDI, Las Vegas, NV
…, Michael E. Jrgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar…
Cited by 52 (9 self) – Add To MetaCart

VIRTUAL REALITY: ITS USEFULNESS FOR ERGONOMIC ANALYSIS
by R G. Ingalls, M. D. Rossetti, J. S. Smith, B. A. Peters, Lawrence E. Whitman, Michael Jorgensen, Kuresh Hathiyari, Don Malzahn
… Michael Jorgensen Kuresh Hathiyari Don Malzahn Department of Industrial Engineering & Manufacturing 120…
Add To MetaCart

MONA: Monadic Second-Order Logic in Practice
by Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders B. Sandholm — 1995 — IN PRACTICE, IN TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, FIRST INTERNATIONAL WORKSHOP, TACAS '95, LNCS 1019
…. Henriksen Ole J. L. Jensen Michael E. Jrgensen Nils Klarlund Robert Paige Theis Rauhe Anders B. Sandholm…
Cited by 87 (18 self) – Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB