Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,483,829 papers from all fields of science
Search
Sign In
Create Free Account
Manfred Broy
Manfred Broy (born 10 August 1949 at Landsberg am Lech) is a German computer scientist, and Professor in the Institut für Informatik at the…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
8 relations
Computer scientist
Gesellschaft für Informatik
Gunther Schmidt
International Journal of Software and Informatics
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Infusing Green: Requirements Engineering for Green In and Through Software Systems
Birgit Penzenstadler
RE4SuSy@RE
2014
Corpus ID: 9321687
Environmental sustainability can be applied to software systems in two different understandings — either as green in software…
Expand
Review
2011
Review
2011
A Critical Assessment of Li/MgO-Based Catalysts for the Oxidative Coupling of Methane
S. Arndt
,
G. Laugel
,
+5 authors
R. Schomäcker
2011
Corpus ID: 55298303
Li/MgO is one of the most frequently investigated catalysts for the oxidative coupling of methane. Besides catalytic testing, it…
Expand
Highly Cited
2011
Highly Cited
2011
Enzymatic surface hydrolysis of PET : effect of structural diversity on kinetic properties of cutinases from thermobifida
E. H. Acero
,
D. Ribitsch
,
+11 authors
G. Guebitz
2011
Corpus ID: 54919605
In this study cutinases from Thermobifida cellulosilytica DSM44535 (Thc_Cut1 and Thc_Cut2) and Thermobifida fusca DSM44342…
Expand
2010
2010
Effects of volume mismatch and electronic structure on the decomposition of ScAlN and TiAlN solid solutions
C. Höglund
,
B. Alling
,
+6 authors
L. Hultman
2010
Corpus ID: 1799175
Thin solid films of metastable rocksalt structure (c-) Sc1-xAlxN and Ti1-xAlxN were employed as model systems to investigate the…
Expand
Highly Cited
2007
Highly Cited
2007
The expressive dimension
Christopher Potts
2007
Corpus ID: 32589255
Abstract Expressives like damn and bastard have, when uttered, an immediate and powerful impact on the context. They are…
Expand
Highly Cited
2005
Highly Cited
2005
The verified software repository: a step towards the verifying compiler
J. Bicarregui
,
C. Hoare
,
J. Woodcock
Formal Aspects of Computing
2005
Corpus ID: 17775355
The verified software repository is dedicated to a long-term vision of a future in which all computer systems justify the trust…
Expand
Highly Cited
2004
Highly Cited
2004
Protonation effect on the electronic spectrum of tryptophan in the gas phase
D. Nolting
,
C. Marian
,
R. Weinkauf
2004
Corpus ID: 54884656
In this work we investigate how the presence of a proton changes the electronic spectrum of tryptophan (Trp). For the S0–S1…
Expand
Highly Cited
2000
Highly Cited
2000
Furrowing the Brow May Undermine Perceived Fame: The Role of Facial Feedback in Judgments of Celebrity
F. Strack
,
R. Neumann
2000
Corpus ID: 16104024
Two studies are reported that investigate whether facial expressions may influence judgments of fame. In the current research…
Expand
Highly Cited
1999
Highly Cited
1999
Optimal code selection in DAGs
M. Ertl
POPL '99
1999
Corpus ID: 6400996
We extend the tree parsing approach to code selection to DAGs. In general, our extension does not produce the optimal code…
Expand
Highly Cited
1998
Highly Cited
1998
Efficient JavaVM just-in-time compilation
A. Krall
Proceedings. International Conference on…
1998
Corpus ID: 7473992
Conventional compilers are designed for producing highly optimized code without paying much attention to compile time. The design…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE