Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Barrett, Chris"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems
Chris Barrett
,
Harry B. Hunt III
,
Madhav V. Marathe
,
S.S. Ravi
,
Daniel J. Rosenkrantz
,
Richard E. Stearns
Theoretical Computer Science
412
(30), 2011, pp. 3932-3946
Erratum to ``Predecessor existence problems for finite discrete dynamical systems''
Chris Barrett
,
Harry B. Hunt III
,
Madhav V. Marathe
,
S.S. Ravi
,
Daniel J. Rosenkrantz
,
Richard E. Stearns
,
Mayur Thakur
Theoretical Computer Science
395
(1), 2008, pp. 132-133
PREDICT-2ND: A tool for generalized protein local structure prediction
Sol Katzman
,
Christian Barrett
,
Grant Thiltgen
,
Rachel Karchin
,
Kevin Karplus
Bioinformatics
24
(21), 2008, pp. 2453-2459
Predecessor existence problems for finite discrete dynamical systems
Chris Barrett
,
Harry B. Hunt III
,
Madhav V. Marathe
,
S.S. Ravi
,
Daniel J. Rosenkrantz
,
Richard E. Stearns
,
Mayur Thakur
Theoretical Computer Science
386
(1-2), 2007, pp. 3-37
Complexity of reachability problems for finite discrete dynamical systems
Christopher L. Barrett
,
Harry B. Hunt III
,
Madhav V. Marathe
,
S.S. Ravi
,
Daniel J. Rosenkrantz
,
Richard E. Stearns
Journal of Computer and System Sciences
72
(8), 2006, pp. 1317-1345
Reachability problems for sequential dynamical systems with threshold functions
Chris Barrett
,
Harry B. Hunt III
,
Madhav V. Marathe
,
S.S. Ravi
,
Daniel J. Rosenkrantz
,
Richard E. Stearns
Theoretical Computer Science
295
(1-3), 2003, pp. 41-64
Classical and contemporary shortest path problems in road networks: Implementation and experimental analysis of the TRANSIMS router
Chris Barrett
,
Keith Bisset
,
Riko Jacob
,
Goran Konjevod
,
Madhav Marathe
Lecture Notes in Computer Science
2461
, 2002, pp. 126-138
Experimental analysis of algorithms for bilateral-contract clearing mechanisms arising in deregulated power industry
Chris Barrett
,
Doug Cook
,
Gregory Hicks
,
Vance Faber
,
Achla Marathe
,
Madhav Marathe
,
Aravind Srinivasan
,
Yoram J. Sussmann
,
Heidi Thornquist
Lecture Notes in Computer Science
2141
, 2001, pp. 172-184
Analysis problems for sequential dynamical systems and communicating state machines
Chris Barrett
,
Harry B. Hunt III
,
Madhav V. Marathe
,
S.S. Ravi
,
Daniel J. Rosenkrantz
,
Richard E. Stearns
Lecture Notes in Computer Science
2136
, 2001, pp. 159-172
Formal-language-constrained path problems
Chris Barrett
,
Riko Jacob
,
Madhav Marathe
SIAM Journal on Computing
30
(3), 2000, pp. 809-837
Formal language constrained path problems
Chris Barrett
,
Riko Jacob
,
Madhav Marathe
Lecture Notes in Computer Science
1432
, 1998, pp. 234-245