Publications in MODUS
MODUS publications
2021
-
2021 FESTUNG 1.0 : Overview, usage, and example applications of the MATLAB/GNU Octave toolbox for discontinuous Galerkin methods Computers & Mathematics with Applications 81 3-41 BibTeX
-
2021 Development and Application of Open-Source Software for Problems with Numerical PDEs Computers & Mathematics with Applications 81 1-2 BibTeX
-
2021 Random attraction in the TASEP model SIAM Journal on Applied Dynamical Systems 20 1 65-93 BibTeX
-
2021 Is Weather Chaotic? : Coexistence of Chaos and Order within a Generalized Lorenz Model Bulletin of the American Meteorological Society 102 1 E148-E158 BibTeX
Preprints
Artikel
Beiträge auf Konferenzen
2020
-
2020 Convective transport in nanofluids : The stationary problem Journal of Mathematical Analysis and Applications 489 1 BibTeX
-
2020 Computing Lyapunov functions using deep neural networks Journal of Computational Dynamics BibTeX
-
2020 FESTUNG: A MATLAB / GNU Octave Toolbox for the Discontinuous Galerkin Method. Part IV. Generic Problem Framework and Model-Coupling Interface Communications in Computational Physics 28 2 827-876 BibTeX
-
2020 Strict dissipativity for discrete time discounted optimal control problems Mathematical Control and Related Fields Online First 1-26 BibTeX
-
2020 Towards price-based predictive control of a small scale electricity network International Journal of Control 93 1 40-61 BibTeX
-
2020 Enriched Galerkin method for the shallow-water equations GEM : International Journal on Geomathematics 11 1 BibTeX
-
2020 Prioritizing Smart Factory Investments : A Project Portfolio Selection Approach International Journal of Production Research BibTeX
-
2020 Estimating the Impact of IT Security Incidents in Digitized Production Environments Decision Support Systems 127 113-144 BibTeX
-
2020 Optimale Impfstrategien für ein mathematisches Chikungunyafieber-Modell Simulation in Umwelt- und Geowissenschaften Shaker Verlag 203-213 BibTeX
-
2020 Bathymetry Reconstruction Using Inverse ShallowWater Models : Finite Element Discretization and Regularization Numerical Methods for Flows : FEF 2017 Selected Contributions Springer 223-230 BibTeX
-
2020 Entwicklung und Analyse einer stufigen SVIR-Baummodellierung Proceedings ASIM SST 2020 : 25. ASIM Symposium Simulationstechnik ARGESIM 73-81 BibTeX
-
2020 Analyse, Simulation und optimale Steuerung eines Dengue-Fieber-Modells mit temporärer Kreuzimmunität Proceedings ASIM SST 2020 : 25. ASIM Symposium Simulationstechnik ARGESIM 63-71 BibTeX
-
2020 Are ETFs Bad for Financial Health? 18th RSEP International Economics, Finance & Business Conference : Conference Proceedings BC Publishing 10-18 BibTeX
-
2020 Ein asymmetrisches zwei Serotyp Dengue Fieber Modell mit Kontrollmaßnahmen Simulation in Umwelt- und Geowissenschaften Shaker Verlag 191-202 BibTeX
Preprints
Artikel
Buchkapitel
Beiträge auf Konferenzen
2019
-
2019 Generation of Block Structured Grids on Complex Domains for High Performance Simulation Computational Mathematics and Mathematical Physics 59 12 2108-2123 BibTeX
-
2019 New directional vector limiters for discontinuous Galerkin methods Journal of Computational Physics 384 308-325 BibTeX
-
2019 On the relation between detectability and strict dissipativity for nonlinear discrete time systems IEEE Control Systems Letters 3 2 458-462 BibTeX
-
2019 Discontinuous Galerkin method for coupling hydrostatic free surface flows to saturated subsurface systems Computers & Mathematics with Applications 77 9 2291-2309 BibTeX
-
2019 Scalability and some optimization of the Finite-volumE Sea ice--Ocean Model, Version 2.0 (FESOM2) Geoscientific Model Development 12 9 3991-4012 BibTeX
-
2019 Feedback, dynamics, and optimal control in climate economics Annual Reviews in Control 47 7-20 BibTeX
-
2019 Limitations of stabilizing effects of fundamentalists : facing positive feedback traders Economics : the Open-Access, Open-Assessment E-Journal 44 13 BibTeX
-
2019 Multiobjective Model Predictive Control for Stabilizing Cost Criteria Discrete and Continuous Dynamical Systems. Series B 24 8 3905-3928 BibTeX
-
2019 A Unified Framework for Frequent Sequence Mining with Subsequence Constraints ACM Transactions on Database Systems 44 3 BibTeX
-
2019 Hierarchical distributed model predictive control of interconnected microgrids IEEE Transactions on Sustainable Energy 10 1 407-416 BibTeX
-
2019 Optimal vaccination and control strategies against dengue Mathematical Methods in the Applied Sciences 42 10 3496-3507 BibTeX
-
2019 Generation of Block Structured Grids on Complex Domains for High Performance Simulation Numerical Geometry, Grid Generation and Scientific Computing : Proceedings of the 9th International Conference, NUMGRID 2018 Springer International Publishing 87-99 BibTeX
-
2019 Coexistence of Chaotic and Non-chaotic Orbits in a New Nine-Dimensional Lorenz Model 11th Chaotic Modeling and Simulation International Conference Springer 239-255 BibTeX
-
2019 Split-Correctness in Information Extraction Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems 149-163 BibTeX
-
2019 Navigating the Maze of Wikidata Query Logs The World Wide Web Conference : Proceedings 127-138 BibTeX
-
2019 Vereinfachung eines Denguefieber-Modells mit zwei Serotypen und einer extrinsischen Inkubationszeit der Vektoren Simulation in Umwelt- und Geowissenschaften : Workshop Kassel 2019 Shaker Verlag 217-227 BibTeX
-
2019 Positive Expected Feedback Trading Gain for all Essentially Linearly Representable Prices 2019 12th Asian Control Conference (ASCC) IEEE 150-155 BibTeX
Artikel
Buchkapitel
Beiträge auf Konferenzen
Masterarbeiten
2018
-
2018 A confined-unconfined aquifer model for subglacial hydrology and its application to the Northeast Greenland Ice Stream The Cryosphere 12 12 3931-3947 BibTeX
-
2018 FESTUNG: A MATLAB/GNU Octave toolbox for the discontinuous Galerkin method. Part III. Hybridized discontinuous Galerkin (HDG) formulation Computers & Mathematics with Applications 75 12 4505-4533 BibTeX
-
2018 Groundwater data improve modelling of headwater stream CO₂ outgassing with a stable DIC isotope approach Biogeosciences 15 10 3093-3106 BibTeX
-
2018 Conjunctive query containment over trees using schema information Acta Informatica 55 1 17-56 BibTeX
-
2018 Analysis of a mixed discontinuous Galerkin method for instationary Darcy flow Computational Geosciences 22 1 179-194 BibTeX
-
2018 Optimal vaccination strategies for an SEIR model of infectious diseases with logistic growth Mathematical Biosciences and Engineering 15 2 485-505 BibTeX
-
2018 Hierarchical distributed ADMM for predictive control with applications in power networks IFAC Journal of Systems and Control 3 10-22 BibTeX
-
2018 Economic Nonlinear Model Predictive Control Foundations and Trends® in Systems and Control 5 1 1-98 BibTeX
-
2018 Mindfully going omni-channel : An economic decision model for evaluating omni-channel strategies Decision Support Systems BibTeX
-
2018 Comparison of two local discontinuous Galerkin formulations for the subjective surfaces problem Computing and Visualization in Science 18 6 193-202 BibTeX
-
2018 One Rate Does Not Fit All : An Empirical Analysis of Electricity Tariffs for Residential Microgrids Applied Energy 210 800-814 BibTeX
-
2018 Quasi-Periodic Orbits in the Five-Dimensional Nondissipative Lorenz Model : the Role of the Extended Nonlinear Feedback Loop International Journal of Bifurcation and Chaos 28 6 BibTeX
-
2018 Turnpike properties and strict dissipativity for discrete time linear quadratic optimal control problems SIAM Journal on Control and Optimization 56 2 1282-1302 BibTeX
-
2018 A typology and literature review on stochastic multi-echelon inventory models European Journal of Operational Research BibTeX
-
2018 Optimal vaccination strategies for a new dengue model with two serotypes IFAC-PapersOnLine 51 2 13-18 BibTeX
-
2018 Numerical optimal control applied to an epidemiological model IFAC-PapersOnLine 51 2 1-6 BibTeX
-
2018 Modeling and Numerical Solution of a Cancer Therapy Optimal Control Problem Applied Mathematics 9 8 985-1004 BibTeX
-
2018 Numerical Identification of Motor Units using an Optimal Control Approach IFAC-PapersOnLine 51 2 174 - 179 BibTeX
-
2018 Locally Filtered Transport for computational efficiency in multi-component advection-reaction models Environmental Modelling & Software 102 185-198 BibTeX
-
2018 Modeling project criticality in IT project portfolios International Journal of Project Management 36 6 833-844 BibTeX
-
2018 Noncooperative Model Predictive Control for Affine-Quadratic Games Proceedings in Applied Mathematics and Mechanics 18 1 1-2 BibTeX
-
2018 Enumeration of MSO Queries on Strings with Constant Delay and Logarithmic Updates SIGMOND-PODS '18 : Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Houston, TX, USA, June 10-15, 2018 179-191 BibTeX
-
2018 Evaluation and Enumeration Problems for Regular Path Queries 21st International Conference on Database Theory (ICDT 2018) : Proceedings BibTeX
-
2018 MSO Queries on Trees : Enumerating Answers under Updates Using Forest Algebras Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science 769-778 BibTeX
-
2018 Chisel : Sculpting Tabular and Non-Tabular Data on the Web Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018 139-142 BibTeX
-
2018 Analyse, Simulation und Optimale Steuerung eines mathematischen Dengue-Fieber Modells mit Impfung Tagungsband Workshop 2018 ASIM/GI Fachgruppen : 8. und 9. März an der Hochschule Heilbronn ARGESIM Verlag 223-229 BibTeX
-
2018 Modeling Demand Propagation in Guaranteed Service Models 9th Vienna International Conference on Mathematical Modelling Elsevier 284-289 BibTeX
-
2018 DARQL : Deep Analysis of SPARQL Queries Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018 187-190 BibTeX
-
2018 Dynamic programming, optimal control and model predictive control Handbook of Model Predictive Control Birkhäuser 29-52 BibTeX
-
2018 Satisfiability for SCULPT-Schemas for CSV-Like Data 21st International Conference on Database Theory, March 26-29, 2018 - Vienna, Austria : Proceedings BibTeX
-
2018 Strict dissipativity implies turnpike behavior for time-varying discrete time optimal control problems Control Systems and Mathematical Methods in Economics: Essays in Honor of Vladimir M. Veliov Springer 195-218 BibTeX
-
2018 Optimale Steuerung und theoretische Analyse eines mathematischen zwei Serotypen Dengue-Fieber Modells Tagungsband ASIM 2018 - 24. Symposium Simulationstechnik an der HafenCity Universität Hamburg ARGE Simulation News 127-135 BibTeX
-
2018 Optimale Mückenbekämpfung bei einem neuen mathematischen Dengue-Fieber Modell mit 2 Serotypen Simulation in Umwelt- und Geowissenschaften : Workshop Hannover 2018 Shaker Verlag 221-233 BibTeX
Preprints
Artikel
Buchkapitel
Beiträge auf Konferenzen
Dissertationen
Masterarbeiten
Bachelorarbeiten
2017
-
2017 A Discontinuous Galerkin Method for the Subjective Surfaces Problem Journal of Mathematical Imaging and Vision 58 1 147-161 BibTeX
-
2017 Deciding definability by deterministic regular expressions Journal of Computer and System Sciences 88 75-89 BibTeX
-
2017 A hierarchical scale separation approach for the hybridized discontinuous Galerkin method Journal of Computational and Applied Mathematics 317 500-509 BibTeX
-
2017 Optimizing Tree Patterns for Querying Graph- and Tree-Structured Data SIGMOD Record 46 1 15-22 BibTeX
-
2017 The Process Checklist : Paper-based Enactment of Human-driven Processes Enterprise Modelling and Information Systems Architectures 12 1 1-42 BibTeX
-
2017 On the relation between turnpike properties for finite and infinite horizon optimal control problems Journal of Optimization Theory and Applications 173 3 727-745 BibTeX
-
2017 Maturing Maturity Models : A Methodological Extension Using the Analytical Hierarchy Process and Google PageRank Journal of Decision Systems 26 4 307-327 BibTeX
-
2017 An Analytical Study of Large SPARQL Query Logs Proceedings of the VLDB Endowment 11 2 149-161 BibTeX
-
2017 BonXai : Combining the Simplicity of DTD with the Expressiveness of XML Schema ACM Transactions on Database Systems 42 3 BibTeX
-
2017 Anisotropic slope limiting for discontinuous Galerkin methods International Journal for Numerical Methods in Fluids 84 9 543-565 BibTeX
-
2017 Simultaneously long short trading in discrete and continuous time Systems & Control Letters 99 85-89 BibTeX
-
2017 Memory Analysis and Performance Modeling for HPC Applications on Embedded Hardware via Instruction Accurate Simulation Proceedings of the 2015 Federated Conference on Software Development and Object Technologies Springer International Publishing 19-34 BibTeX
-
2017 On quasi-periodic solutions associated with the extended nonlinear feedback loop in the five-dimensional non-dissipative Lorenz model CHAOS 2017 Proceedings International Society for the Advancement of Science and Technology 197-213 BibTeX
-
2017 Rapid Mathematical Programming for Cooperative Truck Networks Operations Research Proceedings 2017 Springer International Publishing 317-324 BibTeX
-
2017 The Process Checklist Generator : Establishing Paper-based Process Support Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017) BibTeX
-
2017 Performance Guarantees for Multiobjective Model Predictive Control Proceedings of the 2017 IEEE 56th Annual Conference on Decision and Control (CDC) 5545-5550 BibTeX
-
2017 Sport Strategy Optimization in Beach Volleyball– How to bound direct point probabilities dependent on individual skills Proceedings of MathSport International 2017 Conference 184-193 BibTeX
-
2017 Optimizing tree pattern queries : why cutting is not enough (invited talk) STOC 2017 Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing 3 BibTeX
-
2017 Optimaler Flug eines Drachenfliegers durch eine Wolkenstraße Tagungsband Workshop 2017 ASIM/GI-Fachgruppen : 9. und 10. März an der Hochschule Ulm ARGESIM Verlag Wien 169-176 BibTeX
-
2017 On recurrent solutions within high-dimensional, non-dissipative Lorenz models CHAOS 2017 Proceedings International Society for the Advancement of Science and Technology 773-787 BibTeX
-
2017 On the relation between dissipativity and discounted dissipativity Proceedings of the 56th IEEE Annual Conference on Decision and Control (CDC 2017), Melbourne, Australia 5570-5575 BibTeX
-
2017 Evaluation of the effects of time-of-use pricing for private households based on measured load data 2017 14th International Conference on the European Energy Market (EEM) IEEE BibTeX
-
2017 Simultaneously long short trading in discrete and continuous time - AudioSlides Elsevier AudioSlides BibTeX
Artikel
Buchkapitel
Beiträge auf Konferenzen
Sonstiges
Dissertationen
2016
-
2016 An efficient linear solver for the hybridized discontinuous Galerkin method Proceedings in Applied Mathematics and Mechanics 16 1 845-846 BibTeX
-
2016 A distributed optimization algorithm for the predictive control of smart grids IEEE Transactions on Automatic Control 61 12 3898-3911 BibTeX
-
2016 Closure properties and descriptional complexity of deterministic regular expressions Theoretical Computer Science 627 54-70 BibTeX
-
2016 Energy efficiency of the simulation of three-dimensional coastal ocean circulation on modern commodity and mobile processors Computer Science : Research + Development 31 4 225-234 BibTeX
-
2016 On the relation between strict dissipativity and turnpike properties Systems & Control Letters 90 45-53 BibTeX
-
2016 Providing Utility to Utilities : the Value of Information Systems Enabled Flexibility in Electricity Consumption Journal of the Association for Information Systems 17 8 537-563 BibTeX
-
2016 FESTUNG : A MATLAB/GNU Octave toolbox for the discontinuous Galerkin method. Part II: Advection operator and slope limiting Computers & Mathematics with Applications 72 7 1896-1925 BibTeX
-
2016 An Economic Decision Model for Determining the Appropriate Level of Business Process Standardization Business Research 9 2 335-375 BibTeX
-
2016 Approximation properties of receding horizon optimal control Jahresbericht der Deutschen Mathematiker Vereinigung 118 1 3-37 BibTeX
-
2016 On Stock Trading Via Feedback Control When Underlying Stock Returns Are Discontinuous IEEE Transactions on Automatic Control PP 99 1-6 BibTeX
-
2016 Minimization of Tree Pattern Queries Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2016, San Francisco, CA, USA, June 26 - July 01, 2016 43-54 BibTeX
-
2016 Model predictive control of residential energy systems using energy storage and controllable loads Progress in Industrial Mathematics at ECMI 2014 Springer 617-623 BibTeX
-
2016 Trajectory optimization of a hypersonic plane s.t. heat limits ASIM-Treffen STS/GMMS 2016 - Workshop der ASIM/GI Fachgruppen STS und GMMS : Tagungsband : am 10.- 11. 3. 2016 an der Hochschule Hamm-Lippstadt ARGESIM Verlag Wien 101-108 BibTeX
-
2016 Maximal Islanding Time For Microgrids via Distributed Predictive Control 22nd International Symposium on Mathematical Theory of Networks and Systems : July 12-15, 2016 (MTNS 2016, Proceedings) 652-659 BibTeX
-
2016 Numerische Lösung eines mathematischen Modells für eine optimale Krebskombinationstherapie aus Anti-Angiogenese und Strahlentherapie Tagungsband ASIM 2016 - 23. Symposium Simulationstechnik : am 7.-9.10. 2016 an der HTW Dresden 169-176 BibTeX
-
2016 Virtualization Guided Tsunami and Storm Surge Simulations for Low Power Architectures Simulation and Modeling Methodologies, Technologies and Applications Springer International Publishing 99-114 BibTeX
-
2016 Cache Aware Instruction Accurate Simulation of a 3-D Coastal Ocean Model on Low Power Hardware SIMULTECH 2016 : Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Volume 1 SCITEPRESS 129-137 BibTeX
Artikel
Buchkapitel
Beiträge auf Konferenzen
Bachelorarbeiten
2015
-
2015 On the role of dissipativity in economic model predictive control IFAC-PapersOnLine 23 110-116 BibTeX
-
2015 Optimal control of the freezing time in the Hegselmann--Krause dynamics Journal of Difference Equations and Applications 21 8 633-648 BibTeX
-
2015 On numerical modelling of impulse water waves generated by submarine landslides Environmental Earth Sciences 74 11 7387-7405 BibTeX
-
2015 An a priori error estimate for the local discontinuous Galerkin method applied to two-dimensional shallow water and morphodynamic flow Numerical Methods for Partial Differential Equations 31 2 397-421 BibTeX
-
2015 A multi-platform scaling study for an OpenMP parallelization of a discontinuous Galerkin ocean model Computers and Fluids 117 325 - 335 BibTeX
-
2015 Large-scale turbulence modelling via α-regularisation for atmospheric simulations Journal of Turbulence 16 4 367-391 BibTeX
-
2015 Scale separation in fast hierarchical solvers for discontinuous Galerkin methods Applied Mathematics and Computation 266 838-849 BibTeX
-
2015 FESTUNG : A MATLAB/GNU Octave toolbox for the discontinuous Galerkin method. Part I: Diffusion operator Computers & Mathematics with Applications 70 1 11 - 46 BibTeX
-
2015 Distributed and decentralized control of residential energy systems incorporating battery storage IEEE Transactions on Smart Grid 6 4 1914-1923 BibTeX
-
2015 Optimal Opinion Control : The Campaign Problem Journal of Artificial Societies and Social Simulation 18 3 1-47 BibTeX
-
2015 Process Improvement through Economically Driven Routing of Instances Business Process Management Journal 21 2 353-378 BibTeX
-
2015 The Top-Dog Index : a new measurement for the demand consistency of the size distribution in pre-pack orders for a fashion discounter with many small branches Annals of Operations Research 229 1 541-563 BibTeX
-
2015 Separability by Short Subsequences and Subwords 18th International Conference on Database Theory 230-246 BibTeX
-
2015 Efficient Incremental Evaluation of Succinct Regular Expressions Proceedings of the 24th ACM International Conference on Information and Knowledge Management 1541-1550 BibTeX
-
2015 SCULPT: A Schema Language for Tabular Data on the Web Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015 702-720 BibTeX
-
2015 Predictive control of a smart grid : a distributed optimization algorithm with centralized performance properties Proceedings of the 54th IEEE Conference on Decision and Control (CDC 2015) IEEE 5593-5598 BibTeX
-
2015 Numerical modelling of tsunami scenarios for the island of Bonaire (Leeward Antilles) Abstract of the 4th International Tsunami Field Symposium 81-85 BibTeX
-
2015 Tsunami and Storm Surge Simulation Using Low Power Architectures : Concept and Evaluation SIMULTECH 2015 : Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Volume 1 SCITEPRESS 377-382 BibTeX
-
2015 BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems 145-156 BibTeX
-
2015 Effects of Linear Feedback Trading in an Interactive Market Model American Control Conference (ACC), 2015 IEEE 3880-3885 BibTeX
-
2015 The (Almost) Complete Guide to Tree Pattern Containment PODS '15 : Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015 117-130 BibTeX
Preprints
Artikel
Buchkapitel
Beiträge auf Konferenzen
2014
-
2014 Enumeration of weighted games with minimum and an analysis of voting power for bipartite complete games with minimum Annals of Operations Research 222 1 317-339 BibTeX
-
2014 Heuristic and exact solutions to the inverse power index problem for small voting bodies Annals of Operations Research 215 1 137-163 BibTeX
-
2014 On minimum integer representations of weighted games Mathematical Social Sciences 67 9 - 22 BibTeX
-
2014 How long does it take to consensus in the Hegselmann-Krause model? Proceedings in Applied Mathematics and Mechanics 14 1 803-804 BibTeX
-
2014 Evaluation of a new supply strategy based on stochastic programming for a fashion discounter Helber, Stefan (Hrsg.): Operations Research Proceedings 2012 Springer 515-520 BibTeX
Preprints
Artikel
Buchkapitel
Beiträge auf Konferenzen
Masterarbeiten
2013
-
2013 Generating, Sampling and Counting Subclasses of Regular Tree Languages Theory of Computing Systems 52 3 542-585 BibTeX
-
2013 The golden number and Fibonacci sequences in the design of voting structures European Journal of Operational Research 226 2 246-257 BibTeX
-
2013 Using Financial Derivatives to Hedge Against Market Risks in IT Outsourcing Projects – a Quantitative Decision Model Journal of Decision Systems 22 4 249-264 BibTeX
-
2013 On Dedekind’s problem for complete simple games International Journal of Game Theory 42 2 411-437 BibTeX
-
2013 A three-dimensional discontinuous Galerkin model applied to the baroclinic simulation of Corpus Christi Bay Ocean Dynamics 63 1 89-113 BibTeX
-
2013 The complexity of regular expressions and property paths in SPARQL ACM Transactions on Database Systems 38 4 BibTeX
-
2013 Querying graph databases with XPath Proceedings of the 16th International Conference on Database Theory 129-140 BibTeX
-
2013 Efficient Separability of Regular Languages by Subsequences and Suffixes 40th International Colloquium on Automata, Languages, and Programming 150-161 BibTeX
-
2013 Containment of pattern-based queries over data trees Proceedings of the 16th International Conference on Database Theory 201-212 BibTeX
Artikel
Buchkapitel
Beiträge auf Konferenzen
Masterarbeiten
2012
-
2012 On minimum sum representations for weighted voting games Annals of Operations Research 196 1 361-369 BibTeX
-
2012 The tractability frontier for NFA minimization Journal of Computer and System Sciences 78 1 198-210 BibTeX
-
2012 Regular Expressions with Counting : Weak versus Strong Determinism SIAM Journal on Computing 41 1 160-190 BibTeX
-
2012 A discontinuous/continuous low order finite element shallow water model on the sphere Journal of Computational Physics 231 6 2396-2413 BibTeX
-
2012 The Integrated Size and Price Optimization problem Numerical Algebra, Control and Optimization 2 4 669-693 BibTeX
-
2012 Developing and Analyzing XSDs through BonXai Proceedings of the VLDB Endowment 5 12 1994-1997 BibTeX
-
2012 The complexity of evaluating path expressions in SPARQL Proceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of Database Systems 101-112 BibTeX
Preprints
Artikel
Buchkapitel
Beiträge auf Konferenzen
2011
-
2011 On the Hegselmann-Krause conjecture in opinion dynamics Journal of Difference Equations and Applications 17 6 859-876 BibTeX
-
2011 Analysing Energy-Incentivized Cooperation in Next Generation Mobile Networks using Normative Frameworks and an Agent-based Simulation Future Generation Computer Systems 27 8 1092-1102 BibTeX
-
2011 Using A Normative Framework to Explore the Prototyping of Wireless Grids Coordination, Organizations, Institutions, and Norms in Agent Systems VI : COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers Springer 95-113 BibTeX
-
2011 Using Reputation Information on Internet-of-Services Markets Bernstein, Abraham ; Schwabe, Gerhard (Hrsg.): Proceedings of the 10th International Conference on Wirtschaftsinformatik, Bd. 2 1042-1051 BibTeX
-
2011 On Computer Simulation as a Component in Information Systems Research ECIS 2011 Proceedings BibTeX
-
2011 A geometry independent slope limiter for the discontinuous Galerkin method Computational Science and High Performance Computing IV Springer 207-217 BibTeX
-
2011 The complexity of text-preserving XML transformations Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems 247-258 BibTeX
Artikel
Buchkapitel
Beiträge auf Konferenzen
2010
-
2010 "Entity" and "Autonomy" : The Conclusion of Contracts by Software Agents in the Eyes of the Law. A software agent definition-based analysis Revue d'Intelligence Artificielle 24 3 391-413 BibTeX
-
2010 Enabling Usage Control through Reputation Objects : A Discussion on e-Commerce and the Internet of Services Environments Journal of Theoretical and Applied Electronic Commerce Research 5 2 59-76 BibTeX
-
2010 Socio-Economic Mechanisms to Coordinate the Internet of Services : the Simulation Environment SimIS Journal of Artificial Societies and Social Simulation 13 2 BibTeX
-
2010 Simulation of Flow and Transport in a Static Mixer Using Adaptive and Higher Order Numerical Methods Micro and Macro Mixing : analysis, simulation and numerical calculation Springer 245-262 BibTeX
-
2010 Reputation in Multi Agent Systems and the Incentives to Provide Feedback Dix, Jürgen ; Wittevee, Cees (Hrsg.): Multiagent System technologies : 8th German conference, MATES 2010, Leipzig, Germany, September 27-29 ; proceedings Springer 40-51 BibTeX
-
2010 The Conclusion of Contracts by Software Agents in the Eyes of the Law : Reprint des gleichnamigen Beitrags auf der 7th Intl. Conf. on Autonomous Agents and Multi-Agent Systems Padmavathi, L. (Hrsg.): Software Agents and Law The Icfai University Press 70-91 BibTeX
-
2010 Challenges for Social Control in Wireless Mobile Grids Doulamis, Tasos ; Mambretti, Joe ; Tomkos, Ioannis ; Varvarigou, Dora (Hrsg.): Networks for Grid Applications Springer 147-154 BibTeX
-
2010 On Computer Simulation as a Component in Information Systems Research Global Perspectives on Design Science Research : 5th international conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010 ; proceedings Robert Winter J. Leon Zhao Stephan Aier Springer 167-179 BibTeX
Artikel
Buchkapitel
Beiträge auf Konferenzen
2009
-
2009 A simulation of an economic, self-organising resource allocation approach for application layer networks Journal of Computer Networks 53 10 1760-1770 BibTeX
-
2009 Using Institutions to bridge the Trust-Gap in Utility Computing Markets - An extended "Trust Game" Hansen, Hans Robert ; Karagiannis, Dimitris ; Fill, Hans-Georg (Hrsg.): Business Services: Konzepte, Technologien, Anwendungen ; 9. Internationale Tagung Wirtschaftsinformatik. Band 2 Österreichische Computer Gesellschaft 213-222 BibTeX
-
2009 On the Effects of Reputation in the Internet of Services Paolucci, Mario (Hrsg.): Reputation : Theory and Technology 200-214 BibTeX
-
2009 From Real-World Regulations to Concrete Norms for Software Agents : A Case-Based Reasoning Approach Poblet, Marta ; Schild, Uri ; Zeleznikow, John (Hrsg.): Legal and Negotiation Support Systems 2009 14-27 BibTeX
-
2009 The Combinatorics of (S,M,L,XL) or the best fitting delivery of T-shirts Models and Algorithms for Optimization in Logistics Schloss Dagstuhl — Leibniz-Zentrum für Informatik, Germany BibTeX
-
2009 Minor change is not enough : analysis of Ebay's reputation model Paolucci, Mario (Hrsg.): Reputation : Theory and Technology BibTeX
-
2009 Reputation in multi agent systems and the incentives to provide feedback 48 Lehrstuhl für Wirtschaftsinformatik, Univ. Bayreuth BibTeX
Artikel
Buchkapitel
Beiträge auf Konferenzen
2008
-
2008 A framework for trust and reputation in grid environments Journal of Grid Computing 6 3 225-237 BibTeX
-
2008 On the Simulation of Grid Market Coordination Approaches Journal of Grid Computing 6 3 349-366 BibTeX
-
2008 The Conclusion of Contracts by Software Agents in the Eyes of the Law Padgham, Lin ; Parker, David ; Müller, Jörg ; Parsons, Simon (Hrsg.): Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 International Foundation for Autonomous Agents and Multiagent Systems 771-778 BibTeX
Preprints
Artikel
Bücher
Buchkapitel
Habilitationsschriften
2007
-
2007 The local discontinuous Galerkin method for three-dimensional shallow water flow Computer Methods in Applied Mechanics and Engineering 196 4-6 734-746 BibTeX
Artikel
2005
-
2005 A discontinuous Galerkin method for three-dimensional shallow water equations Journal of Scientific Computing 22 1-3 245-267 BibTeX
Artikel
2004
-
2004 A discontinuous Galerkin method for three-dimensional shallow water flows with free surface Computational Methods in Water Resources. Volume 2. Proceedings of the XVth International Conference on Computational Methods in Water Resources Elsevier 1691-1702 BibTeX
Buchkapitel
2002
-
2002 A discontinuous Galerkin method for two-dimensional flow and transport in shallow water Advances in Water Resources 25 1 67-84 BibTeX
-
2002 The local discontinuous Galerkin method for advection-diffusion equations arising in groundwater and surface water applications Resource Recovery, Confinement, and Remediation of Environmental Hazards Springer 231-245 BibTeX
-
2002 Discontinuous Galerkin methods for shallow water flow and transport Computational Methods in Water Resources. Volume 2. Proceedings of the XIV International Conference on Computational Methods in Water Resources Elsevier 915-922 BibTeX
Artikel
Buchkapitel
2000
-
2000 The local discontinuous Galerkin method for contaminant transport Advances in Water Resources 24 1 73-87 BibTeX
-
2000 The Local Discontinuous Galerkin Method for Contaminant Transport Problems Discontinuous Galerkin Methods : Theory, Computation and Applications Springer 309-314 BibTeX