All publications sorted by title
| 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | 251-275 | 276-300 | 301-325 | 326-350 | 351-375 | 376-400 | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | 576-600 | 601-625 | 626-650 | 651-675 | 676-700 | 701-725 | 726-750 | 751-775 | 776-800 | 801-825 | 826-850 | 851-875 | 876-900 | 901-925 | 926-950 | 951-975 | 976-1000 | 1001-1025 | 1026-1050 | 1051-1075 | 1076-1100 | 1101-1125 | 1126-1150 | 1151-1175 | 1176-1200 | 1201-1225 | 1226-1250 | 1251-1275 | 1276-1300 | 1301-1325 | 1326-1350 | 1351-1375 | 1376-1400 | 1401-1425 | 1426-1450 | 1451-1475 | 1476-1500 | 1501-1525 | 1526-1550 | 1551-1575 | 1576-1600 | 1601-1625 | 1626-1650 | 1651-1675 | 1676-1700 | 1701-1725 | 1726-1750 | 1751-1775 | 1776-1800 | 1801-1825 | 1826-1850 | 1851-1875 | 1876-1900 | 1901-1925 | 1926-1950 | 1951-1975 | 1976-2000 | 2001-2025 | 2026-2050 | 2051-2075 | 2076-2100 | 2101-2125 | 2126-2150 | 2151-2175 | 2176-2200 | 2201-2225 | 2226-2250 | 2251-2275 | 2276-2300 | 2301-2325 | 2326-2350 | 2351-2375 | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | 2551-2575 | 2576-2600 | 2601-2625 | 2626-2650 | 2651-2675 | 2676-2700 | 2701-2725 | 2726-2750 | 2751-2764 |
C
| , and , Correct, Reactive Robot Control from Abstraction and Temporal Logic Specifications (2011), in: Special Issue of the IEEE Robotics and Automation Magazine on Formal Methods for Robotics and Automation, 18:3(65--74) |
| and , Correction and stabilization of smooth particle hydrodynamics methods with applications in metal forming simulations (2000), in: Int. J. Numer. Methods Eng, 47:6(1189{\~n}1214) |
| and , Correctness by Construction: developing a commercial secure system (2002), in: IEEE Software, 19(18-25) |
| and , Cosserat Nets (2009), in: IEEE Transactions on Visualization and Computer Graphics, 15:2(325-338) |
[URL] |
| , and , Coupled Detection and Trajectory Estimation for Multi-Object Tracking, in: cvpr, 2007 |
| , , and , Coupled Object Detection and Tracking from Static Cameras and Moving Vehicles (2008), in: IEEE Transactions on Pattern Analysis and Machine Intelligence, 30:10(1683-1698) |
| and , Covariance Recovery from a Square Root Information Matrix for Data Association (2009), in: Journal of Robotics and Autonomous Systems, RAS, 57:12(1198-1210) |
| , Coverage for robotics - a survey of recent results. (2001), in: Annals of Mathematics and Artifical Intelligence, 31 |
| , and , Cross cultural similarities in topological reasoning, in: COSIT 2007, pages 32-46, Springer, 2007 |
| and , Cross-Domain Transfer for Reinforcement Learning, in: Proceedings of {ICML}, 2007 |
|
| and , Crowdsourced bi-directional disaster reporting and alerting on smartphones in Lao PDR, in: ISCRAM (Information Systems for Crisis Response and Management) Vietnam 2013 Conference, 2013 |
| , and , Current map-matching algorithms for transport applications: State-of-the art and future research directions (2007), in: Transportation Research Part C: Emerging Technologies, 15:5(312--328) |
| , Customer Relationship Management zur Vertriebsunterstützung, Universität Bremen; http://www.uni-bremen.de, 2007 |
| and , Customizing Qualitative Spatial and Temporal Calculi, in: Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI-07), 2007 |
|
| , Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge (2011), in: SIGSAM Bull., 44(123--124) |
[DOI] |
D
| , , and , Data Association for Multiple Robot Navigation: a Graph Theoretic Approach, in: icra, San Francisco, CA, USA, pages 2512-2517, 2000 |
| and , Data Association in Stochastic Mapping Using the Joint Compability Test (2001), in: IEEE Transactions on Robotics and Automation, 17(890-897) |
| and , Data Complexity in the {\it EL} Family of Description Logics, in: LPAR, pages 333-347, 2007 |
[DOI] |
| and , Data Quality Assurance in Volunteered Geographic Information, in: Proceedings of the 8th International Conference on Geographic Information Science - GIScience 2014, Vienna, Austria, pages 126-141, Springer, 2014 |
[URL] |
| , and , Data-dependent MLS for faithful surface approximation, in: SGP '07: Proceedings of the fifth Eurographics symposium on Geometry processing, Barcelona, Spain, pages 59--67, Eurographics Association, 2007 |
| , , , , and , Database of Multichannel In-Ear and Behind-the-Ear Head-Related and Binaural Room Impulse Responses (2009), in: EURASIP Journal on Advances in Signal Processing, 2009:1(1--10) |
[DOI] [URL] |
| , and , DDF-SAM: Fully distributed SLAM using Constrained Factor Graphs, in: iros, pages 3025 -3030, 2010 |
[DOI] |
| , Decentralized Estimation and Control for Multisensor Systems, CRC Press, 1998 |
| , Decidability and Undecidability Results for Planning with Numerical State Variables, in: Proc. of the Int. Conf. on Artificial Intelligence Planning and Scheduling, pages 44-53, 2002 |
| , , and , Decidable Optimization Problems for Database Logic Programs (Preliminary Report), in: STOC, pages 477-490, 1988 |
[DOI] |
| 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | 251-275 | 276-300 | 301-325 | 326-350 | 351-375 | 376-400 | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | 576-600 | 601-625 | 626-650 | 651-675 | 676-700 | 701-725 | 726-750 | 751-775 | 776-800 | 801-825 | 826-850 | 851-875 | 876-900 | 901-925 | 926-950 | 951-975 | 976-1000 | 1001-1025 | 1026-1050 | 1051-1075 | 1076-1100 | 1101-1125 | 1126-1150 | 1151-1175 | 1176-1200 | 1201-1225 | 1226-1250 | 1251-1275 | 1276-1300 | 1301-1325 | 1326-1350 | 1351-1375 | 1376-1400 | 1401-1425 | 1426-1450 | 1451-1475 | 1476-1500 | 1501-1525 | 1526-1550 | 1551-1575 | 1576-1600 | 1601-1625 | 1626-1650 | 1651-1675 | 1676-1700 | 1701-1725 | 1726-1750 | 1751-1775 | 1776-1800 | 1801-1825 | 1826-1850 | 1851-1875 | 1876-1900 | 1901-1925 | 1926-1950 | 1951-1975 | 1976-2000 | 2001-2025 | 2026-2050 | 2051-2075 | 2076-2100 | 2101-2125 | 2126-2150 | 2151-2175 | 2176-2200 | 2201-2225 | 2226-2250 | 2251-2275 | 2276-2300 | 2301-2325 | 2326-2350 | 2351-2375 | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | 2551-2575 | 2576-2600 | 2601-2625 | 2626-2650 | 2651-2675 | 2676-2700 | 2701-2725 | 2726-2750 | 2751-2764 |