|
Search the dblp DataBase
Michael Huber:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michael Huber, Steve King
Towards an Integrated Model Checker for Railway Signalling Data. [Citation Graph (0, 0)][DBLP] FME, 2002, pp:204-223 [Conf]
- Manfred Schmidt-Schauß, Michael Huber
A Lambda-Calculus with letrec, case, constructors and non-determinism [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Michael Huber
Classification of Flag-Transitive Steiner Quadruple Systems. [Citation Graph (0, 0)][DBLP] J. Comb. Theory, Ser. A, 2001, v:94, n:1, pp:180-190 [Journal]
Security Analysis of the Health Care Telematics Infrastructure in Germany. [Citation Graph (, )][DBLP]
Community for Innovations: Developing an Integrated Concept for Open Innovation. [Citation Graph (, )][DBLP]
Graph-based concept identification and disambiguation for enterprise search. [Citation Graph (, )][DBLP]
Steiner t-Designs for Large t. [Citation Graph (, )][DBLP]
Coding Theory and Algebraic Combinatorics [Citation Graph (, )][DBLP]
Authentication and Secrecy Codes for Equiprobable Source Probability Distributions [Citation Graph (, )][DBLP]
Constructing Optimal Authentication Codes with Perfect Multi-fold Secrecy [Citation Graph (, )][DBLP]
Combinatorial Bounds and Characterizations of Splitting Authentication Codes [Citation Graph (, )][DBLP]
Computational complexity of reconstruction and isomorphism testing for designs and line graphs [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|