MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

88 documents found, showing 1 through 10. Next 10 →

ATOM

An embeddable virtual machine for state space generation
by Michael Weber — Proc. 14th SPIN Workshop, LNCS 4595 (2007
…An Embeddable Virtual Machine for State Space Generation Michael Weber ⋆ Department of Software…
Cited by 2 (1 self) – Add To MetaCart

The Tool Developer View of the Petri Net Baukasten
by Michael Weber — 1999 — Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Gesellschaft ISST
…The Tool Developer View of the Petri Net Baukasten Michael Weber Humboldt-Universitt zu Berlin…
Cited by 6 (3 self) – Add To MetaCart

The Petri Net Kernel: An Infrastructure for Building Petri Net Tools
by Ekkart Kindler, Michael Weber — 1999 — Software Tools for Technology Transfer (STTT
…, Michael Weber Institut fr Informatik Humboldt-Universitt zu Berlin D-10099 Berlin Germany Fax.: (+49) 30…
Cited by 18 (4 self) – Add To MetaCart

The Petri Net Kernel
by Ekkart Kindler, Michael Weber — 2000 — In Petri Net Technologies for Modeling Communication Based Systems, volume 2472 of LNCS
… Kindler and Michael Weber Humboldt-Universitt zu Berlin, Institut fr Informatik, D-10099 Berlin, Germany…
Cited by 8 (3 self) – Add To MetaCart

To Store or Not To Store” reloaded: Reclaiming memory on demand
by Moritz Hammer, Michael Weber — 2006 — In: Formal Methods: Application and Technology (FMICS’2006). LNCS
…“To Store or Not To Store” Reloaded: Reclaiming Memory on Demand Moritz Hammer 1 and Michael Weber…
Cited by 4 (1 self) – Add To MetaCart

G.: Flexible Real-time Meeting Support for Workflow Management Systems
by Michael Weber, Gerhard Partsch — 1997 — Proc. 30th Int. Conf. on System Sciences. Maui
…Flexible Real-time Meeting Support for Workflow Management Systems Michael Weber, Gerhard Partsch…
Cited by 4 (2 self) – Add To MetaCart

Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten
by Claudia Ermel, Michael Weber — 2001
… ? Claudia Ermel 1 and Michael Weber 2 1 Technische Universitt Berlin, Fachbereich Informatik, D-10587…
Cited by 1 (0 self) – Add To MetaCart

A Telecooperation Framework Based on Broker and Trading Services
by Siegfried Höck, Michael Weber — 1997 — Proceedings of the 1st Workshop on Enterprise Distributed Object Computing, EDOC’97
…A Telecooperation Framework Based on Broker and Trading Services Siegfried H��ck, Michael Weber…
Cited by 1 (1 self) – Add To MetaCart

The Dimensions of Petri Nets: The Petri Net Cube
by Ekkart Kindler, Michael Weber — 1998 — Bulletin of EATCS
… The Dimensions of Petri Nets: The Petri Net Cube Ekkart Kindler Michael Weber Humboldt-Universitat zu Berlin…
Cited by 2 (1 self) – Add To MetaCart

A Www Based System For The Support Of Construction Processes
by Michael Weber Department, Michael Weber — 1999 — International Council for Research and Innovation in Building and Construction CIB w78 conference 2002 Aarhus School of Architecture, 12 – 14
…A WWW BASED SYSTEM FOR THE SUPPORT OF CONSTRUCTION PROCESSES Michael Weber Department…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB