Metabolische Hirnfunktionsstörungen in der Inneren Medizin

Metabolische Hirnfunktionsstörungen in der Inneren Medizin

Christian Madl (ORCID: )

Wissenschaftsdisziplinen

Klinische Medizin (80%); Medizinisch-theoretische Wissenschaften, Pharmazie (20%)

Keywords

    Metabol.Hirnfunktionsstörung Evozierte Potentiale Morbus Wilson Hepatische Encephalopathie Cerebrale Sauerstoffsättigung, Cerebrale Sauerstoff, Evozierte Potentiale, Hepatische Encephalo, Metabol.Hirnfunktion, Morbus Wilson

Forschungsstätte(n)
Nationale Projektbeteiligte
  • Georg Grimm, assoziierte:r Forschungspartner:in

Research Output

  • 6891 Zitationen
  • 117 Publikationen
Publikationen
  • 2020
    Titel Polynomial invariant generation for non-deterministic recursive programs
    DOI 10.1145/3385412.3385969
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 672-687
    Link Publikation
  • 2020
    Titel Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling
    DOI 10.1109/tcad.2020.3012803
    Typ Journal Article
    Autor Pavlogiannis A
    Journal IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
    Seiten 3981-3992
  • 2020
    Titel Limits on amplifiers of natural selection under death-Birth updating
    DOI 10.1371/journal.pcbi.1007494
    Typ Journal Article
    Autor Tkadlec J
    Journal PLOS Computational Biology
    Link Publikation
  • 2016
    Titel Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
    DOI 10.1145/2914770.2837639
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM SIGPLAN Notices
    Seiten 327-342
    Link Publikation
  • 2016
    Titel Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
    DOI 10.1145/2837614.2837639
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 327-342
    Link Publikation
  • 2016
    Titel Algorithms for algebraic path properties in concurrent systems of constant treewidth components
    DOI 10.1145/2837614.2837624
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 733-747
  • 2013
    Titel Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
    DOI 10.1016/j.ic.2013.04.003
    Typ Journal Article
    Autor Chatterjee K
    Journal Information and Computation
    Seiten 83-119
    Link Publikation
  • 2013
    Titel Synthesizing robust systems
    DOI 10.1007/s00236-013-0191-5
    Typ Journal Article
    Autor Bloem R
    Journal Acta Informatica
    Seiten 193-220
  • 2013
    Titel Forgiver Triumphs in Alternating Prisoner's Dilemma
    DOI 10.1371/journal.pone.0080814
    Typ Journal Article
    Autor Zagorsky B
    Journal PLoS ONE
    Link Publikation
  • 2013
    Titel Trading Performance for Stability in Markov Decision Processes
    DOI 10.1109/lics.2013.39
    Typ Conference Proceeding Abstract
    Autor Brázdil T
    Seiten 331-340
    Link Publikation
  • 2013
    Titel Strategy synthesis for multi-dimensional quantitative objectives
    DOI 10.1007/s00236-013-0182-6
    Typ Journal Article
    Autor Chatterjee K
    Journal Acta Informatica
    Seiten 129-163
    Link Publikation
  • 2013
    Titel Strategy improvement for concurrent reachability and turn-based stochastic safety games
    DOI 10.1016/j.jcss.2012.12.001
    Typ Journal Article
    Autor Chatterjee K
    Journal Journal of Computer and System Sciences
    Seiten 640-657
    Link Publikation
  • 2013
    Titel Evolutionary dynamics of cancer in response to targeted combination therapy
    DOI 10.7554/elife.00747
    Typ Journal Article
    Autor Bozic I
    Journal eLife
    Link Publikation
  • 2015
    Titel Computational complexity of ecological and evolutionary spatial dynamics
    DOI 10.1073/pnas.1511366112
    Typ Journal Article
    Autor Ibsen-Jensen R
    Journal Proceedings of the National Academy of Sciences
    Seiten 15636-15641
    Link Publikation
  • 2015
    Titel Biological auctions with multiple rewards
    DOI 10.1098/rspb.2015.1041
    Typ Journal Article
    Autor Reiter J
    Journal Proceedings of the Royal Society B: Biological Sciences
    Seiten 20151041
    Link Publikation
  • 2015
    Titel Cellular cooperation with shift updating and repulsion
    DOI 10.1038/srep17147
    Typ Journal Article
    Autor Pavlogiannis A
    Journal Scientific Reports
    Seiten 17147
    Link Publikation
  • 2014
    Titel Interface simulation distances
    DOI 10.1016/j.tcs.2014.08.019
    Typ Journal Article
    Autor Cerný P
    Journal Theoretical Computer Science
    Seiten 348-363
    Link Publikation
  • 2014
    Titel Partial-Observation Stochastic Games
    DOI 10.1145/2579821
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM Transactions on Computational Logic (TOCL)
    Seiten 1-44
  • 2014
    Titel Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
    DOI 10.1145/2597631
    Typ Journal Article
    Autor Chatterjee K
    Journal Journal of the ACM (JACM)
    Seiten 1-40
  • 2012
    Titel The complexity of stochastic Müller games
    DOI 10.1016/j.ic.2011.11.004
    Typ Journal Article
    Autor Chatterjee K
    Journal Information and Computation
    Seiten 29-48
    Link Publikation
  • 2012
    Titel Interpretations in Trees with Countably Many Branches
    DOI 10.1109/lics.2012.65
    Typ Conference Proceeding Abstract
    Autor Rabinovich A
    Seiten 551-560
    Link Publikation
  • 2012
    Titel Partial-Observation Stochastic Games: How to Win When Belief Fails
    DOI 10.1109/lics.2012.28
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 175-184
    Link Publikation
  • 2012
    Titel Energy parity games
    DOI 10.1016/j.tcs.2012.07.038
    Typ Journal Article
    Autor Chatterjee K
    Journal Theoretical Computer Science
    Seiten 49-60
    Link Publikation
  • 2012
    Titel Decidable Problems for Probabilistic Automata on Infinite Words
    DOI 10.1109/lics.2012.29
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 1-4
    Link Publikation
  • 2011
    Titel Evolutionary dynamics of biological auctions
    DOI 10.1016/j.tpb.2011.11.003
    Typ Journal Article
    Autor Chatterjee K
    Journal Theoretical Population Biology
    Seiten 69-80
    Link Publikation
  • 2013
    Titel Density games
    DOI 10.1016/j.jtbi.2013.05.029
    Typ Journal Article
    Autor Novak S
    Journal Journal of Theoretical Biology
    Seiten 26-34
    Link Publikation
  • 2016
    Titel Reconstructing phylogenies of metastatic cancers
    DOI 10.1101/048157
    Typ Preprint
    Autor Reiter J
    Seiten 048157
    Link Publikation
  • 2016
    Titel Algorithms for algebraic path properties in concurrent systems of constant treewidth components
    DOI 10.1145/2914770.2837624
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM SIGPLAN Notices
    Seiten 733-747
  • 2016
    Titel The Big Match in Small Space
    DOI 10.1007/978-3-662-53354-3_6
    Typ Book Chapter
    Autor Hansen K
    Verlag Springer Nature
    Seiten 64-76
  • 2016
    Titel Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
    DOI 10.1007/978-3-319-41528-4_1
    Typ Book Chapter
    Autor Chatterjee K
    Verlag Springer Nature
    Seiten 3-22
  • 2018
    Titel Indirect reciprocity with private, noisy, and incomplete information
    DOI 10.1073/pnas.1810565115
    Typ Journal Article
    Autor Hilbe C
    Journal Proceedings of the National Academy of Sciences
    Seiten 12241-12246
    Link Publikation
  • 2017
    Titel Pushdown reachability with constant treewidth
    DOI 10.1016/j.ipl.2017.02.003
    Typ Journal Article
    Autor Chatterjee K
    Journal Information Processing Letters
    Seiten 25-29
  • 2017
    Titel Reconstructing metastatic seeding patterns of human cancers
    DOI 10.1038/ncomms14114
    Typ Journal Article
    Autor Reiter J
    Journal Nature Communications
    Seiten 14114
    Link Publikation
  • 2017
    Titel Stochastic invariants for probabilistic termination
    DOI 10.1145/3093333.3009873
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM SIGPLAN Notices
    Seiten 145-160
    Link Publikation
  • 2017
    Titel Hyperplane separation technique for multidimensional mean-payoff games
    DOI 10.1016/j.jcss.2017.04.005
    Typ Journal Article
    Autor Chatterjee K
    Journal Journal of Computer and System Sciences
    Seiten 236-259
    Link Publikation
  • 2017
    Titel Amplification on Undirected Population Structures: Comets Beat Stars
    DOI 10.1038/s41598-017-00107-w
    Typ Journal Article
    Autor Pavlogiannis A
    Journal Scientific Reports
    Seiten 82
    Link Publikation
  • 2017
    Titel Stochastic invariants for probabilistic termination
    DOI 10.1145/3009837.3009873
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 145-160
    Link Publikation
  • 2017
    Titel Memory-n strategies of direct reciprocity
    DOI 10.1073/pnas.1621239114
    Typ Journal Article
    Autor Hilbe C
    Journal Proceedings of the National Academy of Sciences
    Seiten 4715-4720
    Link Publikation
  • 2017
    Titel Trading performance for stability in Markov decision processes
    DOI 10.1016/j.jcss.2016.09.009
    Typ Journal Article
    Autor Brázdil T
    Journal Journal of Computer and System Sciences
    Seiten 144-170
    Link Publikation
  • 2017
    Titel Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
    DOI 10.1016/j.nahs.2016.04.006
    Typ Journal Article
    Autor Svorenová M
    Journal Nonlinear Analysis: Hybrid Systems
    Seiten 230-253
    Link Publikation
  • 2017
    Titel Doomsday equilibria for omega-regular games
    DOI 10.1016/j.ic.2016.10.012
    Typ Journal Article
    Autor Chatterjee K
    Journal Information and Computation
    Seiten 296-315
    Link Publikation
  • 2017
    Titel Quantitative fair simulation games
    DOI 10.1016/j.ic.2016.10.006
    Typ Journal Article
    Autor Chatterjee K
    Journal Information and Computation
    Seiten 143-166
    Link Publikation
  • 2015
    Titel Mutations driving CLL and their evolution in progression and relapse
    DOI 10.1038/nature15395
    Typ Journal Article
    Autor Landau D
    Journal Nature
    Seiten 525-530
    Link Publikation
  • 2015
    Titel Tight Cutoffs for Guarded Protocols with Fairness
    DOI 10.1007/978-3-662-49122-5_23
    Typ Book Chapter
    Autor Außerlechner S
    Verlag Springer Nature
    Seiten 476-494
  • 2015
    Titel Quantitative Temporal Simulation and Refinement Distances for Timed Systems
    DOI 10.1109/tac.2015.2404612
    Typ Journal Article
    Autor Chatterjee K
    Journal IEEE Transactions on Automatic Control
    Seiten 2291-2306
  • 2015
    Titel Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
    DOI 10.1007/978-3-319-21690-4_10
    Typ Book Chapter
    Autor Brázdil T
    Verlag Springer Nature
    Seiten 158-177
    Link Publikation
  • 2015
    Titel Evolution of Decisions in Population Games with Sequentially Searching Individuals
    DOI 10.3390/g6040413
    Typ Journal Article
    Autor Priklopil T
    Journal Games
    Seiten 413-437
    Link Publikation
  • 2015
    Titel Measuring and Synthesizing Systems in Probabilistic Environments
    DOI 10.1145/2699430
    Typ Journal Article
    Autor Chatterjee K
    Journal Journal of the ACM (JACM)
    Seiten 1-34
    Link Publikation
  • 2015
    Titel Probabilistic opacity for Markov decision processes
    DOI 10.1016/j.ipl.2014.09.001
    Typ Journal Article
    Autor Bérard B
    Journal Information Processing Letters
    Seiten 52-59
    Link Publikation
  • 2015
    Titel Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
    DOI 10.1016/j.tcs.2015.01.050
    Typ Journal Article
    Autor Chatterjee K
    Journal Theoretical Computer Science
    Seiten 71-89
    Link Publikation
  • 2015
    Titel Controller Synthesis for MDPs and Frequency LTL
    DOI 10.1007/978-3-662-48899-7_12
    Typ Book Chapter
    Autor Forejt V
    Verlag Springer Nature
    Seiten 162-177
  • 2015
    Titel The complexity of multi-mean-payoff and multi-energy games
    DOI 10.1016/j.ic.2015.03.001
    Typ Journal Article
    Autor Velner Y
    Journal Information and Computation
    Seiten 177-196
    Link Publikation
  • 2015
    Titel Randomness for free
    DOI 10.1016/j.ic.2015.06.003
    Typ Journal Article
    Autor Chatterjee K
    Journal Information and Computation
    Seiten 3-16
    Link Publikation
  • 2015
    Titel Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
    DOI 10.1145/2728606.2728608
    Typ Conference Proceeding Abstract
    Autor Svorenová M
    Seiten 259-268
    Link Publikation
  • 2017
    Titel Non-polynomial Worst-Case Analysis of Recursive Programs
    DOI 10.1007/978-3-319-63390-9_3
    Typ Book Chapter
    Autor Chatterjee K
    Verlag Springer Nature
    Seiten 41-63
  • 2017
    Titel Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
    DOI 10.1007/978-3-319-63387-9_6
    Typ Book Chapter
    Autor Chatterjee K
    Verlag Springer Nature
    Seiten 118-139
  • 2017
    Titel Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
    DOI 10.1016/j.jtbi.2017.08.025
    Typ Journal Article
    Autor Priklopil T
    Journal Journal of Theoretical Biology
    Seiten 64-72
  • 2017
    Titel Faster Algorithms for Weighted Recursive State Machines
    DOI 10.1007/978-3-662-54434-1_11
    Typ Book Chapter
    Autor Chatterjee K
    Verlag Springer Nature
    Seiten 287-313
  • 2016
    Titel Quantitative Automata under Probabilistic Semantics
    DOI 10.1145/2933575.2933588
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 76-85
    Link Publikation
  • 2016
    Titel On Recurrent Reachability for Continuous Linear Dynamical Systems
    DOI 10.1145/2933575.2934548
    Typ Conference Proceeding Abstract
    Autor Chonev V
    Seiten 515-524
    Link Publikation
  • 2016
    Titel Optimal cost almost-sure reachability in POMDPs
    DOI 10.1016/j.artint.2016.01.007
    Typ Journal Article
    Autor Chatterjee K
    Journal Artificial Intelligence
    Seiten 26-48
    Link Publikation
  • 2017
    Titel Nested Weighted Automata
    DOI 10.1145/3152769
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM Transactions on Computational Logic (TOCL)
    Seiten 1-44
    Link Publikation
  • 2017
    Titel Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
    DOI 10.1038/ng.3764
    Typ Journal Article
    Autor Makohon-Moore A
    Journal Nature Genetics
    Seiten 358-366
    Link Publikation
  • 2017
    Titel Automated competitive analysis of real-time scheduling with graph games
    DOI 10.1007/s11241-017-9293-4
    Typ Journal Article
    Autor Chatterjee K
    Journal Real-Time Systems
    Seiten 166-207
    Link Publikation
  • 2017
    Titel The Complexity of Mean-Payoff Pushdown Games
    DOI 10.1145/3121408
    Typ Journal Article
    Autor Chatterjee K
    Journal Journal of the ACM (JACM)
    Seiten 1-49
  • 2017
    Titel JTDec: A Tool for Tree Decompositions in Soot
    DOI 10.1007/978-3-319-68167-2_4
    Typ Book Chapter
    Autor Chatterjee K
    Verlag Springer Nature
    Seiten 59-66
  • 2017
    Titel Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
    DOI 10.1145/3158122
    Typ Journal Article
    Autor Agrawal S
    Journal Proceedings of the ACM on Programming Languages
    Seiten 1-32
    Link Publikation
  • 2017
    Titel Optimal Dyck reachability for data-dependence and alias analysis
    DOI 10.1145/3158118
    Typ Journal Article
    Autor Chatterjee K
    Journal Proceedings of the ACM on Programming Languages
    Seiten 1-30
    Link Publikation
  • 2017
    Titel Data-centric dynamic partial order reduction
    DOI 10.1145/3158119
    Typ Journal Article
    Autor Chalupa M
    Journal Proceedings of the ACM on Programming Languages
    Seiten 1-30
    Link Publikation
  • 2019
    Titel Termination of Nondeterministic Probabilistic Programs
    DOI 10.1007/978-3-030-11245-5_22
    Typ Book Chapter
    Autor Fu H
    Verlag Springer Nature
    Seiten 468-490
  • 2019
    Titel Efficient parameterized algorithms for data packing
    DOI 10.1145/3290366
    Typ Journal Article
    Autor Chatterjee K
    Journal Proceedings of the ACM on Programming Languages
    Seiten 1-28
    Link Publikation
  • 2019
    Titel Social dilemmas among unequals
    DOI 10.1038/s41586-019-1488-5
    Typ Journal Article
    Autor Hauser O
    Journal Nature
    Seiten 524-527
  • 2019
    Titel Graph Planning with Expected Finite Horizon
    DOI 10.1109/lics.2019.8785706
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 1-13
    Link Publikation
  • 2019
    Titel Strategy Representation by Decision Trees with Linear Classifiers
    DOI 10.1007/978-3-030-30281-8_7
    Typ Book Chapter
    Autor Ashok P
    Verlag Springer Nature
    Seiten 109-128
  • 2019
    Titel Hybrid mining
    DOI 10.1145/3297280.3297319
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 374-381
  • 2019
    Titel The treewidth of smart contracts
    DOI 10.1145/3297280.3297322
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 400-408
    Link Publikation
  • 2019
    Titel Probabilistic Smart Contracts: Secure Randomness on the Blockchain
    DOI 10.1109/bloc.2019.8751326
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 403-412
    Link Publikation
  • 2019
    Titel Cost analysis of nondeterministic probabilistic programs
    DOI 10.1145/3314221.3314581
    Typ Conference Proceeding Abstract
    Autor Wang P
    Seiten 204-220
    Link Publikation
  • 2018
    Titel Language acquisition with communication between learners
    DOI 10.1098/rsif.2018.0073
    Typ Journal Article
    Autor Ibsen-Jensen R
    Journal Journal of The Royal Society Interface
    Seiten 20180073
    Link Publikation
  • 2018
    Titel New Approaches for Almost-Sure Termination of Probabilistic Programs
    DOI 10.1007/978-3-030-02768-1_11
    Typ Book Chapter
    Autor Huang M
    Verlag Springer Nature
    Seiten 181-201
  • 2018
    Titel Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
    DOI 10.1007/978-3-319-96142-2_13
    Typ Book Chapter
    Autor Chatterjee K
    Verlag Springer Nature
    Seiten 178-197
    Link Publikation
  • 2018
    Titel Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
    DOI 10.1145/3210257
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM Transactions on Programming Languages and Systems (TOPLAS)
    Seiten 1-43
    Link Publikation
  • 2019
    Titel Non-polynomial Worst-Case Analysis of Recursive Programs
    DOI 10.1145/3339984
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM Transactions on Programming Languages and Systems (TOPLAS)
    Seiten 1-52
    Link Publikation
  • 2019
    Titel Value-centric dynamic partial order reduction
    DOI 10.1145/3360550
    Typ Journal Article
    Autor Chatterjee K
    Journal Proceedings of the ACM on Programming Languages
    Seiten 1-29
    Link Publikation
  • 2019
    Titel Modular verification for almost-sure termination of probabilistic programs
    DOI 10.1145/3360555
    Typ Journal Article
    Autor Huang M
    Journal Proceedings of the ACM on Programming Languages
    Seiten 1-29
    Link Publikation
  • 2019
    Titel Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
    DOI 10.1145/3371093
    Typ Journal Article
    Autor Wang P
    Journal Proceedings of the ACM on Programming Languages
    Seiten 1-30
    Link Publikation
  • 2019
    Titel Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
    DOI 10.1145/3363525
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM Transactions on Programming Languages and Systems (TOPLAS)
    Seiten 1-46
  • 2019
    Titel Population structure determines the tradeoff between fixation probability and fixation time
    DOI 10.1038/s42003-019-0373-y
    Typ Journal Article
    Autor Tkadlec J
    Journal Communications Biology
    Seiten 138
    Link Publikation
  • 2018
    Titel Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
    DOI 10.1145/3174800
    Typ Journal Article
    Autor Chatterjee K
    Journal ACM Transactions on Programming Languages and Systems (TOPLAS)
    Seiten 1-45
    Link Publikation
  • 2018
    Titel Strategy Representation by Decision Trees in Reactive Synthesis
    DOI 10.1007/978-3-319-89960-2_21
    Typ Book Chapter
    Autor Brázdil T
    Verlag Springer Nature
    Seiten 385-407
  • 2018
    Titel Quantitative Analysis of Smart Contracts
    DOI 10.1007/978-3-319-89884-1_26
    Typ Book Chapter
    Autor Chatterjee K
    Verlag Springer Nature
    Seiten 739-767
    Link Publikation
  • 2018
    Titel Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
    DOI 10.1038/s42003-018-0078-7
    Typ Journal Article
    Autor Pavlogiannis A
    Journal Communications Biology
    Seiten 71
    Link Publikation
  • 2018
    Titel Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
    DOI 10.1038/s41467-017-02721-8
    Typ Journal Article
    Autor Reiter J
    Journal Nature Communications
    Seiten 555
    Link Publikation
  • 2018
    Titel Secure Credit Reporting on the Blockchain
    DOI 10.1109/cybermatics_2018.2018.00231
    Typ Conference Proceeding Abstract
    Autor Goharshady A
    Seiten 1343-1348
  • 2018
    Titel Partners and rivals in direct reciprocity
    DOI 10.1038/s41562-018-0320-9
    Typ Journal Article
    Autor Hilbe C
    Journal Nature Human Behaviour
    Seiten 469-477
  • 2011
    Titel The Complexity of Quantitative Information Flow Problems
    DOI 10.1109/csf.2011.21
    Typ Conference Proceeding Abstract
    Autor Cerný P
    Seiten 205-217
  • 2011
    Titel Temporal Specifications with Accumulative Values
    DOI 10.1109/lics.2011.33
    Typ Conference Proceeding Abstract
    Autor Boker U
    Seiten 43-52
  • 2011
    Titel Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
    DOI 10.1109/lics.2011.10
    Typ Conference Proceeding Abstract
    Autor Brázdil T
    Seiten 33-42
    Link Publikation
  • 2014
    Titel A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks
    DOI 10.1109/rtss.2014.9
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 118-127
    Link Publikation
  • 2014
    Titel Approximating the minimum cycle mean
    DOI 10.1016/j.tcs.2014.06.031
    Typ Journal Article
    Autor Chatterjee K
    Journal Theoretical Computer Science
    Seiten 104-116
    Link Publikation
  • 2012
    Titel The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
    DOI 10.1038/nature11219
    Typ Journal Article
    Autor Diaz Jr L
    Journal Nature
    Seiten 537-540
    Link Publikation
  • 2012
    Titel The effect of one additional driver mutation on tumor progression
    DOI 10.1111/eva.12020
    Typ Journal Article
    Autor Reiter J
    Journal Evolutionary Applications
    Seiten 34-45
    Link Publikation
  • 2012
    Titel Evolutionary game dynamics in populations with different learners
    DOI 10.1016/j.jtbi.2012.02.021
    Typ Journal Article
    Autor Chatterjee K
    Journal Journal of Theoretical Biology
    Seiten 161-173
    Link Publikation
  • 2012
    Titel Mean-Payoff Pushdown Games
    DOI 10.1109/lics.2012.30
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 195-204
    Link Publikation
  • 2012
    Titel A survey of partial-observation stochastic parity games
    DOI 10.1007/s10703-012-0164-2
    Typ Journal Article
    Autor Chatterjee K
    Journal Formal Methods in System Design
    Seiten 268-284
  • 2015
    Titel POMDPs under probabilistic semantics
    DOI 10.1016/j.artint.2014.12.009
    Typ Journal Article
    Autor Chatterjee K
    Journal Artificial Intelligence
    Seiten 46-72
    Link Publikation
  • 2015
    Titel Amplifiers of selection
    DOI 10.1098/rspa.2015.0114
    Typ Journal Article
    Autor Adlam B
    Journal Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
    Seiten 20150114
  • 2015
    Titel Qualitative analysis of concurrent mean-payoff games
    DOI 10.1016/j.ic.2015.03.009
    Typ Journal Article
    Autor Chatterjee K
    Journal Information and Computation
    Seiten 2-24
    Link Publikation
  • 2015
    Titel Nested Weighted Automata
    DOI 10.1109/lics.2015.72
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 725-737
    Link Publikation
  • 2015
    Titel Looking at mean-payoff and total-payoff through windows
    DOI 10.1016/j.ic.2015.03.010
    Typ Journal Article
    Autor Chatterjee K
    Journal Information and Computation
    Seiten 25-52
    Link Publikation
  • 2015
    Titel Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
    DOI 10.1109/lics.2015.32
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 244-256
    Link Publikation
  • 2015
    Titel Improved Algorithms for One-Pair and k-Pair Streett Objectives
    DOI 10.1109/lics.2015.34
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 269-280
    Link Publikation
  • 2015
    Titel Temporal logic motion planning using POMDPs with parity objectives
    DOI 10.1145/2728606.2728617
    Typ Conference Proceeding Abstract
    Autor Svorenová M
    Seiten 233-238
  • 2015
    Titel CEGAR for compositional analysis of qualitative properties in Markov decision processes
    DOI 10.1007/s10703-015-0235-2
    Typ Journal Article
    Autor Chatterjee K
    Journal Formal Methods in System Design
    Seiten 230-264
  • 2000
    Titel Partial pressure of ammonia versus ammonia in hepatic encephalopathy
    DOI 10.1002/hep.510310107
    Typ Journal Article
    Autor Kramer L
    Journal Hepatology
    Seiten 30-34
    Link Publikation
  • 2014
    Titel The Time Scale of Evolutionary Innovation
    DOI 10.1371/journal.pcbi.1003818
    Typ Journal Article
    Autor Chatterjee K
    Journal PLoS Computational Biology
    Link Publikation
  • 2014
    Titel Edit distance for timed automata
    DOI 10.1145/2562059.2562141
    Typ Conference Proceeding Abstract
    Autor Chatterjee K
    Seiten 303-312