The complexity of generalized satisfiability for linear temporal logic

Bauland, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2007, Foundations of Software Science and Computational Structures - 10th International Conference, FOSSACS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007. Springer Verlag, S. 48-62 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4423 LNCS).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Workplace learning: How we keep track of relevant information

Bischoff, K., Herder, E. & Nejdl, W., 2007, Creating New Learning Experiences on a Global Scale: Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Proceedings. Springer Verlag, S. 438-443 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4753 LNCS).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Fuzzy motivations for evolutionary behavior learning by a mobile robot

Arredondo, V. T., Freund, W., Muñoz, C., Navarro, N. & Quirós, F., 2006, Advances in Applied Artificial Intelligence - 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Proceedings. Springer Verlag, S. 462-471 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4031 LNAI).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Semantic web policies: A discussion of requirements and research issues

Bonatti, P. A., Duma, C., Fuchs, N., Nejdl, W., Olmedilla, D., Peer, J. & Shahmehri, N., 2006, The Semantic Web: Research and Applications: 3rd European Semantic Web Conference, ESWC 2006 Proceedings. Springer Verlag, S. 712-724 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4011 LNCS).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Elastoplasticity by mathematical programming methods

Krabbenhøft, K., Lyamin, A. V., Sloan, S. W. & Wriggers, P., 1 Dez. 2005, Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII. S. 1106-1109 4 S. (Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII; Nr. PART 2).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Shape optimization of elasto-plastic structures with shakedown constraints

Wiechmann, K., Stein, E. & Wriggers, P., 1 Dez. 2005, Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII. S. 910-913 4 S. (Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII; Nr. PART 2).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Perpret: A performance prediction tool for massively parallel systems

Brehm, J., Madhukar, M., Smirni, E. & Dowdy, L., 9 Juni 2005, Quantitative Evaluation of Computing and Communication Systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools 1995 and 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems MMB 1995, Proceedings. Beilner, H. & Bause, F. (Hrsg.). Springer Verlag, S. 284-298 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 977).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Quantum Information Processing with Atoms in Optical Micro-Structures

Dumke, R., Volk, M., Müther, T., Buchkremer, F. B. J., Ertmer, W. & Birkl, G., 17 Feb. 2005, Quantum Information Processing. 2 Aufl. Wiley-Blackwell, S. 287-297 11 S.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review

A micro-macro approach for cement-based construction materials

Hain, M. & Wriggers, P., 2005, Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII. S. 1162-1165 4 S. (Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII; Nr. PART 2).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

A three-dimensional contact element based on the moving friction cone approach and the elliptical Coulomb law

Krstulović-Opara, L. & Wriggers, P., 2005, Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII. S. 827-830 4 S. (Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII; Nr. PART 2).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Characterization of materials with microheterogeneous structure

Wriggers, P., Loehnert, S. & Hain, M., 2005, Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII. PART 1 Aufl. S. 39-42 4 S. (Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII; Nr. PART 1).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

On the explicit simulation of concrete cracking using one enriched finite element method

Reese, S. H. & Wriggers, P., 2005, Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII. S. 902-905 4 S. (Computational Plasticity: Fundamentals and Applications - Proceedings of the 8th International Conference on Computational Plasticity, COMPLAS VIII; Nr. PART 2).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

The personal publication reader

Abel, F., Baumgartner, R., Brooks, A., Enzi, C., Gottlob, G., Henze, N., Herzog, M., Kriesell, M., Nejdl, W. & Tomaschewski, K., 2005, The Semantic Web, ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Proceedings. S. 1050-1053 4 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3729 LNCS).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review