Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,879,418 papers from all fields of science
Search
Sign In
Create Free Account
LURCH
LURCH is a tool for software design debugging that uses a nondeterministic algorithm to quickly explore the reachable states of a software model. By…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Formal verification
Nondeterministic algorithm
Software testing
Software verification
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
On The Fisher Effect: A Review
M. Bosupeng
2016
Corpus ID: 56326918
The Fisher effect proposes that in the long run, nominal interest rates trend positively with inflation. In numerous studies the…
Expand
2015
2015
Untersuchungen zum Virulenzspektrum des Echten Mehltaus bei Hopfen ( Sphaerotheca humuli ) und zur Wirksamkeit rassenspezifischer Resistenzgene.
E. Seigner
,
Stefan Seefelder
,
F. Felsenstein
2015
Corpus ID: 88663455
Infektionen mit dem Echten Mehltau ( Sphaerotheca humuli Burr.) gefahrden in zunehmendem Mase den Qualitatshopfenanbau in Europa…
Expand
2011
2011
Pay bursts only once holds for (some) non-FIFO systems
J. Schmitt
,
Nicos Gollan
,
Steffen Bondorf
,
I. Martinovic
Proceedings IEEE INFOCOM
2011
Corpus ID: 3820386
Non-FIFO processing of flows by network nodes is not a rare phenomenon. Unfortunately, the state-of-the-art analytical tool for…
Expand
2011
2011
As scholars undertake a great migration to online publishing, altmetrics stands to provide an academic measurement of twitter and other online activity
Jason Priem
2011
Corpus ID: 155479896
The internet seems to have transformed all industries except one: scholarly communication. Jason Priem has studied academics’ use…
Expand
2007
2007
The stem cell race Cynthia Fox…
A. Harding
The Lancet
2007
Corpus ID: 54341930
2004
2004
Informal Legal Systems in Latin America
B. Barton
2004
Corpus ID: 38871129
2002
2002
Up from Dragons: The Evolution of Human Intelligence
J. Skoyles
,
D. Sagan
2002
Corpus ID: 15579512
In 1977 Carl Sagan published "The Dragons of Eden". On the 25th anniversary of its publication, neuroscientist John Skoyles has…
Expand
2001
2001
Kierkegaard’s Socrates: a Venture in Evolutionary Theory
M. Rubenstein
2001
Corpus ID: 32739118
This essay explores the shifts in Kierkegaard’s conceptions of Socrates, looking to produce a more nuanced reading of…
Expand
Review
1999
Review
1999
Self-Organizing Systems Research in the Social Sciences
N. Contractor
1999
Corpus ID: 7772379
The advent of self-organizing systems perspectives – a pan-disciplinary metatheory – has brought with it a burgeoning interest in…
Expand
1936
1936
Licht und Transpirationswiderstand
Gerhard Pyrkosch
Protoplasma
1936
Corpus ID: 23480627
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE