| Ohne Angabe |
Design and Evaluation of an Anti-Phishing Artifact Based on Useful Transparency |
Beckmann, Christopher ; Berens, Benjamin ; Kühl, Niklas ; Mayer, Peter ; Mossano, Mattia ; Volkamer, Melanie |
2023 |
| 817 |
Load Balancing for Extrapolation Methods on Distributed Memory Multiprocessors |
Rauber, Thomas ; Rünger, Gudula |
1994 |
| 854 |
Hypercube Implementation and Performance Analysis for Extrapolation Methods |
Rauber, Thomas ; Rünger, Gudula |
1994 |
| 948 |
The discovery of simple 7-designs with automorphism group PΓL(2,32) |
Betten, Anton ; Kerber, Adalbert ; Kohnert, Axel ; Laue, Reinhard ; Wassermann, Alfred |
1995 |
| 965 |
Optimal contiguous expression DAG evaluations |
Keßler, Christoph W. ; Rauber, Thomas |
1995 |
| 966 |
Optimal Data Distributions for LU Decomposition |
Rauber, Thomas ; Rünger, Gudula |
1995 |
| 10455 |
Reason to Believe |
Shi, Chenwei ; Roy, Olivier |
2017 |
| 10455 |
Dynamic Logic of Power and Immunity |
Dong, Huimin ; Roy, Olivier |
2017 |
| 10455 |
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic |
Klein, Dominik ; Rendsvig, Rasmus K. |
2017 |
| 10455 |
Stability in Binary Opinion Diffusion |
Christoff, Zoé ; Grossi, Davide |
2017 |
| 10495 |
Asymptotic Bounds for the Sizes of Constant Dimension Codes and an Improved Lower Bound |
Heinlein, Daniel ; Kurz, Sascha |
2017 |
| 10515 |
Dynamics of Pointing with Pointer Acceleration |
Müller, Jörg |
2017 |
| 10573 |
Knowledge is at the edge! How to search in distributed machine learning models |
Bach, Thomas ; Tariq, Muhammad Adnan ; Mayer, Ruben ; Rothermel, Kurt |
2017 |
| 10697 |
Digital Connected Production : Wearable Manufacturing Information Systems |
Schönig, Stefan ; Jablonski, Stefan ; Ermer, Andreas ; Aires Silva, Ana Paula |
2018 |
| 10777 |
Comparison of Time and Energy Oriented Scheduling for Task-based programs |
Rauber, Thomas ; Rünger, Gudula |
2018 |
| 11059 |
Simple Games versus Weighted Voting Games |
Hof, Frits ; Kern, Walter ; Kurz, Sascha ; Paulusma, Daniël |
2018 |
| 1123 |
Scalability and Granularity Issues of the Hierarchical Radiosity Method |
Podehl, Axel ; Rauber, Thomas ; Rünger, Gudula |
1996 |
| 1123 |
Shared-memory Implementation of an Irregular Particle Simulation Method |
Rauber, Thomas ; Rünger, Gudula ; Scholtes, Carsten |
1996 |
| 1124 |
Comparing Task and Data Parallel Execution Schemes for the DIIRK method |
Rauber, Thomas ; Rünger, Gudula |
1996 |
| 1156 |
{0,1}-Solutions of integer linear equation systems |
Betten, Anton ; Wassermann, Alfred |
1996 |
| 12043 |
Multi-workgroup Tiling to Improve the Locality of Explicit One-Step Methods for ODE Systems with Limited Access Distance on GPUs |
Korch, Matthias ; Werner, Tim |
2020 |
| 12151 |
Offsite Autotuning Approach : Performance Model Driven Autotuning Applied to Parallel Explicit ODE Methods |
Seiferth, Johannes ; Korch, Matthias ; Rauber, Thomas |
2020 |
| 12388 |
Engineering Industrial Service Systems : Design and Evaluation of System-Oriented Service Delivery |
Wolff, Clemens ; Kühl, Niklas ; Satzger, Gerhard |
2020 |
| 12388 |
System-wide Learning in Cyber-Physical Service Systems : A Research Agenda |
Martin, Dominik ; Kühl, Niklas ; Kunze von Bischhoffshausen, Johannes ; Satzger, Gerhard |
2020 |
| 12461 |
An Uncertainty-Based Human-in-the-Loop System for Industrial Tool Wear Analysis |
Treiss, Alexander ; Walk, Jannis ; Kühl, Niklas |
2021 |
| 12751 |
Data-Driven Annotation of Textual Process Descriptions Based on Formal Meaning Representations |
Ackermann, Lars ; Neuberger, Julian ; Jablonski, Stefan |
2021 |
| 12853 |
Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems |
Festor, Paul ; Habli, Ibrahim ; Jia, Yan ; Gordon, Anthony ; Faisal, A. Aldo ; Komorowski, Matthieu |
2021 |
| 12924 |
ContextWalk : Embedding Networks With Context Information Extracted From News Articles |
Chen, Chaoran ; Schönfeld, Mirco ; Pfeffer, Jürgen |
2021 |
| 1300 |
Scalability of Parallel Sparse Cholesky Factorization |
Rauber, Thomas ; Rünger, Gudula ; Scholtes, Carsten |
1997 |
| 13216 |
Quo Vadis, Explainability? : A Research Roadmap for Explainability Engineering |
Brunotte, Wasja ; Chazette, Larissa ; Klös, Verena ; Speith, Timo |
2022 |
| 13289 |
A Motivating Case Study on Code Variant Selection by Reinforcement Learning |
Hacker, Oliver ; Korch, Matthias ; Seiferth, Johannes |
2022 |
| 13420 |
How to Leverage Process Mining in Organizations : Towards Process Mining Capabilities |
Kipping, Gregor ; Djurica, Djordje ; Franzoi, Sandro ; Grisold, Thomas ; Marcus, Laura ; Schmid, Sebastian Johannes ; vom Brocke, Jan ; Mendling, Jan ; Röglinger, Maximilian |
2022 |
| 13591 |
An Experimental Study of Intuitive Representations of Process Task Annotations |
Fichtner, Myriel ; Fichtner, Urs A. ; Jablonski, Stefan |
2022 |
| 13901 |
Model-Agnostic Event Log Augmentation for Predictive Process Monitoring |
Käppel, Martin ; Jablonski, Stefan |
2023 |
| 13901 |
Bridging Research Fields : An Empirical Study on Joint, Neural Relation Extraction Techniques |
Ackermann, Lars ; Neuberger, Julian ; Käppel, Martin ; Jablonski, Stefan |
2023 |
| 13948 |
Shallow Water DG Simulations on FPGAs : Design and Comparison of a Novel Code Generation Pipeline |
Alt, Christoph ; Kenter, Tobias ; Faghih-Naini, Sara ; Faj, Jennifer ; Opdenhövel, Jan-Oliver ; Plessl, Christian ; Aizinger, Vadym ; Hönig, Jan ; Köstler, Harald |
2023 |
| 14159 |
Not Here, but There : Human Resource Allocation Patterns |
Goel, Kanika ; Fehrer, Tobias ; Röglinger, Maximilian ; Wynn, Moe T. |
2023 |
| 14353 |
Beyond Rule-Based Named Entity Recognition and Relation Extraction for Process Model Generation from Natural Language Text |
Neuberger, Julian ; Ackermann, Lars ; Jablonski, Stefan |
2023 |
| 1665 |
Euler is standing in line |
Hauptmeier, Dietrich ; Krumke, Sven O. ; Rambau, Jörg ; Wirth, Hans-Christoph |
1999 |
| 1674 |
Species formation in evolving finite state machines |
Rasek, Arno ; Dörwald, Walter ; Hauhs, Michael ; Kastner-Maresch, Alois |
1999 |
| 1767 |
The online dial-a-ride problem under reasonable load |
Hauptmeier, Dietrich ; Krumke, Sven O. ; Rambau, Jörg |
2000 |
| 2017 |
Cost Hierarchies for Abstract Parallel Machines |
O'Donnell, John ; Rauber, Thomas ; Rünger, Gudula |
2001 |
| 2017 |
Set Operations for Orthogonal Processor Groups |
Rauber, Thomas ; Reilein, Robert ; Rünger, Gudula |
2001 |
| 2110 |
Orthogonal Processor Groups for Message-Passing Programs |
Rauber, Thomas ; Reilein, Robert ; Rünger, Gudula |
2001 |
| 2159 |
Evolving Multi-agent Networks in Structured Environments |
Glotzmann, Thomas ; Lange, Holger ; Hauhs, Michael ; Lamm, Alexander |
2001 |
| 2161 |
Online Bin Coloring |
Krumke, Sven O. ; de Paepe, Willem E. ; Rambau, Jörg ; Stougie, Leen |
2001 |
| 2232 |
Markets without Makers : A Framework for Decentralized Economic Coordination in Multiagent Systems |
Eymann, Torsten |
2001 |
| 2279 |
Evolution Strategies, Network Random Keys, and the One-Max Tree Problem |
Schindler, Barbara ; Rothlauf, Franz ; Pesch, Hans Josef |
2002 |
| 2400 |
Pipelining for Locality Improvement in RK Methods |
Korch, Matthias ; Rauber, Thomas ; Rünger, Gudula |
2002 |
| 2455 |
Standardized Payment Procedures as Key Enabling Factor for Mobile Commerce |
Kreyer, Nina ; Pousttchi, Key ; Turowski, Klaus |
2002 |
| 2461 |
Real-time Dispatching of Guided and Unguided Automobile Service Units with Soft Time Windows |
Krumke, Sven O. ; Rambau, Jörg ; Torres, Luis M. |
2002 |
| 2542 |
Numerical Schemes of Higher Order for a Class of Nonlinear Control Systems |
Grüne, Lars ; Kloeden, Peter E. |
2003 |
| 2790 |
Exploring the catallactic coordination approach for peer-to-peer systems |
Ardaiz, Oscar ; Artigas, Pau ; Eymann, Torsten ; Freitag, Felix ; Messeguer, Roc ; Navarro, Leandro ; Reinicke, Michael |
2003 |
| 2790 |
Scalable Parallel RK Solvers for ODEs Derived by the Method of Lines |
Korch, Matthias ; Rauber, Thomas |
2003 |
| 2801 |
Population dynamics under spatially and temporally heterogeneous resource limitations in multi-agent networks |
Glotzmann, Thomas ; Lange, Holger ; Hauhs, Michael |
2003 |
| 2910 |
PANDA : Specifying Policies for Automated Negotiations of Service Contracts |
Gimpel, Henner ; Ludwig, Heiko ; Dan, Asit ; Kearney, Bob |
2003 |
| 2970 |
Decentralized vs. Centralized Economic Coordination of Resource Allocation in Grids |
Eymann, Torsten ; Reinicke, Michael ; Ardaiz, Oscar ; Artigas, Pau ; Díaz de Cerio, Luis ; Freitag, Felix ; Messeguer, Roc ; Navarro, Leandro ; Royo, Dolores |
2004 |
| 3037 |
Hierarchical Matrix-Matrix Multiplication based on Multiprocessor Tasks |
Hunold, Sascha ; Rauber, Thomas ; Rünger, Gudula |
2004 |
| 3103 |
The Edge-Set Encoding Revisited: On the Bias of a Direct Representation for Trees |
Tzschoppe, Carsten ; Rothlauf, Franz ; Pesch, Hans Josef |
2004 |
| 3149 |
Execution Schemes for Parallel Adams Methods |
Rauber, Thomas ; Rünger, Gudula |
2004 |
| 3401 |
Selection Strategies for Set-Valued Runge-Kutta Methods |
Baier, Robert |
2005 |
| 3550 |
Implementing ReGreT in a Decentralized Multi-Agent Environment |
König, Stefan ; Kaffille, Sven ; Wirtz, Guido |
2005 |
| 3550 |
Multiagent system technologies : third German conference, MATES 2005, Koblenz, Germany, September 11 - 13, 2005 ; proceedings |
|
2005 |
| 3648 |
Automatic Tuning of PDGEMM Towards Optimal Performance |
Hunold, Sascha ; Rauber, Thomas |
2005 |
| 3732 |
Simulation-based analysis of parallel Runge-Kutta solvers |
Korch, Matthias ; Rauber, Thomas |
2006 |
| 3758 |
Reducing the Overhead of Intra-Node Communication in Clusters of SMPs |
Hunold, Sascha ; Rauber, Thomas |
2005 |
| 3826 |
Template-Based Automated Service Provisioning : Supporting the Agreement-Driven Service Life-Cycle |
Ludwig, Heiko ; Gimpel, Henner ; Dan, Asit ; Kearney, Bob |
2005 |
| 3879 |
The Online Target Date Assignment Problem |
Heinz, Stefan ; Krumke, Sven O. ; Megow, Nicole ; Rambau, Jörg ; Tuchscherer, Andreas ; Vredeveld, Tjark |
2006 |
| 4073 |
MusicSpace : a multi perspective browser for music albums |
Müller, Jörg ; Krüger, Antonio |
2006 |
| 4128 |
Applicability of Load Balancing Strategies to Data-Parallel Embedded Runge-Kutta Integrators |
Korch, Matthias ; Rauber, Thomas |
2006 |
| 4216 |
A Simple Method to Simultaneously Track the Numbers of Expressed Channel Proteins in a Neuron |
Faisal, A. Aldo ; Niven, Jeremy E. |
2006 |
| 4331 |
Combining Measures for Temporal and Spatial Locality |
Dümmler, Jörg ; Rauber, Thomas ; Rünger, Gudula |
2006 |
| 4511 |
Maximizing the utility of situated public displays |
Müller, Jörg ; Kuflik, Tsvi ; Krüger, Antonio |
2007 |
| 4555 |
Learning topologies of situated public displays by observing implicit user interactions |
Müller, Jörg ; Krüger, Antonio |
2007 |
| 4641 |
Profiling of Task-Based Applications on Shared Memory Machines : Scalability and Bottlenecks |
Hoffmann, Ralf ; Rauber, Thomas |
2007 |
| 4641 |
Locality Optimized Shared-Memory Implementations of Iterated Runge-Kutta Methods |
Korch, Matthias ; Rauber, Thomas |
2007 |
| 4661 |
Global grids : making a case for self-organization in large-scale overlay networks |
Eymann, Torsten ; Streitberger, Werner ; Hudert, Sebastian |
2007 |
| 4685 |
Enabling the Simulation of Service-Oriented Computing and Provisioning Policies for Autonomic Utility Grids |
Dias de Assunção, Marcos ; Streitberger, Werner ; Eymann, Torsten ; Buyya, Rajkumar |
2007 |
| 4685 |
CATNETS : open market approaches for self-organizing grid resource allocation |
Eymann, Torsten ; Streitberger, Werner ; Hudert, Sebastian |
2007 |
| 4794 |
Situated public news and reminder displays |
Müller, Jörg ; Paczkowski, Oliver ; Krüger, Antonio |
2007 |
| 4818 |
Optimization Based Stabilization of Nonlinear Control Systems |
Grüne, Lars |
2008 |
| 5168 |
Fine-grained task scheduling using adaptive data structures |
Hoffmann, Ralf ; Rauber, Thomas |
2008 |
| 5333 |
Theoretical and Practical Challenges of Integrating Ecosystem Data |
Hauhs, Michael ; Trancón y Widemann, Baltasar ; Archner, Oliver |
2008 |
| 5393 |
Construction of large constant dimension codes with a prescribed minimum distance |
Kohnert, Axel ; Kurz, Sascha |
2008 |
| 5396 |
Towards Reputation Enhanced Electronic Negotiations for Service Oriented Computing |
König, Stefan ; Hudert, Sebastian ; Eymann, Torsten ; Paolucci, Mario |
2008 |
| 5440 |
Why Androids Will Have Emotions : Constructing Human-Like Actors and Communicators Based on Exact Sciences of the Mind |
Schiewer, Gesine Lenore |
2009 |
| 5510 |
Inference Processes for Quantified Predicate Knowledge |
Paris, Jeff B. ; Rafiee Rad, Soroush |
2008 |
| 5538 |
Display blindness : the effect of expectations on attention towards digital signage |
Müller, Jörg ; Wilmsmann, Dennis ; Exeler, Juliane ; Buzeck, Markus ; Schmidt, Albrecht ; Jay, Tim ; Krüger, Antonio |
2009 |
| 5538 |
Reflective Signs : digital signs that adapt to audience attention |
Müller, Jörg ; Exeler, Juliane ; Buzeck, Markus ; Krüger, Antonio |
2009 |
| 5538 |
ReflectiveSigns : Digital Signs that Adapt to Audience Attention |
Müller, Jörg ; Exeler, Juliane ; Buzeck, Markus ; Krüger, Antonio |
2009 |
| 5704 |
Parallel Implementation of Runge-Kutta Integrators with Low Storage Requirements |
Korch, Matthias ; Rauber, Thomas |
2009 |
| 5774 |
An Architecture for Simulating Internet-of-Services Economies |
König, Stefan ; Pinyol, Isaac ; Villatoro, Daniel ; Sabater-Mir, Jordi ; Eymann, Torsten |
2009 |
| 5859 |
MobiDiC : context adaptive digital signage with coupons |
Müller, Jörg ; Krüger, Antonio |
2009 |
| 6105 |
On Computer Simulation as a Component in Information Systems Research |
Hudert, Sebastian ; Niemann, Christoph ; Eymann, Torsten |
2010 |
| 6158 |
A Note on the Least Informative Model of a Theory |
Paris, Jeff B. ; Rafiee Rad, Soroush |
2010 |
| 6181 |
Avoiding Deontic Explosion by Contextually Restricting Aggregation |
Meheus, Joke ; Beirlaen, Mathieu ; van de Putte, Frederik |
2010 |
| 6197 |
On a problem of Hajdu and Tengely |
Siksek, Samir ; Stoll, Michael |
2010 |
| 6251 |
Reputation in Multi Agent Systems and the Incentives to Provide Feedback |
Heitz, Miriam ; König, Stefan ; Eymann, Torsten |
2010 |
| 6272 |
Scalability and Locality of Extrapolation Methods for Distributed-Memory Architectures |
Korch, Matthias ; Rauber, Thomas ; Scholtes, Carsten |
2010 |
| 6272 |
Exploiting Fine-Grained Parallelism on Cell Processors |
Hoffmann, Ralf ; Prell, Andreas ; Rauber, Thomas |
2010 |
| 6428 |
Data Integration Systems for Scientific Applications |
Roth, Bastian ; Volz, Bernhard ; Hecht, Robin |
2010 |
| 6541 |
Using A Normative Framework to Explore the Prototyping of Wireless Grids |
Balke, Tina ; Padget, Julian ; de Vos, Marina ; Fitzek, Frank |
2011 |
| 6629 |
A Meta-Model-Framework for Structuring the Requirement Analysis in Process Design |
Meerkamm, Stephanie ; Jablonski, Stefan |
2011 |
| 6707 |
Optimization of Visitor Performance by Reflection-Based Analysis |
Lepper, Markus ; Trancón y Widemann, Baltasar |
2011 |
| 6859 |
Distributive-Law Semantics for Cellular Automata and Agent-Based Models |
Trancón y Widemann, Baltasar ; Hauhs, Michael |
2011 |
| 6861 |
Data Integration over NoSQL Stores Using Access Path Based Mappings |
Curé, Olivier ; Hecht, Robin ; Le Duc, Chan ; Lamolle, Myriam |
2011 |
| 6877 |
Automatic Calculation of plane loci Using Gröbner bases and integration into a dynamic geometry system |
Gerhäuser, Michael ; Wassermann, Alfred |
2011 |
| 6953 |
A dynamic analysis of interactive rationality |
Pacuit, Eric ; Roy, Olivier |
2011 |
| 7054 |
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members |
Ferber, Marvin ; Hunold, Sascha ; Krellner, Björn ; Rauber, Thomas ; Reichel, Thomas ; Rünger, Gudula |
2009 |
| 7116 |
Newton’s method and secant method for set-valued mappings |
Baier, Robert ; Hessel-von Molo, Mirko |
2012 |
| 7146 |
Scheduling Support for Communicating Parallel Tasks |
Dümmler, Jörg ; Rauber, Thomas ; Rünger, Gudula |
2013 |
| 7307 |
Paisley : Pattern Matching à la Carte |
Trancón y Widemann, Baltasar ; Lepper, Markus |
2012 |
| 7393 |
The logic of obligation as weakest permission |
Roy, Olivier ; Anglberger, Albert J. J. ; Gratzl, Norbert |
2012 |
| 7484 |
Locality Improvement of Data-Parallel Adams-Bashforth Methods through Block-Based Pipelining of Time Steps |
Korch, Matthias |
2012 |
| 7495 |
Structural operational semantics for cellular automata |
Trancón y Widemann, Baltasar |
2012 |
| 7532 |
A Metadata-based Approach to Leveraging the Information Supply of Business Intelligence Systems |
Mosig, Benjamin ; Röglinger, Maximilian |
2012 |
| 7695 |
Group Activity Selection Problem |
Darmann, Andreas ; Elkind, Edith ; Kurz, Sascha ; Lang, Jérôme ; Schauer, Joachim ; Woeginger, Gerhard |
2012 |
| 8196 |
Logic, Rationality, and Interaction |
|
2013 |
| 8196 |
A two-tiered formalization of social influence |
Christoff, Zoé ; Hansen, Jens Ulrik |
2013 |
| 8265 |
Default Assumptions and Selection Functions : A Generic Framework for Non-monotonic Logics |
van de Putte, Frederik |
2013 |
| 8446 |
Algebrais-Coalgebraic recursion theory of histroy-dependent dynamical system models |
Trancón y Widemann, Baltasar ; Hauhs, Michael |
2014 |
| 8554 |
Open reading without free choice |
Anglberger, Albert J. J. ; Dong, Huimin ; Roy, Olivier |
2014 |
| 8554 |
The Logical Structure of Scanlon’s Contractualism |
Rechenauer, Martin ; Roy, Olivier |
2014 |
| 8554 |
For a Dynamic Semantics of Necessity Deontic Modals |
Marra, Alessandra |
2014 |
| 8954 |
Resource-Aware Process Model Similarity Matching |
Baumann, Michaela ; Baumann, Michael Heinrich ; Schönig, Stefan ; Jablonski, Stefan |
2015 |
| 8954 |
Supporting Rule-Based Process Mining by User-Guided Discovery of Resource-Aware Frequent Patterns |
Schönig, Stefan ; Gillitzer, Florian ; Zeising, Michael ; Jablonski, Stefan |
2015 |
| 9049 |
The Gaussian Bloom Filter |
Werner, Martin ; Schönfeld, Mirco |
2015 |
| 9250 |
Preface |
Guo, Yike ; Friston, Karl ; Faisal, A. Aldo ; Hill, Sean ; Peng, Hanchuan |
2015 |
| 9250 |
Brain Informatics and Health : 8th International Conference, BIH 2015, London, UK ; Proceedings |
|
2015 |
| 9394 |
Introspection, Normality and Agglomeration |
Klein, Dominik ; Gratzl, Norbert ; Roy, Olivier |
2015 |
| 9394 |
Logic and Ethics : An Integrated Model for Norms, Intentions and Actions |
Marra, Alessandra ; Klein, Dominik |
2015 |
| 9694 |
Efficient and Customisable Declarative Process Mining with SQL |
Schönig, Stefan ; Rogge-Solti, Andreas ; Cabanillas, Cristina ; Jablonski, Stefan ; Mendling, Jan |
2016 |
| 9774 |
Haptic SLAM : An Ideal Observer Model for Bayesian Inference of Object Shape and Hand Pose from Contact Dynamics |
Behbahani, Feryal M. P. ; Singla–Buxarrais, Guillem ; Faisal, A. Aldo |
2016 |
| 9936 |
Discovery of Multi-perspective Declarative Process Models |
Schönig, Stefan ; Di Ciccio, Claudio ; Maggi, Fabrizio Maria ; Mendling, Jan |
2016 |
