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 |
P
| and , Processes of segmentation and linearization in describing events, in: {R}epresentations and {P}rocesses in {L}anguage {P}roduction, {DUV}, {W}estdeutscher {V}erlag, 1999 |
| and , Program Sketching via CTL* Model Checking, in: Model Checking Software (SPIN), pages 126-143, Springer, 2011 |
| , , , and , Project I1-OntoSpace: Ontologies for Spatial Communication, in: DiaBruck, 7th Workshop on the Semantics and Pragmatics of Dialogue, Proceedings, Sept. 4th-6th 2003, pages 163--4, 2003 |
| , Projected Texture Stereo, in: ICRA, 2010 |
| , Prolegomena to a Theory of Mechanized Formal Reasoning (1980), in: aij, 13:1-2(133-170) |
| and , Propagation of Distance and Orientation Intervals, in: Proceedings of 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3245-3250, 2003 |
| , and , Properties and complexity of formal inter-agent dialogues (2003), in: Journal of Logic and Computation, 13:3(347-376) |
| and , Protecting AJAX code using secure communication, in: International Conference on Information and Communication Systems,Jordan, Jan., JUST ; http://www.icics.info/icics/Proceeding/ICICS.paper/27.pdf, 2011 |
| , , , , and , Protocols from perceptual observations (2005), in: Artificial Intelligence, 167:1-2(103--136) |
| and , Providing individual route instructions for indoor wayfinding in complex, multi-level buildings, in: Proceedings of the 5th Geographic Information Days, pages 241--246, IfGIprints, 2007 |
| , Psychoacoustic Effects in Wave Field Synthesis Applications, in: Systematic Musicology: Empirical and Theoretical Studies, pages 153--162, Peter Lang, 2011 |
[DOI] [URL] |
| , and , Psychoacoustic sonification design for navigation in surgical interventions, Boston, MA, pages 050005, Acoustical Society of America and European Acoustics Association, 2017 |
[DOI] [URL] |
| and , Psychoacoustic Sonification for Surgical Applications (Abstract) (2017), in: The Journal of the Acoustical Society of America, 141:5 |
[DOI] [URL] |
| and , Psychoacoustic Sound Field Synthesis for Musical Instrument Radiation Characteristics (2017), in: J. Audio Eng. Soc., 65:6(482--496) |
[DOI] [URL] |
| and , Psychoacoustically motivated sonification for surgeons, in: Computer Assisted Radiology and Surgery (CARS), Barcelona, 2017 |
[URL] |
| , , , and , Psychological Validity of Qualitative Spatial Reasoning in One Dimension, in: Spatial Cognition and Computation, pages 167--189, 2004 |
| , , , and , Psychological Validity of Qualitative Spatial Reasoning in One Dimension (2003), in: Journal of Cognitive Neuroscience, 4:2(167-189) |
| and , Pump it up: Computer animation of a biomechanically based model of muscle using the finite element method, in: Proceedings of ACM SIGGRAPH, 1992 |
| , , and , Purely auditory Online-adaptation of auditory-motor maps, in: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS 2007., pages 2015--2020, IEEE, 2007 |
[DOI] [URL] |
| , and , Pushing the EL Envelope, in: IJCAI, pages 364-369, 2005 |
[URL] |
| , and , Putting Objects in Perspective, in: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2006 |
Q
| and , QHTI: An Approach for Answering Qualitative Spatial Queries in Large Databases Using a Hash Table Data Structure, 16th AGILE Conference on Geographic Information Science; Leuven, Belgium; http://www.agile-online.org/, 2013 |
|
| , and (eds.), QR 2013 - 27th International Workshop on Qualitative Reasoning (workshop report), SFB/TR8 Report No. 035-11/2013, 2013 |
|
| , Qualitative action theory: A comparison of the semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap approach to agency, in: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pages 70--81, Springer; Berlin; http://www.springer.de, 2004 |
[URL] |
| and (eds.), Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings, 2006 |
| 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 |