Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Paul Bartha

Decisions in Branching Time

Nuel Belnap on Indeterminism and Free Action
2014English

Related publications

Multi-Type Branching Processes With Time-Dependent Branching Rates

Journal of Applied Probability
MathematicsStatisticsUncertaintyProbability
2018English

Transition Semantics for Branching Time

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2015English

First-Order Logics of Branching Time

Logical Investigations
2013English

Time to Face Decisions

Nature Machine Intelligence
2019English

Optimal Decisions in a Time Priority Queue

Applied Mathematical Finance
Applied MathematicsFinance
2018English

Time Preference, Time Discounting, and Smoking Decisions

Journal of Health Economics
Health PolicyPublic HealthOccupational HealthEnvironmental
2007English

Comparative Branching-Time Semantics for Markov Chains

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2005English

Branching-Time Model Checking Gap-Order Constraint Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2016English

Sticky Decisions: Peanut Butter in a Time ofSalmonella

Emerging Infectious Diseases
EpidemiologyInfectious DiseasesMicrobiology
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy