Michael Huber

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2023
Multi-Robot Support System for Fighting Wildfires in Challenging Environments: System Design and Field Test Report.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2023

MySemCloud: Semantic-aware Word Cloud Editing.
Proceedings of the 16th IEEE Pacific Visualization Symposium, 2023

ConnectivityControl: A Model Ecosystem for Advanced Smart Home Privacy.
Proceedings of the 22nd International Conference on Mobile and Ubiquitous Multimedia, 2023

2016
Distributed streaming reconstruction of information diffusion: poster.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2013
Model-driven Development of Interactive Web User Interfaces with HTML5.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

A model reference adaptive control strategy for a self-balancing chair.
Proceedings of the 18th International Conference on Methods & Models in Automation & Robotics, 2013

2008
Coding Theory and Algebraic Combinatorics
CoRR, 2008

Steiner t-Designs for Large t.
Proceedings of the Mathematical Methods in Computer Science, 2008

2002
Towards an Integrated Model Checker for Railway Signalling Data.
Proceedings of the FME 2002: Formal Methods, 2002

2000
A Lambda-Calculus with letrec, case, constructors and non-determinism
CoRR, 2000


  Loading...