Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(3133)
Reiner Hartenstein
12
Alexander G. Hirschbiel
11
Jaco Van De Pol
9
Martin Leucker
7
Christian W. Hamm
6
Conferences
(30)
SPIN
3
TACAS
2
CMPEUR
2
IGARSS
2
INDIN
2
Journals
(74)
Zamm-zeitschrift Fur Angewandte Mathematik Und Mechanik
9
J AMER COLL CARDIOL
8
MATH NACHR
6
ELECTROCHIM ACTA
5
THEOR PROBAB APPL-ENGL TR
5
Keywords
(579)
Embed
Subscribe
Academic
Authors
Michael Weber
Edit
Michael Weber
University of Twente
Publications: 279
|
Citations: 2101
|
G-Index: 42
|
H-Index: 17
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Electrical & Electronic Engineering
,
Software Engineering
,
Cardiology
View FAQ about top research area and research interests
Collaborated with
3133 co-authors
from 1956 to 2011
; Cited by
3385 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(279)
BibTeX
|
RIS
|
RefWorks
Download
A Database Approach to Distributed State-Space Generation
(
Citations: 1
)
Stefan Blom
,
Bert Lisser
,
Jaco van de Pol
,
M. Weber
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 45-62, 2011
Parallel Recursive State Compression for Free
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Journal:
Computing Research Repository - CORR
, vol. abs/1104.3, 2011
Multi-Core LTSmin: Marrying Modularity and Scalability
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Published in 2011.
Ökonomische Folgen eines Atomausstiegs in Deutschland
Karin Holm-Müller
,
Michael Weber
,
Peter Hennicke
,
Tobias Schleicher
,
Andreas Löschel
,
Claudia Kemfert
Published in 2011.
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
Wouter Kuijper
,
Michael Weber
Journal:
Computing Research Repository - CORR
, vol. abs/1102.3, 2011
Order by:
Citations
(2101 times by 1994 publications)
Spoken Interaction within the Computed World: Evaluation of a Multitasking Adaptive Spoken Dialogue System
(
Citations: 1
)
Tobias Heinroth
,
Dan Denich
Conference:
International Computer Software and Applications Conference - COMPSAC
, pp. 134-143, 2011
Parallel probabilistic model checking on general purpose graphics processors
(
Citations: 1
)
Dragan Bosnacki
,
Stefan Edelkamp
,
Damian Sulewski
,
Anton Wijs
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 21-35, 2011
Parallel Recursive State Compression for Free
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Journal:
Computing Research Repository - CORR
, vol. abs/1104.3, 2011
Social status and long-run effects of monetary policy in a two-sector monetary economy of endogenous growth
(
Citations: 2
)
Hung-Ju Chen
Journal:
Mathematical Social Sciences
, vol. 61, no. 1, pp. 71-79, 2011
Multi-Core LTSmin: Marrying Modularity and Scalability
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Published in 2011.
Comments