E. Powell Robinson

Computer Science · Physical Sciences

25h-index2.9kcitations74works4.02yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(23), Logic, Reasoning, and Knowledge(23), Supply Chain and Inventory Management(15), Scheduling and Optimization Algorithms(11), Advanced Algebra and Logic(9)

Publications74 total

Day algebras
arXiv (Cornell University)·2025Open Access
Categorical Proof-theoretic Semantics
Studia Logica·2024· 8 citedOpen Access
Network design with consideration of hours‐of‐service regulation and drop‐and‐swap trailer operations
Decision Sciences·2023· 1 cited
Evasive Manoeuvres: Strasbourg, the Hague Child Abduction Convention and the Absolute Prohibition on Ill-Treatment
Human Rights Law Review·2023· 1 citedOpen Access
Categorical Proof-Theoretic Semantics
arXiv (Cornell University)·2023· 1 citedOpen Access
Socially responsible product-positioning: Impact of halo/horns spillover on product image
European Journal of Operational Research·2022· 11 citedOpen Access
Bisimulation as a logical relation
Mathematical Structures in Computer Science·2022· 3 citedOpen Access
Power-domains, modalities and the Vietoris monad
CL Technical Reports·2021· 12 citedOpen Access
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Studia Logica·2020· 5 citedOpen Access
Bisimulation as a Logical Relation
arXiv (Cornell University)·2020Open Access
Deriving Logical Relations from Interpretations of Predicate Logic
Electronic Notes in Theoretical Computer Science·2019Open Access
Demand and order‐fulfillment planning: The impact of point‐of‐sale data, retailer orders and distribution center orders on forecast accuracy
Journal of Operations Management·2019· 33 cited
The Cech cohomology and the spectrum for 1-dimensional tiling systems
Contemporary mathematics - American Mathematical Society·2016· 4 cited
Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages
Electronic Notes in Theoretical Computer Science·2014· 30 citedOpen Access
Kohei Honda (1959–2012)
Bulletin of the European Association for Theoretical Computer Science·2014
Some notes on equalities not present in the λµ-calculus
2013
Rolling horizon planning in supply chains: review, implications and directions for future research
International Journal of Production Research·2013· 110 cited
A proof-theoretic analysis of the classical propositional matrix method
Journal of Logic and Computation·2012
The Power of Unconditional Love
2012
Bunched polymorphism
Mathematical Structures in Computer Science·2008· 12 cited
page 1 of 4Next →

Frequent Co-authors

Funda Sahin(9), Li‐Lian Gao(9), Giuseppe Rosolini(6), John Power(4), Arunachalam Narayanan(4), Morgan Swink(3), David Pym(3), J. M. E. Hyland(2), Ronald K. Satterfield(2), Matthew Collinson(2), Stanley D. Muggenborg(1), Cheng Li(1), Vincent A. Mabert(1), F. Barry Lawrence(1), Claudio Hermida(1), Uday S. Reddy(1), Gianluigi Bellin(1), Martin Hyland(1), Christian Urban(1), L-L Gao(1)