Ifi technical report series

Inhaltalles ausklappenalles einklappen

• 2017
  • 2016 - Scalable Multi-Agent Simulation based on MapReduce
  • 2016 - Agent-based simulation for software development processes
• 2016
  • 2016 - LightJason: a BDI Framework inspired by Jason
• 2015
  • 2015 - Über die Eignung von Clouds für das Hochleistungsrechnen (HPC)
• 2014
  • 2014 - MATES Doctoral Consortium 2014
  • 2014 - Hochleistungsrechnen und Echtzeit in virtualisierten Maschinen und Clouds
  • 2014 - A scalable runtime platform for multiagent-based simulation
• 2013
  • The Multi-Agent Programming Contest 2012 edition
  • Analyse der technischen Kollaborationsgrundlage ausgewählter NTH-Forschungsprojekte
• 2012
  • Web 2.0-basierte Alumni-Software
  • Multi-Agent Programming Contest 2011 edition
  • Multi-Agent Programming Contest 2011 edition
  • Defining domain specific operational semantics for activity diagrams
  • A game theoretic approach for stable network topologies in opportunistic...
• 2010
  • Where logic and agents meet
  • Topographic mapping of large dissimilarity data sets
  • The Multi-Agent Programming Contest from 2005-2010: from gold collecting...
  • Software-orientierter Programmierstil bei VHDL
  • Putting APL platforms to the test: agent similarity and execution performance
  • On the (un-)decidability of model checking resource-bounded agents
  • Model checking coalition logic on implicit models is delta P 3 -complete
  • Mastering project-controlling using a process-integrated project cockpit...
  • Flattr this! Explorative Evaluation von Social (Micro-)Payments als alternatives...
  • Fast adaptive silhouette area based template matching
  • Developing a power supply solution for a mobile robot
  • An approach and design pattern for intra-application scheduling
  • Abstraction for model checking modular interpreted systems over ATL
• 2009
  • What agents can probably enforce
  • Towards an environment interface standard for agent-oriented programming
  • The environment interface standard for agent-oriented programming platform...
  • Properties of dual pseudo-splines
  • Proceedings of the 10th international workshop on computational logic in...
  • Model checking ATL+ is harder than it seemed
  • Maintaining sequences of knowledge bases in ASP
  • ICOLE 2009
  • Elektronik und Datenkommunikation im Automobil
  • Distributed decision making for metaschedulers
  • Continuous edge gradient-based template matching for articulated objects
  • Communicating rational agents: semantics and verification
  • A novel approach to workflow scheduling in MediGRID
• 2008
  • Update operation in ASP revisited
  • Towards more comprehensive measurable dependability
  • Technical foundations of the agent contest 2008
  • Strategic commitment and release in logics for multi-agent systems (extended...
  • Reasoning about temporal properties of rational play
  • Proceedings of the Conference on Software & Systems Engineering Essentials...
  • Matrix adaptation in discriminative vector quantization
  • Local matrix adaptation in topographic neural maps
  • Inner sphere trees
  • ICOLE - 2008
  • Efficient evaluation of interpolating cubic polynomials
  • Description logic for coalitions
  • Communication platform for open heterogeneous MASs
  • A simpler semantics for abilities under uncertainty
• 2007
  • Stepwise enabling of AUGUSTUS for MediGRID
  • SEE 2007 Conference Proceedings
  • Relational topographic maps
  • Polynomial reproduction by symmetric subdivision schemes
  • Neural gas for surface reconstruction
  • Model checking with logic based petri nets
  • Model checking rational play
  • Markov temporal logic
  • LTL model checking with logic based petri nets
  • Knowledge and strategic ability for model checking: a refined approach
  • ICOLE - 2007
  • Four-point curve subdivision based on iterated chordal and centripetal...
  • Collaborative virtual environments - hype or hope for CSCW?
  • An open agent architecture: fundamentals
  • Agent contest competition - 3rd edition
  • A road map of updating in ASP
• 2006
  • The second contest on multi-agent systems based on computational logic
  • Supervised median clustering
  • Proceedings of the 11th Workshop on Nonmonotonic Reasoning
  • On the relationship between playing rationally and knowing how to play:...
  • On Landau theory and symmetric energy landscapes for phase transitions
  • Modular interpreted systems: a preliminary report
  • Model checking abilities under incomplete information is indeed Delta2-complete
  • Model checking abilities of agents: a closer look
  • Matrix learning in learning vector quantization
  • Kinetic bounding volume hierarchies for collision detection of deformable...
  • GPU-ABiSort: optimal parallel sorting on stream architectures
  • Efficiently reprogramming Boolean functions by sTCAM/RAM
  • Barycentric rational interpolation with no poles and high rates of approximation
  • Agents, beliefs, and plausible behavior in a temporal setting
  • Adding structure to agent programming languages
  • A family of subdivision schemes with cubic precision
• 2005
  • 06-2005 - Strategic ability under uncertainty
  • The relationship between reasoning about privacy and default logics
  • Stable model semantics algorithm - approach based on relation of blocking...
  • Software and operational concept for EIT-based regional lung function monitoring
  • Reuse of test generation methods for embedded systems
  • Planning in Answer Set Programming using Ordered Task Decomposition
  • On the generalization ability of prototype-based classifiers with local...
  • Intentions and strategies in game-like scenarios
  • IMPACT: a multi-agent framework with declarative semantics
  • Heterogeneous temporal probabilistic agents
  • Expressing and verifying temporal and structural properties of mobile agents
  • Dynamic functional EIT imaging (df-EIT) - a new concept for monitoring...
  • Constructive knowledge
  • Barycentric coordinates for arbitrary polygons in the plane