Jrg Bauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2005–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | IROS | Unified GPU voxel collision detection for mobile manipulation planning. | Andreas Hermann, Florian Drews, Jrg Bauer, Sebastian Klemm, Arne Roennau, Rdiger Dillmann |
| 2008 | SAS | Relational Analysis of Correlation. | Jrg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard |
| 2007 | ATVA | Mind the Shapes: Abstraction Refinement Via Topology Invariants. | Jrg Bauer, Tobe Toben, Bernd Westphal |
| 2007 | SAS | Static Analysis of Dynamic Communication Systems by Partner Abstraction. | Jrg Bauer, Reinhard Wilhelm |
| 2005 | POPL | A semantics for procedure local heaps and its abstractions. | Noam Rinetzky, Jrg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |