Search results for "Hensel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
219	Daiju Inaba, Tateaki Sasaki	A numerical study of extended Hensel series.	SNC	2007	DBLP DOI BibTeX RDF	many-valuedness, multivariate algebraic function, series expansion, convergence, singular point
87	Martin E. Avendano, Teresa Krick, Ariel Pacetti	Newton-Hensel Interpolation Lifting.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Newton-Hensel lifting, Adic integers, Sparse polynomial interpolation
87	Dario Catalano, Phong Q. Nguyen, Jacques Stern	The Hardness of Hensel Lifting: The Case of RSA and Discrete Logarithm.	ASIACRYPT	2002	DBLP DOI BibTeX RDF	Paillier, Hensel, One-wayness, RSA, Lattice, Discrete logarithm, Public-key
62	Seyed Mohammad Mahdi Javadi, Michael B. Monagan	On factorization of multivariate polynomials over algebraic number and function fields.	ISSAC	2009	DBLP DOI BibTeX RDF	hensel lifting, sparse interpolation, factorization algorithms, algebraic function fields
52	Jakub Tyc, Defne Sunguroglu Hensel, Erica Isabella Parisi, Grazia Tucci, Michael Ulrich Hensel	Integration of Remote Sensing Data into a Composite Voxel Model for Environmental Performance Analysis of Terraced Vineyards in Tuscany, Italy.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
48	Tateaki Sasaki, Satoshi Yamaguchi	An Analysis of Cancellation Error in Multivariate Hensel Construction with Floating-Point Number Arithmetic.	ISSAC	1998	DBLP DOI BibTeX RDF	approximate algebraic computation, cancellation error, multivariate Hensel construction, error analysis
48	Christopher J. Zarowski, Howard C. Card	On Addition and Multiplication with Hensel Codes.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	Farey fractions, digital arithmetic, codes, multiplication, addition, Hensel codes
48	Asish Mukhopadhyay	A Solution to the Polynomial Hensel Code Conversion Problem.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	rational function representation, Algebraic simplification, algorithm design, Euclidean algorithm, Hensel code
48	E. V. Krishnamurthy	On the Conversion of Hensel Codes to Farey Rationals.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	reduced residue system, Euclidean filtering algorithm, Euler's totient function, Farey rationals, isobaric set, multiplicative inverse, p-adic arithmetic, primitive root, factorization, Conversion, index, greatest common divisor, Hensel code, extended Euclidean algorithm
47	E. V. Krishnamurthy, Venu K. Murthy	Fast Iterative Division of p-adic Numbers.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	Hensel lemma, higher order convergence, p-adic numbers, iterate, reciprocal, Newton method, quadratic convergence, Hensel code
43	Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt	Complexity issues in bivariate polynomial factorization.	ISSAC	2004	DBLP DOI BibTeX RDF	Hensel lifting, multi-moduli, tellegen, transposition principle, computer algebra, polynomial factorization
39	Masayuki Noro, Kazuhiro Yokoyama	Yet another practical implementation of polynomial factorization over finite fields.	ISSAC	2002	DBLP DOI BibTeX RDF
39	Carla Limongelli, Marco Temperini	On the Uniform Representation of Mathematical Data Structures.	DISCO	1993	DBLP DOI BibTeX RDF
26	Hensel Donato Jahja, Novanto Yudistira, Sutrisno 0003	Mask usage recognition using vision transformer with transfer learning and data augmentation.	Intell. Syst. Appl.	2023	DBLP DOI BibTeX RDF
26	Sebastian Hensel, Yuning Liu	The Sharp Interface Limit of a Navier-Stokes/Allen-Cahn System with Constant Mobility: Convergence Rates by a Relative Energy Approach.	SIAM J. Math. Anal.	2023	DBLP DOI BibTeX RDF
26	Stefan Hensel, Marin B. Marinov, Raphael Panter	Design and Implementation of a Camera-Based Tracking System for MAV Using Deep Learning Algorithms.	Comput.	2023	DBLP DOI BibTeX RDF
26	Laura Birka Hensel, Nutchanon Yongsatianchot, Parisa Torshizi, Elena Minucci, Stacy Marsella	Large language models in textual analysis for gesture selection.	CoRR	2023	DBLP DOI BibTeX RDF
26	Jera Hensel, Jürgen Giesl	Proving Termination of C Programs with Lists.	CoRR	2023	DBLP DOI BibTeX RDF
26	Frank Emrich, Jera Hensel, Jürgen Giesl	AProVE: Modular Termination Analysis of Memory-Manipulating C Programs.	CoRR	2023	DBLP DOI BibTeX RDF
26	Jera Hensel, Jürgen Giesl	Automated Termination Proofs for C Programs with Lists (Short WST Version).	CoRR	2023	DBLP DOI BibTeX RDF
26	Hendrik Hensel, Christoph Joergens, Markus Clemens	Simulation of Permittivity and Conductivity Graded Materials for HVDC GIL for Different Voltage Forms.	CoRR	2023	DBLP DOI BibTeX RDF
26	Felix Hensel, Charles Arnal, Mathieu Carrière, Théo Lacombe, Hiroaki Kurihara, Yuichi Ike, Frédéric Chazal	MAGDiff: Covariate Data Set Shift Detection via Activation Graphs of Deep Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
26	Gabriele Caselli, Maurice Hensel, Irwin Yousept	Quasilinear Variational Inequalities in Ferromagnetic Shielding: Well-Posedness, Regularity, and Optimal Control.	SIAM J. Control. Optim.	2023	DBLP DOI BibTeX RDF
26	Constanze Neupetsch, Eric Hensel, Andreas Heinke, Tom Stapf, Nico Stecher, Hagen Malberg, Christoph-Eckhard Heyde, Welf-Guntram Drossel	Approach for Non-Intrusive Detection of the Fit of Orthopaedic Devices Based on Vibrational Data.	Sensors	2023	DBLP DOI BibTeX RDF
26	Pasquale D'Alterio, Christian Hensel, Bashar Awwad Shiekh Hasan	Can Unpaired Textual Data Replace Synthetic Speech in ASR Model Adaptation?	ASRU	2023	DBLP DOI BibTeX RDF
26	Laura Birka Hensel, Nutchanon Yongsatianchot, Parisa Torshizi, Elena Minucci, Stacy Marsella	Large language models in textual analysis for gesture selection.	ICMI	2023	DBLP DOI BibTeX RDF
26	Jera Hensel, Jürgen Giesl	Proving Termination of C Programs with Lists.	CADE	2023	DBLP DOI BibTeX RDF
26	Paul Kritschgau, Irene Alby, Rebecca Brown Adelman, Robin Hensel, Kristin Brewster, Susie A. Huggins, Karen Rambo-Hernandez	Theatre in Engineering Classes: An Interdisciplinary Approach to Address Bias in Student Engineering Teams.	FIE	2023	DBLP DOI BibTeX RDF
26	Simon Hensel, Benjamin Jagusch, Thomas Lux	Introduction of Artificial Intelligence in Healthcare Lectures: An Evaluation.	AICCSA	2023	DBLP DOI BibTeX RDF
26	Maurice Hensel, Irwin Yousept	Numerical Analysis for Maxwell Obstacle Problems in Electric Shielding.	SIAM J. Numer. Anal.	2022	DBLP DOI BibTeX RDF
26	Kurt Rachlitz, Benjamin Grossmann-Hensel, Ronja Friedl	The demoralization of society and the proliferation of organization.	Kybernetes	2022	DBLP DOI BibTeX RDF
26	Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001	The probabilistic model checker Storm.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
26	Stefan Hensel, Marin B. Marinov, Markus Obert	3D LiDAR Based SLAM System Evaluation with Low-Cost Real-Time Kinematics GPS Solution.	Comput.	2022	DBLP DOI BibTeX RDF
26	Hensel Donato Jahja, Novanto Yudistira, Sutrisno 0003	Mask Usage Recognition using Vision Transformer with Transfer Learning and Data Augmentation.	CoRR	2022	DBLP DOI BibTeX RDF
26	Thibault de Surrel, Felix Hensel, Mathieu Carrière, Théo Lacombe, Yuichi Ike, Hiroaki Kurihara, Marc Glisse, Frédéric Chazal	RipsNet: a general architecture for fast and robust estimation of the persistent homology of point clouds.	CoRR	2022	DBLP BibTeX RDF
26	Abozar Nasirahmadi, Oliver Hensel	Toward the Next Generation of Digitalization in Agriculture Based on Digital Twin Paradigm.	Sensors	2022	DBLP DOI BibTeX RDF
26	Simone Parisi, Davide Tateo, Maximilian Hensel, Carlo D'Eramo, Jan Peters 0001, Joni Pajarinen	Long-Term Visitation Value for Deep Exploration in Sparse-Reward Reinforcement Learning.	Algorithms	2022	DBLP DOI BibTeX RDF
26	Willy Fritzsche, Steffen Goebbels, Simon Hensel, Marco Rußinski, Nils Schuch	Inpainting Applied to Facade Images: A Comparison of Algorithms.	ICPRAI (1)	2022	DBLP DOI BibTeX RDF
26	Thibault de Surrel, Felix Hensel, Mathieu Carrière, Théo Lacombe, Yuichi Ike, Hiroaki Kurihara, Marc Glisse, Frédéric Chazal	RipsNet: a general architecture for fast and robust estimation of the persistent homology of point clouds.	TAG-ML	2022	DBLP BibTeX RDF
26	Maja Fehlberg, Kwang-Seop Kim, Knut Drewing, René Hensel, Roland Bennewitz	Perception of Friction in Tactile Exploration of Micro-structured Rubber Samples.	EuroHaptics	2022	DBLP DOI BibTeX RDF
26	Jera Hensel, Constantin Mensendiek, Jürgen Giesl	AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution).	TACAS (2)	2022	DBLP DOI BibTeX RDF
26	Stefan Hensel, Marin B. Marinov, Max Schmitt	Evaluation of an Inertial and Optical Sensors Based Mapping and Localization System.	FABULOUS	2022	DBLP DOI BibTeX RDF
26	Felix Hensel, Michael Moor, Bastian Rieck	A Survey of Topological Machine Learning Methods.	Frontiers Artif. Intell.	2021	DBLP DOI BibTeX RDF
26	Kibebew Wakjira, Taye Negera, Aleksejs Zacepins, Armands Kviesis, Vitalijs Komasilovs, Sascha Fiedler, Sascha Kirchner, Oliver Hensel, Dwi M. J. Purnomo, Marlis Nawawi, Amanda Paramita, Okie Fauzi Rachman, Aditya Pratama, Nur Al Faizah, Markos Lemma, Stefanie Schaedlich, Angela Zur, Magdalena Sperl, Katrin Proschek, Kristina Gratzer, Robert Brodschneider	Smart apiculture management services for developing countries - the case of SAMS project in Ethiopia and Indonesia.	PeerJ Comput. Sci.	2021	DBLP DOI BibTeX RDF
26	Jan Philipp Graesch, Susanne Hensel-Börner, Jörg Henseler	Information technology and marketing: an important partnership for decades.	Ind. Manag. Data Syst.	2021	DBLP DOI BibTeX RDF
26	Przemyslaw G. Hensel, Agnieszka Kacprzak	Curbing cyberloafing: studying general and specific deterrence effects with field evidence.	Eur. J. Inf. Syst.	2021	DBLP DOI BibTeX RDF
26	Constanze Neupetsch, Eric Hensel, Burkhard Kranz, Welf-Guntram Drossel, Thomas Felderhoff, Christoph-Eckhard Heyde	Proof of Concept for the Detection of Local Pressure Marks in Prosthesis Sockets Using Structural Dynamics Measurement.	Sensors	2021	DBLP DOI BibTeX RDF
26	Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen	Counterexample-guided inductive synthesis for probabilistic systems.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
26	Simon Hensel, Steffen Goebbels, Martin Kada	LSTM Architectures for Facade Structure Completion.	VISIGRAPP (1: GRAPP)	2021	DBLP DOI BibTeX RDF
26	Simon Hensel, Steffen Goebbels, Martin Kada	Facade Layout Completion with Long Short-Term Memory Networks.	VISIGRAPP (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
26	Stefan Hensel, Marin B. Marinov, Max Schmitt	Object Detection and Mapping with Unmanned Aerial Vehicles Using Convolutional Neural Networks.	FABULOUS	2021	DBLP DOI BibTeX RDF
26	Stefan Hensel, Marin B. Marinov, Tino Schwilk, Dimitar Nikolov	Application of Gaussian Process Estimation for Magnetic Field Mapping.	FABULOUS	2021	DBLP DOI BibTeX RDF
26	Sarah C. Brüningk, Felix Hensel, Louis P. Lukas, Merel Kuijs, Catherine R. Jutzeler, Bastian Rieck	Back to the basics with inclusion of clinical domain knowledge - A simple, scalable and effective model of Alzheimer's Disease classification.	MLHC	2021	DBLP BibTeX RDF
26	Stephan Hensel	Semantische Revisionskontrolle für die Evolution von Informations- und Datenmodellen.		2021	RDF
26	Barbara Sturm, Sharvari Raut, Boris Kulig, Jakob Münsterer, Klaus Kammhuber, Oliver Hensel, Stuart O. J. Crichton	In-process investigation of the dynamics in drying behavior and quality development of hops using visual and environmental sensors combined with chemometrics.	Comput. Electron. Agric.	2020	DBLP DOI BibTeX RDF
26	Randal E. Bryant, Randy H. Katz, Chase Hensel, Erwin P. Gianchandani	From Data to Knowledge to Action: Enabling the Smart Grid.	CoRR	2020	DBLP BibTeX RDF
26	Sarah C. Brüningk, Felix Hensel, Catherine R. Jutzeler, Bastian Rieck	Image analysis for Alzheimer's disease prediction: Embracing pathological hallmarks for model architecture design.	CoRR	2020	DBLP BibTeX RDF
26	Simone Parisi, Davide Tateo, Maximilian Hensel, Carlo D'Eramo, Jan Peters 0001, Joni Pajarinen	Long-Term Visitation Value for Deep Exploration in Sparse Reward Reinforcement Learning.	CoRR	2020	DBLP BibTeX RDF
26	Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001	The Probabilistic Model Checker Storm.	CoRR	2020	DBLP BibTeX RDF
26	Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein 0001	Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
26	Sebastian Höppner, Holger Eisenreich, Dennis Walter, André Scharfe, Alexander Oefelein, Florian Schraut, Jörg Schreiter, Thorsten Riedel, Heiner Bauer, Robert Niebsch, Stephan Scherzer, Thomas Hocker, Stefan Scholze, Stephan Henker, Matthias Nossmann, Ulrich Hensel, Helmut Prengel	Adaptive Body Bias Aware Implementation for Ultra-Low-Voltage Designs in 22FDX Technology.	IEEE Trans. Circuits Syst. II Express Briefs	2020	DBLP DOI BibTeX RDF
26	Zijia Li, Georg Nawratil, Florian Rist, Michael Hensel	Invertible Paradoxic Loop Structures for Transformable Design.	Comput. Graph. Forum	2020	DBLP DOI BibTeX RDF
26	Stefan Hensel, Marin B. Marinov, Christoph Kehret, Maria Stefanova-Pavlova	Experimental Set-up for Evaluation of Algorithms for Simultaneous Localization and Mapping.	EuroSPI	2020	DBLP DOI BibTeX RDF
26	Julian Jørgensen Teule, Marius Frilund Hensel, Victor Büttner, Jonathan Velgaard Sørensen, Magnus Melgaard, Rasmus Løvenstein Olsen	Examining the Cyber Security of a Real World Access Control Implementation.	CyberSA	2020	DBLP DOI BibTeX RDF
26	Laura B. Hensel, Jiayu Zhan, R. Thora Bjornsdottir, Oliver G. B. Garrod, Philippe G. Schyns, Rachael E. Jack	Psychologically Valid Social Face Features for Virtual Agents.	IVA	2020	DBLP DOI BibTeX RDF
26	Abozar Nasirahmadi, Barbara Sturm, Anne-Charlotte Olsson, Knut-Håkan Jeppsson, Simone Müller, Sandra A. Edwards, Oliver Hensel	Automatic scoring of lateral and sternal lying posture in grouped pigs using image processing and Support Vector Machine.	Comput. Electron. Agric.	2019	DBLP DOI BibTeX RDF
26	Christian Hensel, Maxi Becker, Sandra Düzel, Ilja Demuth, Kristina Norman, Elisabeth Steinhagen-Thiessen, Jürgen Gallinat, Ulman Lindenberger, Simone Kühn	Influence of nutritional tyrosine on cognition and functional connectivity in healthy old humans.	NeuroImage	2019	DBLP DOI BibTeX RDF
26	Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen	Counterexample-Driven Synthesis for Probabilistic Program Sketches.	CoRR	2019	DBLP BibTeX RDF
26	Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen 0001, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001	Parameter Synthesis for Markov Models.	CoRR	2019	DBLP BibTeX RDF
26	Abozar Nasirahmadi, Barbara Sturm, Sandra A. Edwards, Knut-Håkan Jeppsson, Anne-Charlotte Olsson, Simone Müller, Oliver Hensel	Deep Learning and Machine Vision Approaches for Posture Detection of Individual Pigs.	Sensors	2019	DBLP DOI BibTeX RDF
26	Sebastian Höppner, Jörg Schreiter, Robert Niebsch, Stephan Scherzer, Ulrich Hensel, Jörg Winkler, Mario Orgis, Holger Eisenreich, Dennis Walter, Uwe Steeb, André Scharfe, Clifford Dmello, Robert Sinkwitz, Heiner Bauer, Alexander Oefelein, Florian Schraut	How to Achieve World-Leading Energy Efficiency using 22FDX with Adaptive Body Biasing on an Arm Cortex-M4 IoT SoC.	ESSDERC	2019	DBLP DOI BibTeX RDF
26	Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen	Counterexample-Driven Synthesis for Probabilistic Program Sketches.	FM	2019	DBLP DOI BibTeX RDF
26	Tim Ameler, Kai Blohme, Lilith Brandt, Raphael Brüngel, Alice Hensel, Lisa Huber, Francis Kuper, Jessica Swoboda, Maren Warnecke, Michaela Warzecha, Daniel Heß, Johannes Frömke, Annette Schmitz-Stolbrink, Christoph M. Friedrich	A Comparative Evaluation of SteamVR Tracking and the OptiTrack System for Medical Device Tracking.	EMBC	2019	DBLP DOI BibTeX RDF
26	Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein 0001, Jan Kretínský, David Parker 0001, Tim Quatmann, Enno Ruijters, Marcel Steinmetz	The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).	TACAS (3)	2019	DBLP DOI BibTeX RDF
26	Chaona Chen, Laura B. Hensel, Yaocong Duan, Robin A. A. Ince, Oliver G. B. Garrod, Jonas Beskow, Rachael E. Jack, Philippe G. Schyns	Equipping social robots with culturally-sensitive facial expressions of emotion using data-driven methods.	FG	2019	DBLP DOI BibTeX RDF
26	Stefan Hensel, Marin B. Marinov, Raphael Schwarz, Ivan Topalov	Ground Sky Imager Based Short Term Cloud Coverage Prediction.	FABULOUS	2019	DBLP DOI BibTeX RDF
26	Laura Fink, Nora Hensel, Daniela Markov-Vetter, Christoph Weber, Oliver G. Staadt, Marc Starnrninqer	Hybrid Mono-Stereo Rendering in Virtual Reality.	VR	2019	DBLP DOI BibTeX RDF
26	Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder	Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
26	Franz Román, Oliver Hensel	A humidistat to control a solar powered DC fan for grain drying and ventilation in remote areas.	Comput. Electron. Agric.	2018	DBLP DOI BibTeX RDF
26	Marcin Milkowski, Witold M. Hensel, Mateusz Hohol	Replicability or reproducibility? On the replication crisis in computational neuroscience and sharing only relevant detail.	J. Comput. Neurosci.	2018	DBLP DOI BibTeX RDF
26	Burkhard Hensel, Klaus Kabitzsch	Software Supporting Parameter Optimization of Finite Element Models.	UKSim	2018	DBLP DOI BibTeX RDF
26	Henry Bloch, Tobias Grebner, Alexander Fay, Stephan Hensel, Anna Menschner, Leon Urbas, Mario Hoernicke, Torsten Knohl, Jens Bernshausen, Bayer Ag	Orchestration of Services in Modular Process Plants.	IECON	2018	DBLP DOI BibTeX RDF
26	Christian Hensel	The probabilistic model checker Storm: symbolic methods for probabilistic model checking.		2018	RDF
26	Christian Walther, Andreas Wenzel, Frank Beneke, Oliver Hensel, Jochen Huster	Determination of working states of the rotating cutting assembly in forage harvesters by artificial neural networks.	Autom.	2017	DBLP DOI BibTeX RDF
26	Peter Müller, Eric Hensel	Investigation on similarity laws for dynamic properties of presses.	Prod. Eng.	2017	DBLP DOI BibTeX RDF
26	Burkhard Hensel, Steffen Schröder, Klaus Kabitzsch	New Coordination Software for Parameter Identification Applied to Thermal Models of an Actuator Strut.	J. Comput. Eng.	2017	DBLP DOI BibTeX RDF
26	Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann	Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.	J. Autom. Reason.	2017	DBLP DOI BibTeX RDF
26	Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann	Analyzing Program Termination and Complexity Automatically with AProVE.	J. Autom. Reason.	2017	DBLP DOI BibTeX RDF
26	Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder	Lower Bounds for Runtime Complexity of Term Rewriting.	J. Autom. Reason.	2017	DBLP DOI BibTeX RDF
26	Jera Hensel, Frank Emrich, Florian Frohn, Thomas Ströder, Jürgen Giesl	AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution).	TACAS (2)	2017	DBLP DOI BibTeX RDF
26	Henry Bloch, Alexander Fay, Torsten Knohl, Mario Hoernicke, Jens Bernshausen, Stephan Hensel, Anna Hahn, Leon Urbas	A microservice-based architecture approach for the automation of modular process plants.	ETFA	2017	DBLP DOI BibTeX RDF
26	Markus Graube, Stephan Hensel, Chris Paul Iatrou, Leon Urbas	Information models in OPC UA and their advantages and disadvantages.	ETFA	2017	DBLP DOI BibTeX RDF
26	Henry Bloch, Alexander Fay, Torsten Knohl, Stephan Hensel, Anna Hahn, Leon Urbas, Sachari Wassilew, Jens Bernshausen, Mario Hoernicke, Axel Haller	Model-based engineering of CPPS in the process industries.	INDIN	2017	DBLP DOI BibTeX RDF
26	Burkhard Hensel	Einstellung von PI-Reglern bei Send-on-Delta-Abtastung: Regelkreisoptimierung unter Berücksichtigung von Energieeffizienz, Netzlast und Regelgüte		2017	RDF
26	Abozar Nasirahmadi, Oliver Hensel, Sandra A. Edwards, Barbara Sturm	Automatic detection of mounting behaviours among pigs using image analysis.	Comput. Electron. Agric.	2016	DBLP DOI BibTeX RDF
26	Laura Desveaux, Payal Agarwal, Jay Shaw, Jennifer M. Hensel, Geetha Mukerji, Nike Onabajo, Husayn Marani, Trevor Jamieson, Onil Bhattacharyya, Danielle Martin, Muhammad Mamdani, Lianne Jeffs, Walter P. Wodchis, Noah M. Ivers, R. Sacha Bhatia	A randomized wait-list control trial to evaluate the impact of a mobile application to improve self-management of individuals with type 2 diabetes: a study protocol.	BMC Medical Informatics Decis. Mak.	2016	DBLP DOI BibTeX RDF
26	Marcin Kopaczka, Carlo Hensel, Dorit Merhof	An automated method for realistic face simulation and facial landmark annotation and its application to active appearance models.	IPTA	2016	DBLP DOI BibTeX RDF
26	Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata 0001, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk	Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.	FM	2016	DBLP DOI BibTeX RDF
26	Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jürgen Giesl	Lower Runtime Bounds for Integer Programs.	IJCAR	2016	DBLP DOI BibTeX RDF
26	Markus Graube, Stephan Hensel, Leon Urbas	Open Semantic Revision Control with R43ples: Extending SPARQL to access revisions of Named Graphs.	SEMANTiCS	2016	DBLP DOI BibTeX RDF