Ifi technical report series

Contentshow allhide all

1. 2017

   • Vol. 2016: Scalable Multi-Agent Simulation based on MapReduce

   • Vol. 2016: Agent-based simulation for software development processes

2. 2016

   • Vol. 2016: LightJason: a BDI Framework inspired by Jason

3. 2015

   • Vol. 2015: Über die Eignung von Clouds für das Hochleistungsrechnen (HPC)

4. 2014

   • Vol. 2014: MATES Doctoral Consortium 2014

   • Vol. 2014: Hochleistungsrechnen und Echtzeit in virtualisierten Maschinen und Clouds : die Intel Virtualisierungshilfen

   • Vol. 2014: A scalable runtime platform for multiagent-based simulation

     Ahlbrecht, Tobias; Dix, Jürgen; Köster, Michael; Kraus, Philipp; Müller, Jörg P.
5. 2013

   • The Multi-Agent Programming Contest 2012 edition

     Köster, Michael; Schlesinger, Federico; Dix, Jürgen

   • Analyse der technischen Kollaborationsgrundlage ausgewählter NTH-Forschungsprojekte

     Wittek, Stefan; Hasenfuß, Alexander; Lange, Gerald; Pinkwart, Niels
6. 2012

   • Web 2.0-basierte Alumni-Software

     Tadge, Jan-Frederik; Pinkwart, Niels

   • Multi-Agent Programming Contest 2011 edition

     Behrens, Tristan; Dix, Jürgen; Hübner, Jomi; Köster, Michael; Schlesinger, Federico

   • Multi-Agent Programming Contest 2011 edition

     Behrens, Tristan; Dix, Jürgen; Köster, Michael; Schlesinger, Federico

   • Defining domain specific operational semantics for activity diagrams

     Knieke, Christoph; Schindler, Björn; Goltz, Ursula; Rausch, Andreas

   • A game theoretic approach for stable network topologies in opportunistic networks

     Bulling, Nils; Köster, Michael; Popovici, Matei
7. 2010

   • Where logic and agents meet

     Dix, Jürgen; Fisher, Michael

   • Topographic mapping of large dissimilarity data sets

     Hammer, Barbara; Hasenfuss, Alexander

   • The Multi-Agent Programming Contest from 2005-2010: from gold collecting to herding cows

     Behrens, Tristan; Dastani, Mehdi; Dix, Jürgen; Köster, Michael; Novák, Peter

   • Software-orientierter Programmierstil bei VHDL

     Richter, Harald

   • Putting APL platforms to the test: agent similarity and execution performance

     Behrens, Tristan; Hindriks, Koen; Hübner, Jomi; Dastani, Mehdi

   • On the (un-)decidability of model checking resource-bounded agents

     Bulling, Nils; Farwer, Berndt

   • Model checking coalition logic on implicit models is delta P 3 -complete

     Bulling, Nils

   • Mastering project-controlling using a process-integrated project cockpit /Marco Kuhrmann; Jürgen Münch; Andreas Rausch

     Kuhrmann, Marco; Münch, Jürgen; Rausch, Andreas

   • Flattr this! Explorative Evaluation von Social (Micro-)Payments als alternatives Bezahlmodell

     Loll, Frank; Mumme, Christopher; Pinkwart, Niels

   • Fast adaptive silhouette area based template matching

     Mohr, Daniel; Zachmann, Gabriel

   • Developing a power supply solution for a mobile robot

     Giesemann, Carsten; Kemnitz, Günter

   • An approach and design pattern for intra-application scheduling

     Fritzsche, René; Ristig, Christian; Siemers, Christian

   • Abstraction for model checking modular interpreted systems over ATL

     Köster, Michael; Lohmann, Peter
8. 2009

   • What agents can probably enforce

     Bulling, Nils; Jamroga, Wojciech

   • Towards an environment interface standard for agent-oriented programming

     Behrens, Tristan M.; Dix, Jürgen; Hindriks, Koen V.

   • The environment interface standard for agent-oriented programming platform integration guide and interface implementation guide

     Behrens, Tristan M.; Dix, Jürgen; Hindriks, Koen V.

   • Properties of dual pseudo-splines

     Dong, Bin; Dyn, Nira; Hormann, Kai

   • Proceedings of the 10th international workshop on computational logic in multi-agent systems 2009

     Dix, Jürgen; Fisher, Michael; Novák, Peter

   • Model checking ATL+ is harder than it seemed

     Bulling, Nils; Jamroga, Wojciech

   • Maintaining sequences of knowledge bases in ASP

     Guadarrama, J. C. Acosta

   • ICOLE 2009

     Blazewicz, Jacek; Ecker, Klaus; Hammer, Barbara

   • Elektronik und Datenkommunikation im Automobil

     Richter, Harald

   • Distributed decision making for metaschedulers

     Heilgeist, Janko; Soddemann, Thomas; Richter, Harald

   • Continuous edge gradient-based template matching for articulated objects

     Mohr, Daniel; Zachmann, Gabriel

   • Communicating rational agents: semantics and verification

     Bulling, Nils; Hindriks, Koen V.

   • A novel approach to workflow scheduling in MediGRID

     Sommerfeld, Dietmar; Richter, Harald
9. 2008

   • Update operation in ASP revisited

     Guadarrama, J. C. Acosta

   • Towards more comprehensive measurable dependability

     Kemnitz, Günter; Ramadan, Hossam A.; Giesemann, Carsten

   • Technical foundations of the agent contest 2008

     Behrens, Tristan M.; Dix, Jürgen; Dastani, Mehdi; Köster, Michael; Novak, Peter

   • Strategic commitment and release in logics for multi-agent systems (extended abstract)

     Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech

   • Reasoning about temporal properties of rational play

     Bulling, Nils; Jamroga, Wojciech; Dix, Jürgen

   • Proceedings of the Conference on Software & Systems Engineering Essentials 2008 (SEE 2008)

     Friedrich, Jan; Rausch, Andreas; Sihling, Marc

   • Matrix adaptation in discriminative vector quantization

     Schneider, Petra; Biehl, Michael; Hammer, Barbara

   • Local matrix adaptation in topographic neural maps

     Arnonkijpanich, Banchar; Hammer, Barbara; Hasenfuss, Alexander

   • Inner sphere trees

     Weller, Rene; Zachmann, Gabriel

   • ICOLE - 2008

     Błazewicz, Jacek; Ecker, Klaus; Hammer, Barbara; Mokbel, Bassam; Börger, Wibke; Hasenfuss, Alexander

   • Efficient evaluation of interpolating cubic polynomials

     Hormann, Kai

   • Description logic for coalitions

     Seylan, Inanç; Jamroga, Wojciech

   • Communication platform for open heterogeneous MASs

     Novák, Peter

   • A simpler semantics for abilities under uncertainty

     Jamroga, Wojciech; Ågotnes, Thomas; van der Hoek, Wiebe
10. 2007

    • Stepwise enabling of AUGUSTUS for MediGRID

      Sommerfeld, Dietmar; Lingner, Thomas; Richter, Harald

    • SEE 2007 Conference Proceedings

      Friedrich, Jan; Rausch, Andreas; Sihling, Marc

    • Relational topographic maps

      Hammer, Barbara; Hasenfuss, Alexander

    • Polynomial reproduction by symmetric subdivision schemes

      Dyn, Nira; Hormann, Kai; Sabin, Malcolm A.; Shen, Zuowei

    • Neural gas for surface reconstruction

      Melato, Markus; Hammer, Barbara; Hormann, Kai

    • Model checking with logic based petri nets

      Behrens, Tristan M.; Dix, Jürgen

    • Model checking rational play

      Jamroga, Wojciech; Bulling, Nils

    • Markov temporal logic

      Jamroga, Wojciech

    • LTL model checking with logic based petri nets

      Behrens, Tristan M.; Dix, Jürgen

    • Knowledge and strategic ability for model checking: a refined approach

      Jamroga, Wojciech

    • ICOLE - 2007

      Błazewicz, Jacek; Ecker, Klaus; Hammer, Barbara; Biel, Jan; Hasenfuss, Alexander; Mokbel, Bassam

    • Four-point curve subdivision based on iterated chordal and centripetal parameterizations

      Dyn, Nira; Floater, Michael S.; Hormann, Kai

    • Collaborative virtual environments - hype or hope for CSCW?

      Olivier, Hannes; Pinkwart, Niels

    • An open agent architecture: fundamentals

      Novák, Peter

    • Agent contest competition - 3rd edition

      Dastani, Mehdi; Dix, Jürgen; Novak, Peter

    • A road map of updating in ASP

      Acosta Guadarrama, Juan Carlos
11. 2006

    • The second contest on multi-agent systems based on computational logic

      Dastani, Mehdi; Dix, Jürgen; Novak, Peter

    • Supervised median clustering

      Hammer, Barbara; Hasenfuss, Alexander; Schleif, Frank-Michael; Villmann, Thomas

    • Proceedings of the 11th Workshop on Nonmonotonic Reasoning

      Dix, Jürgen; Hunter, Anthony

    • On the relationship between playing rationally and knowing how to play: a logical account

      Jamroga, Wojciech

    • On Landau theory and symmetric energy landscapes for phase transitions

      Hormann, Kai; Zimmer, Johannes

    • Modular interpreted systems: a preliminary report

      Jamroga, Wojciech; Ågotnes, Thomas

    • Model checking abilities under incomplete information is indeed Delta2-complete

      Jamroga, Wojciech; Dix, Jürgen

    • Model checking abilities of agents: a closer look

      Jamroga, Wojciech; Dix, Jürgen

    • Matrix learning in learning vector quantization

      Biehl, Michael; Hammer, Barbara; Schneider, Petra

    • Kinetic bounding volume hierarchies for collision detection of deformable objects

      Zachmann, Gabriel; Weller, Rene

    • GPU-ABiSort: optimal parallel sorting on stream architectures

      Greß, Alexander; Zachmann, Gabriel

    • Efficiently reprogramming Boolean functions by sTCAM/RAM

      Richter, Harald; Sommerfeld, Dietmar

    • Barycentric rational interpolation with no poles and high rates of approximation

      Floater, Michael S.; Hormann, Kai

    • Agents, beliefs, and plausible behavior in a temporal setting

      Bulling, Nils; Jamroga, Wojciech

    • Adding structure to agent programming languages

      Novak, Peter; Dix, Jürgen

    • A family of subdivision schemes with cubic precision

      Hormann, Kai; Sabin, Malcolm A.
12. 2005

    • The relationship between reasoning about privacy and default logics

      Dix, Jürgen; Faber, Wolfgang; Subrahmanian, V. S.

    • Vol. 06-2005: Strategic ability under uncertainty

      Jamroga, Wojciech; van der Hoek, Wiebe

    • Stable model semantics algorithm - approach based on relation of blocking between sets of defaults

      Novak, Peter

    • Software and operational concept for EIT-based regional lung function monitoring

      Dudykevych, Taras; Richter, Harald; Hahn, Günter; Frerichs, Inéz; Hinz, Jóse; Hellige, Gerhard

    • Reuse of test generation methods for embedded systems

      Guerrouat, Abdelaziz; Richter, Harald

    • Planning in Answer Set Programming using Ordered Task Decomposition

      Dix, Jürgen; Kuter, Ugur; Nau, Dana

    • On the generalization ability of prototype-based classifiers with local relevance determination

      Hammer, Barbara; Schleif, Frank-Michael; Villmann, Thomas

    • Intentions and strategies in game-like scenarios

      Jamroga, Wojciech; van der Hoek, Wiebe; Wooldridge, Michael

    • IMPACT: a multi-agent framework with declarative semantics

      Dix, Jürgen; Zhang, Yingqian

    • Heterogeneous temporal probabilistic agents

      Dix, Jürgen; Kraus, Sarit; Subrahmanian, V. S.

    • Expressing and verifying temporal and structural properties of mobile agents

      Bednarczyk, Marek A.; Jamroga, Wojciech; Pawłowski, Wiesław

    • Dynamic functional EIT imaging (df-EIT) - a new concept for monitoring effects on regional lung function induced by respiratory therapy

      Dudykevych, Taras; Hahn, Günter; Richter, Harald; Hinz, Jóse; Frerichs, Inéz; Moerer, Omnen; Hellige, Gerhard

    • Constructive knowledge

      Jamroga, Wojciech; Ågotnes, Thomas

    • Barycentric coordinates for arbitrary polygons in the plane

      Hormann, Kai