Rainer Weber

According to our database1, Rainer Weber authored at least 23 papers between 1989 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Ultra-Low-Noise 50-nm InGaAs mHEMT Technology and MMICs for Room Temperature and Cryogenic Applications.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023

Single-Ended Resistive Down-Converter MMICs in InGaAs mHEMT and GaN-HEMT Technologies for D-Band (110-170 GHz) Applications.
Proceedings of the IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium, 2023

2015
Towards MMIC-Based 300GHz Indoor Wireless Communication Systems.
IEICE Trans. Electron., 2015

2014
Earlier Switching from Intravenous to Oral Antibiotics Due to eReminders.
Proceedings of the AMIA 2014, 2014

2006
Vermittlung von Softwaretechnik-Konzepten betrieblicher Anwendungssoftware am Beispiel von SAP-Software.
Proceedings of the HDI 2006, 2006

2003
Workflow-Interoperabilität über das Internet - mit dem Standard Wf-XML.
Wirtschaftsinf., 2003

A new technique for contactless current contrast imaging of high frequency signals.
Microelectron. Reliab., 2003

2002
Contactless current and voltage measurements in integrated circuits by using a needle sensor.
Microelectron. Reliab., 2002

Simultaneous IC-internal voltage and current measurements via a multi lever Scanning Force Microscope.
Microelectron. Reliab., 2002

2000
Workflow Interoperability Standards for the Internet.
IEEE Internet Comput., 2000

1996
Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm.
Formal Aspects Comput., 1996

1995
Modellierung und Ausführung flexibler Geschäftsprozesse mit SAP Business Workflow 3.0.
Proceedings of the GISI 95, 1995

1993
Assumption, commitment rules for networks of asynchronously communicating agents
Forschungsberichte, TU Munich, 1993

Specification: Distributed Systems.
Proceedings of the Program Development by Specification and Transformation, 1993

FOCUS: A Formal Design Method for Distributed Systems.
Proceedings of the Parallel Computer Architectures: Theory, 1993

1992
Development and implementation of a communication protocol: an exercise in FOCUS
Forschungsberichte, TU Munich, 1992

From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development.
Proceedings of the Protocol Specification, 1992

An Informal Introduction to the Design Method FOCUS.
Proceedings of the Formale Methoden für verteilte Systeme, 1992

1991
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme.
PhD thesis, 1991

Reply to the Comments by Martín Abadi et al.
Inf. Process. Lett., 1991

1990
Safety and Liveness From a Methodological Point of View.
Inf. Process. Lett., 1990

1989
Sicherheit und Lebendigkeit - Das aktuelle Schlagwort.
Inform. Spektrum, 1989

Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems.
Proceedings of the Algebraic Methods II: Theory, 1989


  Loading...