PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Berger, Ulrich"

Author of the publication

copydeleteadd this publication to your clipboard
Continuous Lattices and Domains.

, , , , , , and . Studia Logica, 86 (1): 137-138 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Uwe Berger University of Stuttgart

Natalie Berger University of Stuttgart

Jonathan Berger University of Stuttgart

Peter Berger University of Stuttgart

Julia Berger University of Stuttgart

 

Other publications of authors with the same name

Functional concepts in C++., , and . Trends in Functional Programming, volume 7 of Trends in Functional Programming, page 163-179. Intellect, (2006)A coinductive approach to verified exact real number computation., and . ECEASST, (2009)A Coinductive Approach to Computing with Compact Sets., and . CoRR, (2015)Extracting verified decision procedures: DPLL and Resolution., , , and . Logical Methods in Computer Science, (2015)Training CNNs from Synthetic Data for Part Handling in Industrial Environments., , , , and . CASE, page 624-629. IEEE, (2018)Irrational behavior in the Brown-von Neumann-Nash dynamics., and . Games and Economic Behavior, 56 (1): 1-6 (2006)Intelligent PC-based user control interface for on-line correction of robot programs., and . ICARCV, page 276-281. IEEE, (2002)Knowledge Management for Ramp-Up - Approach for Knowledge Management for Ramp-Up in the Automotive Industry., , and . ICEIS (2), page 323-330. (2006)Dynamic cycle times for adaptive manufacturing control in automotive flow shops., , , and . ICAT, page 1-5. IEEE Computer Society, (2013)Das Konzept eines Engineering Portals zur benutzerzentrierten Unterstützung der Anlagenplanung (The Concept of an Engineering Portal for the User-Centred Plant Engineering Support)., , and . i-com, 5 (1): 59-71 (2006)