Alban Ponse - RankMe

71 papers B 2C 1Journal 56Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Fracterm Calculus for Partial Meadows. Juggling Formal Methods and Security Jan A. Bergstra, Alban Ponse
2026	J	`jnl`	Fully evaluated left-sequential logics. J. Appl. Non Class. Logics Alban Ponse, Daan J. C. Staudt
2025	J	`jnl`	Conditional Logic as a Short-Circuit Logic. Sci. Ann. Comput. Sci. Jan A. Bergstra, Alban Ponse
2025	J	`jnl`	Fracterm Calculus for Partial Meadows. CoRR Jan A. Bergstra, Alban Ponse
2024	J	`jnl`	Fully Evaluated Left-Sequential Logics. CoRR Alban Ponse, Daan J. C. Staudt
2023	J	`jnl`	Conditional logic as a short-circuit logic. CoRR Jan A. Bergstra, Alban Ponse
2022	J	`jnl`	Non-commutative propositional logic with short-circuited biconditional and NAND. CoRR Dalia Papuc, Alban Ponse
2021	J	`jnl`	Datatype defining rewrite systems for naturals and integers. Log. Methods Comput. Sci. Jan A. Bergstra, Alban Ponse
2021	J	`jnl`	Non-commutative propositional logic with short-circuit evaluation. J. Appl. Non Class. Logics Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
2020	J	`jnl`	Arithmetical datatypes with true fractions. Acta Informatica Jan A. Bergstra, Alban Ponse
2018	J	`jnl`	An independent axiomatisation for free short-circuit logic. J. Appl. Non Class. Logics Alban Ponse, Daan J. C. Staudt
2018	J	`jnl`	Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant. CoRR Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
2017	J	`jnl`	An independent axiomatization for free short-circuit logic. CoRR Alban Ponse, Daan J. C. Staudt
2016	J	`jnl`	Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view. CoRR Jan A. Bergstra, Alban Ponse
2016	—	`conf`	Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). WADT Jan A. Bergstra, Alban Ponse
2015	—	`conf`	Division by Zero in Common Meadows. Software, Services, and Systems Jan A. Bergstra, Alban Ponse
2015	J	`jnl`	Equations for formally real meadows. J. Appl. Log. Jan A. Bergstra, Inge Bethke, Alban Ponse
2015	—	`conf`	Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence. Correct System Design Jan A. Bergstra, Alban Ponse
2015	J	`jnl`	Evaluation trees for proposition algebra. CoRR Jan A. Bergstra, Alban Ponse
2014	J	`jnl`	Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. CoRR Jan A. Bergstra, Alban Ponse
2013	J	`jnl`	Cancellation Meadows: A Generic Basis Theorem and Some Applications. Comput. J. Jan A. Bergstra, Inge Bethke, Alban Ponse
2013	J	`jnl`	Equations for formally real meadows. CoRR Jan A. Bergstra, Inge Bethke, Alban Ponse
2011	J	`jnl`	Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday. Theor. Comput. Sci. Inge Bethke, Alban Ponse, Piet Rodenburg
2011	—	`conf`	Proposition Algebra and Short-Circuit Logic. FSEN Jan A. Bergstra, Alban Ponse
2011	J	`jnl`	Proposition algebra. ACM Trans. Comput. Log. Jan A. Bergstra, Alban Ponse
2010	J	`jnl`	On Hoare-McCarthy algebras CoRR Jan A. Bergstra, Alban Ponse
2010	J	`jnl`	Short-circuit logic CoRR Jan A. Bergstra, Alban Ponse
2009	J	`jnl`	A progression ring for interfaces of instruction sequences, threads, and services CoRR Jan A. Bergstra, Alban Ponse
2009	J	`jnl`	An Instruction Sequence Semigroup with Involutive Anti-Automorphisms CoRR Jan A. Bergstra, Alban Ponse
2009	J	`jnl`	An Instruction Sequence Semigroup with Involutive Anti-Automorphisms. Sci. Ann. Comput. Sci. Jan A. Bergstra, Alban Ponse
2008	J	`jnl`	An Instruction Sequence Semigroup with Repeaters CoRR Jan A. Bergstra, Alban Ponse
2008	J	`jnl`	Cancellation Meadows: a Generic Basis Theorem and Some Applications. CoRR Jan A. Bergstra, Inge Bethke, Alban Ponse
2008	J	`jnl`	Differential Meadows. CoRR Jan A. Bergstra, Alban Ponse
2008	J	`jnl`	Proposition Algebra with Projective Limits CoRR Jan A. Bergstra, Alban Ponse
2008	J	`jnl`	Risk Assessment for One-Counter Threads. Theory Comput. Syst. Alban Ponse, Mark van der Zwaag
2008	J	`jnl`	Tuplix Calculus. Sci. Ann. Comput. Sci. Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
2007	J	`jnl`	A generalization of ACP using Belnap's logic. J. Log. Algebraic Methods Program. Alban Ponse, Mark van der Zwaag
2007	J	`jnl`	Belnap's logic and conditional composition. Theor. Comput. Sci. Alban Ponse, Mark van der Zwaag
2007	J	`jnl`	Decision problems for pushdown threads. Acta Informatica Jan A. Bergstra, Inge Bethke, Alban Ponse
2007	J	`jnl`	Execution architectures for program algebra. J. Appl. Log. Jan A. Bergstra, Alban Ponse
2007	J	`jnl`	Interface groups and financial transfer architectures CoRR Jan A. Bergstra, Alban Ponse
2007	J	`jnl`	Projection semantics for rigid loops CoRR Jan A. Bergstra, Alban Ponse
2007	J	`jnl`	Tuplix Calculus CoRR Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
2006	C	`conf`	An Introduction to Program and Thread Algebra. CiE Alban Ponse, Mark van der Zwaag
2005	—	`conf`	A Bypass of Cohen's Impossibility Result. EGC Jan A. Bergstra, Alban Ponse
2005	—	`conf`	A Generalization of ACP Using Belnap's Logic. APC 25 Alban Ponse, Mark van der Zwaag
2003	J	`jnl`	Branching time and orthogonal bisimulation equivalence. Theor. Comput. Sci. Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
2002	J	`jnl`	Combining programs and state machines. J. Log. Algebraic Methods Program. Jan A. Bergstra, Alban Ponse
2002	J	`jnl`	Program algebra with unit instruction operators. J. Log. Algebraic Methods Program. Alban Ponse
2001	J	`jnl`	Equivalence of recursive specifications in process algebra. Inf. Process. Lett. Alban Ponse, Yaroslav S. Usenko
2001	—	`book`	Handbook of Process Algebra Jan A. Bergstra, Alban Ponse, Scott A. Smolka
2001	J	`jnl`	Linearization in parallel pCRL. J. Log. Algebraic Methods Program. Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko
2001	J	`jnl`	Non-regular iterators in process algebra. Theor. Comput. Sci. Jan A. Bergstra, Alban Ponse
2001	—	`ch.`	Process Algebra with Recursive Operations. Handbook of Process Algebra Jan A. Bergstra, Wan J. Fokkink, Alban Ponse
2001	J	`jnl`	Process algebra and conditional composition. Inf. Process. Lett. Jan A. Bergstra, Alban Ponse
2001	J	`jnl`	Register-machine based processes. J. ACM Jan A. Bergstra, Alban Ponse
2000	J	`jnl`	Process Algebra with Four-Valued Logic. J. Appl. Non Class. Logics Jan A. Bergstra, Alban Ponse
1998	J	`jnl`	Bochvar-McCarthy Logic and Process Algebra. Notre Dame J. Formal Log. Jan A. Bergstra, Alban Ponse
1998	—	`conf`	Grid Protocol Specifications. Prospects for Hardware Foundations Jan A. Bergstra, Alban Ponse
1998	J	`jnl`	Kleene's Three-Valued Logic and Process Algebra. Inf. Process. Lett. Jan A. Bergstra, Alban Ponse
1997	J	`jnl`	Algebra of Communicating Processes - Preface to the Special Issue. Theor. Comput. Sci. Alban Ponse, Chris Verhoef, Bas van Vlijmen
1997	J	`jnl`	Grid Protocols Based on Synchronous Communication. Sci. Comput. Program. Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse
1997	J	`jnl`	Two Finite Specifications of a Queue. Theor. Comput. Sci. Marc Bezem, Alban Ponse
1996	J	`jnl`	Computable Processes and Bisimulation Equivalence. Formal Aspects Comput. Alban Ponse
1994	J	`jnl`	Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Formal Aspects Comput. Jan Friso Groote, Alban Ponse
1994	J	`jnl`	Process Algebra with Iteration and Nesting. Comput. J. Jan A. Bergstra, Inge Bethke, Alban Ponse
1993	—	`conf`	Process Algebra with Backtracking. REX School/Symposium Jan A. Bergstra, Alban Ponse, Jos van Wamel
1993	B	`conf`	Process Algebra with Combinators. CSL Jan A. Bergstra, Inge Bethke, Alban Ponse
1993	—	`conf`	Proof Theory for µCRL: A Language for Processes with Data. Semantics of Specification Languages Jan Friso Groote, Alban Ponse
1991	B	`conf`	Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). CONCUR Jan Friso Groote, Alban Ponse
1991	J	`jnl`	Process Expressions and Hoare's Logic: Showing an Irreconcilability of Context-Free Recursion with Scott's Induction Rule Inf. Comput. Alban Ponse