Peter Scholz

Publication Activity (10 Years)

Years Active: 1996-2015
Publications (10 Years): 1

Top Venues

CoRR

SPLC Workshops

Bioinform.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Timo Itzel, Peter Scholz, Thorsten Maass, Markus Krupp, Jens U. Marquardt, Susanne Strand, Diana Becker, Frank Staib, Harald Binder, Stephanie Roessler, Xin Wei Wang, Snorri Thorgeirsson, Martina Müller, Peter R. Galle, Andreas Teufel
Translating bioinformatics in oncology: guilt-by-profiling analysis and identification of KIF18B and CDCA3 as novel driver genes in carcinogenesis. Bioinform. 31 (2) (2015)
Bernhard Rumpe, Peter Scholz
A manager's view on large scale XP projects. CoRR (2014)
Bernhard Rumpe, Peter Scholz
Scaling the Management of Extreme Programming Projects. CoRR (2014)
Christian Prehofer, Peter Scholz
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination. SPLC Workshops (2013)
Christian Reinhold, Peter Scholz, Werner John, Ulrich Hilleringmann
Efficient Antenna Design of Inductive Coupled RFID-Systems with High Power Demand. J. Commun. 2 (6) (2007)
Peter Scholz
Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. Softw. Syst. Model. 5 (1) (2006)
Judith Hartmann, Sabine Rittmann, Doris Wild, Peter Scholz
Formal incremental requirements specification of service-oriented automotive software systems. SOSE (2006)
Peter Scholz, Ramon Mörl
Eine Informationsbasis für zeitoptimiertes Incident Management. IMF (2003)
Peter Scholz
Incremental design of statechart specifications. Sci. Comput. Program. 40 (1) (2001)
Bernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner
Die Praxis der Softwareentwicklung: Eine Erhebung. Inform. Spektrum 22 (1) (1999)
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
Focusing on Mobility. HICSS (1999)
Peter Scholz
A Refinement Calculus for Statecharts. FASE (1998)
Peter Scholz
From synchronous Specifications to Asynchronous Distributed Implementations. DIPES (1998)
Jan Philipps, Peter Scholz
Formal Verification and Hardware Design with Statecharts. Prospects for Hardware Foundations (1998)
Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
From MSCs to Statecharts. DIPES (1998)
Jan Phillips, Peter Scholz
Compositional Specification of Embedded Systems with Statecharts. TAPSOFT (1997)
Peter Scholz, Erwin Harbeck
Task Assignment for Distributed Computing. APDC (1997)
Peter Scholz, Dieter Nazareth
Communication Concepts for Statecharts: A Semantic Foundation. ARTS (1997)
Jan Philipps, Peter Scholz
Formal Verification of Statecharts with Instantaneous Chain Reaction. TACAS (1997)
Olaf Müller, Peter Scholz
Functional Specification of Real-Time and Hybrid Systems. HART (1997)
Peter Scholz
A Light-Weight Formalism for the Specification of Reactive Systems. SOFSEM (1996)

Peter Scholz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Scholz