Johannes Müller
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
J. Symb. Comput., March, 2024
Essentially Sharp Estimates on the Entropy Regularization Error in Discrete Discounted Markov Decision Processes.
CoRR, 2024
CoRR, 2024
Fisher-Rao Gradient Flows of Linear Programs and State-Action Natural Policy Gradients.
CoRR, 2024
Proceedings of the 25th IEEE Latin American Test Symposium, 2024
Shuttle2X -Overcoming Operational Borders of Autonomous Shuttles by Infrastructure Support.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
Proceedings of the IEEE International Memory Workshop, 2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
2023
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.
IEEE Trans. Computers, 2023
CoRR, 2023
Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation.
IEEE Access, 2023
Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees.
Proceedings of the 32nd USENIX Security Symposium, 2023
UPEC-PN: Exhaustive constant time verification of low-level software using property checking.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2023
Multi-Level Operation of Ferroelectric FET Memory Arrays for Compute-In-Memory Applications.
Proceedings of the IEEE International Memory Workshop, 2023
Proceedings of the International Conference on Machine Learning, 2023
2022
Tripolye Mega-Sites: "Collective Computational Abilities" of Prehistoric Proto-Urban Societies?
J. Soc. Comput., 2022
Inverse Filtering of Magnetic Prospection Data - A Gateway to the Social Structure of Cucuteni-Tripolye Settlements?
Remote. Sens., 2022
CoRR, 2022
Solving infinite-horizon POMDPs with memoryless stochastic policies in state-action space.
CoRR, 2022
CoRR, 2022
Proceedings of the Mathematical and Scientific Machine Learning, 2022
Proceedings of the Mathematical and Scientific Machine Learning, 2022
Extended MTJ TDDB Model, and Improved STT-MRAM Reliability With Reduced Circuit and Process Variabilities.
Proceedings of the IEEE International Reliability Physics Symposium, 2022
Proceedings of the IEEE International Memory Workshop, 2022
The Geometry of Memoryless Stochastic Policy Optimization in Infinite-Horizon POMDPs.
Proceedings of the Tenth International Conference on Learning Representations, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
2021
Evaluation Methods for Citizen Design Science Studies: How Do Planners and Citizens Obtain Relevant Information from Map-Based E-Participation Tools?
ISPRS Int. J. Geo Inf., 2021
Frontiers Neurorobotics, 2021
The impact of digital contact tracing on the SARS-CoV-2 pandemic - a comprehensive modelling study.
EPJ Data Sci., 2021
CoRR, 2021
Error Estimates for the Variational Training of Neural Networks with Boundary Penalty.
CoRR, 2021
IC Design & Technology Co-Development: e-NVM & mmWave enablement of 22FDX™ Technology.
Proceedings of the International Conference on IC Design and Technology, 2021
A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
Microelectron. J., 2020
Impact of Ferroelectric Wakeup on Reliability of Laminate based Si-doped Hafnium Oxide (HSO) FeFET Memory Cells.
Proceedings of the 2020 IEEE International Reliability Physics Symposium, 2020
Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
2019
PLoS Comput. Biol., 2019
Content is king - But who is the king of kings? The effect of content marketing, sponsored content & user-generated content on brand responses.
Comput. Hum. Behav., 2019
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik, 2019
2018
Proceedings of the 26th Euromicro International Conference on Parallel, 2018
2017
Robust technology chain design: considering undesired interactions within the technology chain.
Prod. Eng., 2017
Artif. Intell. Eng. Des. Anal. Manuf., 2017
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017
Designing with Citizens: Challenges and Evaluation Methods for Crowd-sourced Urban Layouts.
Proceedings of the 1st International Workshop on Cognition and Artificial Intelligence for Human-Centred Design 2017 co-located with IJCAI 2017, 2017
Proceedings of the Computing Frontiers Conference, 2017
2016
Exploring use and benefit of corporate social software: Measuring success in the Siemens case References+.
J. Syst. Inf. Technol., 2016
Proceedings of the 46th European Solid-State Device Research Conference, 2016
2015
Parametrization of Random Vectors in Polynomial Chaos Expansions via Optimal Transportation.
SIAM J. Sci. Comput., 2015
J. Comput. Biol., 2015
Proceedings of the Mensch und Computer 2015, 2015
Identifying Users and Use of (Electric-) Free-Floating Carsharing in Berlin and Munich.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
2014
SIAM/ASA J. Uncertain. Quantification, 2014
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014
PICav: Precise, Iterative, and Complement-Based Cloud Storage Availability Calculation Scheme.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014
Proceedings of the Mensch & Computer 2014 - Usability Professionals, München, Germany, August 31, 2014
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014
2013
IEEE Trans. Geosci. Remote. Sens., 2013
Exploring Factual and Perceived Use and Benefits of a Web 2.0-based Knowledge Management Application: The Siemens Case References+.
Proceedings of the 13th International Conference on Knowledge Management and Knowledge Technologies, 2013
2012
Ice contamination of Meteosat/SEVIRI IR13.4 channel implied by Inter-Calibration against Metop/IASI.
Proceedings of the 2012 IEEE International Geoscience and Remote Sensing Symposium, 2012
2011
Enterprise Microblogging for Advanced Knowledge Sharing: The References@BT Case Study.
J. Univers. Comput. Sci., 2011
HMD Prax. Wirtsch., 2011
Information Dispersion over Redundant Arrays of Optimal Cloud Storage for Desktop Users.
Proceedings of the IEEE 4th International Conference on Utility and Cloud Computing, 2011
Proceedings of the Software Product Lines - 15th International Conference, 2011
Proceedings of the Software Engineering 2011, 2011
A polynomial chaos based Bayesian approach for on-line parameter estimation and control.
Proceedings of the 2011 IEEE International Symposium on Computer-Aided Control System Design, 2011
2010
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010
2009
Theor. Comput. Sci., 2009
Solution Development 2.0 - Provision and Roll-out of Solution Packages with Social Networking.
Proceedings of the Fifth Conference Professional Knowledge Management: Experiences and Visions, 2009
2008
Biosyst., 2008
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
2007
J. Cogn. Neurosci., 2007
Ein generisches Photosynthese- und Transpirationsmodul für die Modellierung der Stoffbildung von Weizen, Gerste und Raps auf Organ und -Bestandesebene.
Proceedings of the Agrarinformatik im Spannungsfeld zwischen Regionalisierung und globalen Wertschöpfungsketten, 2007
2006
A course in mathematical biology - quantitative modeling with mathematical and computational methods.
Mathematical modeling and computation 12, SIAM, ISBN: 978-0-89871-612-2, 2006
1998
SIAM J. Appl. Math., 1998