Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an

Source URL: www.cs.utexas.edu

• Abstraction
• Data management
• FO
• Model checking
• Abstract interpretation
• Function
• Interpretation
• Mathematics
• Mathematical logic
• Theoretical computer science

On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability Igor Konnov, Helmut Veith, and Josef Widder ?

Source URL: forsyte.at

SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder * Consi

Source URL: forsyte.at

• Probability theory
• Metalogic
• Model theory
• Automata theory

Consumer versus resource control of producer diversity depends on ecosystem type and producer community structure Helmut Hillebrand†‡, Daniel S. Gruner§, Elizabeth T. Borer¶, Matthew E. S. Bracken§储, Elsa E. Cle

Source URL: cmbc.ucsd.edu

• Systems ecology
• Herbivory
• Measurement of biodiversity
• Plants
• Community ecology
• Species richness
• Trophic cascade
• Herbivore
• Food web
• Biology
• Ecology
• Terminology

CCCG 2003, Halifax, Nova Scotia, August 11–13, 2003 On the worst-case complexity of the silhouette of a polytope Helmut Alt ∗

Source URL: www.cccg.ca

• Polyhedron
• Polygon
• Algebraic topology
• Convex polytope
• Abstract polytope
• Geometry
• Polytopes
• Real algebraic geometry

Microsoft Word - 50 Year History of Biometeorology Jan. '07 Version.doc

Source URL: www4.uwm.edu

• Climatology
• International Society of Biometeorology
• Environmental science
• Biometeorology
• American Physiological Society
• Helmut Landsberg
• Botany
• Meteorology
• Atmospheric sciences
• Earth
• Oceanography

Religious Difference James L. Horton Helmut Kittering manages an electronics assembly plant near Chennai, India. About 90 percent of the plant’s 3,000 workers are Hindu, five percent Catholic and five percent Shia Musl

Source URL: www.online-pr.com

• Dove World Quran-burning controversy
• Freedom of expression
• Jason Altmire
• Criticism of religion
• Religion
• Islam
• Aftermath of the September 11 attacks
• Criticism of Islam

Helmut Rohlfing, Norbert Schappacher und Samuel James Patterson Das Zentralarchiv fu asse an der ¨ r Mathematiker-Nachl¨ Nieders¨

Source URL: www.mathguide.de

Minlog – A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto2∗ , Helmut Schwichtenberg2 , and Monika Seisenberger1 2 ∗

Source URL: calco2011.ecs.soton.ac.uk

• Formal languages
• Theoretical computer science

January 20, 2003 Analytic Urns Philippe Flajolet, INRIA Rocquencourt, F. With Kim Gabarro and Helmut Pekari, Barcelona

Source URL: algo.inria.fr

• Stochastic processes
• Urn problem
• Partial differential equations
• Ordinary differential equation
• Stochastic differential equation
• Calculus
• Mathematical analysis
• Differential equations