Christopher Rauh

Learn More
We describe a prototype tool, hugo/RT, that is designed to automatically verify whether the timed state machines in a UML model interact according to scenarios specified by time-annotated UML collaborations. Timed state machines are compiled into timed automata that exchange signals and operations via a network automaton. A collaboration with time(More)
We introduce coordination failures driven by beliefs regarding the presence of taste discriminators as a channel of discrimination in activities requiring the input of more than one individual for production to occur. We show discrimination can persist forever under perfectly observable ability, when taste for discrimination has died out, and under absence(More)
This article provides a new methodology to predict conflict by using newspaper text. Through machine learning, vast quantities of newspaper text are reduced to interpretable topic shares. We use changes in topic shares to predict conflict one and two years before it occurs. In our predictions we distinguish between predicting the likelihood of conflict(More)
  • Sekyu Choi, Arnau Valladares-Esteban, +12 authors Matt Delventhal
  • 2015
In this paper we study unemployment insurance in a framework where the main source of heterogeneity among agents is the type of household they live in: some agents live alone while others live with their spouses as a family. Our exercise is motivated by the fact that married individuals can rely on spousal income to smooth labor market shocks, while singles(More)
  • 1