GMD-Publikationen 2000 Scientific Publications 2000 - DoCIS
GMD-Publikationen 2000 Scientific Publications 2000 - DoCIS
GMD-Publikationen 2000 Scientific Publications 2000 - DoCIS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>GMD</strong> <strong>Publications</strong> <strong>2000</strong><br />
Hannebauer, Markus<br />
How to Model and Verify Concurrent Algorithms for Distributed CSPs*<br />
<strong>2000</strong>. - S. 510-514. - (Principles and practice of constraint programming - CP <strong>2000</strong> /<br />
Dechter, Rina [Hrsg.] (Lecture notes in computer science))<br />
Hannebauer, Markus<br />
Multiphase Consensus Communication in Collaborative Problem Solving<br />
<strong>2000</strong>. - S. 131-146. - (Communication-Based Systems / Hommel, G.[Hrsg.])<br />
URL: http://www.first.gmd.de/~hannebau/ps/hannebauer_cbs<strong>2000</strong>.ps<br />
Hannebauer, Markus<br />
On Proving Properties of Concurrent Algorithms for Distributed CSPs<br />
<strong>2000</strong>. - (Proceedings of the First International Workshop on Distributed Constraint Satisfaction<br />
/ Silaghi, Marius[Hrsg.])<br />
URL: http://www.first.gmd.de/~hannebau/ps/hannebauer_cpdcsp<strong>2000</strong>.ps<br />
Hannebauer, Markus<br />
Their Problems are my Problems - The Transition between Internal and External<br />
Conflicts<br />
<strong>2000</strong>. - S. 63-109. - (Conflicting Agents - Conflict Management in Multi-Agent Systems<br />
/ Tessier, Catherine[Hrsg.] ; Vol. 1)<br />
Hannebauer, Markus ; Münch, Ines<br />
Transforming Object-Oriented Domain Models into Declarative CLP Expressions<br />
<strong>2000</strong>. - S. 65-76. - (14. [Vierzehnter] Workshop Logische Programmierung / Bry, Francois[Hrsg.]<br />
(<strong>GMD</strong> report ; 90))<br />
URL: http://www.first.gmd.de/~hannebau/ps/hannebauer_wlp99.ps<br />
Hannebauer, Markus[Hrsg.] ; Wendler, Jan[Hrsg.] ; Pagello, Enrico[Hrsg.]<br />
Proceedings of the ECAI-<strong>2000</strong> Workshop on ‚Balancing Reactivity and Social Deliberation<br />
in Multi-Agent Systems‘: 14th European Conference on Artificial Intelligence<br />
(ECAI-<strong>2000</strong>) August 22nd <strong>2000</strong>, Berlin, Germany<br />
Berlin , <strong>2000</strong><br />
Jiang, Zhengyu<br />
Parallel Quantum Chemistry Computation in a high-level data-parallel Programming<br />
Environment PROMISE<br />
<strong>2000</strong>. - S. 2749-2756. - (Proceedings of International Conference of Parallel and Distributed<br />
Processing Techniques and Applications (PDPTA‘<strong>2000</strong>) / Arabnia,<br />
H.R.[Hrsg.])(Proceedings of the International Conference on Parallel and Distributed<br />
Processing Techniques and Applications (Proceedings of International Conference of<br />
Parallel and Distributed Processing Techniques and Applications (PDPTA‘<strong>2000</strong>) / Arabnia,<br />
H.R.[Hrsg.]))<br />
Jiang, Zhengyu<br />
PC Cluster: A Suitable Platform for Parallel Evaluation of SCF Quantum chemistry<br />
comutations<br />
<strong>2000</strong>. - S. 2787-2794. - (Proceedings of International Conference of Parallel and Distributed<br />
Processing Techniques and Applications (PDPTA‘<strong>2000</strong>) / Arabnia,<br />
H.R.[Hrsg.])(Proceedings of the International Conference on Parallel and Distributed<br />
38