en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Henzinger
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(525)
tags
dblp
imported
wismasys0809
search
information_retrieval
web-graph
news
wwwbook
wwwkap17
www
retrieval
information
informationRetrieval
topic
patent
query
document
method
ranking,
statistics
www03
searchengine
verification
google
characterization
url
system
ranking
Patent
characterization,
nlp
relevance
determining
usage
Query
news_search
document_retrieval
document_freshness
classification
documentretrieval
analysis
usage_statistics
free
book
engine
_to_download_springer
log
links
Suche
No matching items.
Analysis of a very large web search engine query log
Craig Silverstein
,
Hannes Marais
,
Monika Henzinger
, and
Michael Moricz
.
SIGIR Forum
33(1):6--12
(
September 1999
)
Craig Silverstein
,
Hannes Marais
,
Monika Henzinger
, and
Michael Moricz
.
SIGIR Forum
33(1):6--12
(
September 1999
)
a month and 23 days ago
by
sdo
4
altavista
behaviour
engine
log
mining
query
search
weblog
altavista
behaviour
engine
log
mining
query
search
weblog
URL
DOI
TeX
Trading End-to-End Latency for Composability.
Slobodan Matic
, and
Thomas A. Henzinger
.
RTSS,
page 99-110.
IEEE Computer Society,
(
2005
)
Slobodan Matic
, and
Thomas A. Henzinger
.
RTSS,
page 99-110.
IEEE Computer Society,
(
2005
)
3 months and 29 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Distributed, Modular HTL.
Thomas A. Henzinger
,
Christoph M. Kirsch
,
Eduardo R. B. Marques
, and
Ana Sokolova
.
RTSS,
page 171-180.
IEEE Computer Society,
(
2009
)
Thomas A. Henzinger
,
Christoph M. Kirsch
,
Eduardo R. B. Marques
, and
Ana Sokolova
.
RTSS,
page 171-180.
IEEE Computer Society,
(
2009
)
3 months and 29 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
HyTech: The Next Generation.
Thomas A. Henzinger
,
Pei-Hsin Ho
, and
Howard Wong-Toi
.
RTSS,
page 56-65.
IEEE Computer Society,
(
1995
)
Thomas A. Henzinger
,
Pei-Hsin Ho
, and
Howard Wong-Toi
.
RTSS,
page 56-65.
IEEE Computer Society,
(
1995
)
3 months and 29 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Automatic Symbolic Verification of Embedded Systems.
Rajeev Alur
,
Thomas A. Henzinger
, and
Pei-Hsin Ho
.
RTSS,
page 2-11.
IEEE Computer Society,
(
1993
)
Rajeev Alur
,
Thomas A. Henzinger
, and
Pei-Hsin Ho
.
RTSS,
page 2-11.
IEEE Computer Society,
(
1993
)
3 months and 29 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Keynote on "the propagation approach for computing biochemical reaction networks".
Thomas A. Henzinger
.
Winter Simulation Conference,
page 320.
WSC,
(
2012
)
Thomas A. Henzinger
.
Winter Simulation Conference,
page 320.
WSC,
(
2012
)
4 months and 3 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
38th International Colloquium on Automata, Languages and Programming.
Luca Aceto
,
Monika Henzinger
, and
Jiri Sgall
.
Inf. Comput.
(
2013
)
Luca Aceto
,
Monika Henzinger
, and
Jiri Sgall
.
Inf. Comput.
(
2013
)
4 months and 4 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Quantitative relaxation of concurrent data structures.
Thomas A. Henzinger
,
Christoph M. Kirsch
,
Hannes Payer
,
Ali Sezgin
, and
Ana Sokolova
.
POPL,
page 317-328.
ACM,
(
2013
)
Thomas A. Henzinger
,
Christoph M. Kirsch
,
Hannes Payer
,
Ali Sezgin
, and
Ana Sokolova
.
POPL,
page 317-328.
ACM,
(
2013
)
4 months and 4 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Quantitative abstraction refinement.
Pavol Cerný
,
Thomas A. Henzinger
, and
Arjun Radhakrishna
.
POPL,
page 115-128.
ACM,
(
2013
)
Pavol Cerný
,
Thomas A. Henzinger
, and
Arjun Radhakrishna
.
POPL,
page 115-128.
ACM,
(
2013
)
4 months and 4 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Sponsored search, market equilibria, and the Hungarian Method.
Paul Dütting
,
Monika Henzinger
, and
Ingmar Weber
.
Inf. Process. Lett.
113(3):67-73
(
2013
)
Paul Dütting
,
Monika Henzinger
, and
Ingmar Weber
.
Inf. Process. Lett.
113(3):67-73
(
2013
)
4 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Finite automata with time-delay blocks.
Krishnendu Chatterjee
,
Thomas A. Henzinger
, and
Vinayak S. Prabhu
.
EMSOFT,
page 43-52.
ACM,
(
2012
)
Krishnendu Chatterjee
,
Thomas A. Henzinger
, and
Vinayak S. Prabhu
.
EMSOFT,
page 43-52.
ACM,
(
2012
)
4 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Synthesis from incompatible specifications.
Pavol Cerný
,
Sivakanth Gopi
,
Thomas A. Henzinger
,
Arjun Radhakrishna
, and
Nishant Totla
.
EMSOFT,
page 53-62.
ACM,
(
2012
)
Pavol Cerný
,
Sivakanth Gopi
,
Thomas A. Henzinger
,
Arjun Radhakrishna
, and
Nishant Totla
.
EMSOFT,
page 53-62.
ACM,
(
2012
)
4 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Approximate Determinization of Quantitative Automata.
Udi Boker
, and
Thomas A. Henzinger
.
FSTTCS,
volume 18 of LIPIcs,
page 362-373.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
(
2012
)
Udi Boker
, and
Thomas A. Henzinger
.
FSTTCS,
volume 18 of LIPIcs,
page 362-373.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
(
2012
)
5 months and 9 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An On2 time algorithm for alternating Büchi games.
Krishnendu Chatterjee
, and
Monika Henzinger
.
SODA,
page 1386-1399.
SIAM,
(
2012
)
Krishnendu Chatterjee
, and
Monika Henzinger
.
SODA,
page 1386-1399.
SIAM,
(
2012
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Combinatorial algorithms for web search engines: three success stories.
Monika Rauch Henzinger
.
SODA,
page 1022-1026.
SIAM,
(
2007
)
Monika Rauch Henzinger
.
SODA,
page 1022-1026.
SIAM,
(
2007
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Scheduling Multicasts on Unit-Capacity Trees and Meshes.
Monika Rauch Henzinger
, and
Stefano Leonardi
.
SODA,
page 438-447.
ACM/SIAM,
(
1999
)
Monika Rauch Henzinger
, and
Stefano Leonardi
.
SODA,
page 438-447.
ACM/SIAM,
(
1999
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification.
Krishnendu Chatterjee
, and
Monika Henzinger
.
SODA,
page 1318-1336.
SIAM,
(
2011
)
Krishnendu Chatterjee
, and
Monika Henzinger
.
SODA,
page 1318-1336.
SIAM,
(
2011
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Termination criteria for solving concurrent safety and reachability games.
Krishnendu Chatterjee
,
Luca de Alfaro
, and
Thomas A. Henzinger
.
SODA,
page 197-206.
SIAM,
(
2009
)
Krishnendu Chatterjee
,
Luca de Alfaro
, and
Thomas A. Henzinger
.
SODA,
page 197-206.
SIAM,
(
2009
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Online Throughput-Competitive Algorithm for Multicast Routing and Admission Control.
Ashish Goel
,
Monika Rauch Henzinger
, and
Serge A. Plotkin
.
SODA,
page 97-106.
ACM/SIAM,
(
1998
)
Ashish Goel
,
Monika Rauch Henzinger
, and
Serge A. Plotkin
.
SODA,
page 97-106.
ACM/SIAM,
(
1998
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Quantitative stochastic parity games.
Krishnendu Chatterjee
,
Marcin Jurdzinski
, and
Thomas A. Henzinger
.
SODA,
page 121-130.
SIAM,
(
2004
)
Krishnendu Chatterjee
,
Marcin Jurdzinski
, and
Thomas A. Henzinger
.
SODA,
page 121-130.
SIAM,
(
2004
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact