Edit Profile (opens in new tab) Ponse, Alban Compute Distance To: Compute Author ID: ponse.alban Published as: Ponse, Alban; Ponse, A. External Links: ORCID Documents Indexed: 40 Publications since 1991 4 Contributions as Editor Co-Authors: 14 Co-Authors with 41 Joint Publications 374 Co-Co-Authors all top 5 Co-Authors 3 single-authored 27 Bergstra, Jan A. 7 van der Zwaag, Mark B. 4 Bethke, Inge 3 Groote, Jan Friso 2 Staudt, Daan J. C. 2 Usenko, Yaroslav S. 2 Verhoef, Chris 1 Bezem, Marc 1 de Rijke, Maarten 1 Fokkink, Willem Jan 1 Smolka, Scott A. 1 Van Vlijmen, Bas 1 van Vlijmen, S. F. M. 1 Venema, Yde all top 5 Serials 5 Theoretical Computer Science 4 The Journal of Logic and Algebraic Programming 3 Information Processing Letters 3 Journal of Applied Non-Classical Logics 2 Acta Informatica 2 Formal Aspects of Computing 2 Journal of Applied Logic 2 Scientific Annals of Computer Science 1 Notre Dame Journal of Formal Logic 1 Information and Computation 1 Indagationes Mathematicae. New Series 1 Theory of Computing Systems 1 Journal of the ACM 1 ACM Transactions on Computational Logic 1 CSLI Lecture Notes 1 Logical Methods in Computer Science all top 5 Fields 40 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 38 Publications have been cited 232 times in 149 Documents Cited by ▼ Year ▼ Handbook of process algebra. Zbl 0971.00006 61 2001 Process algebra with combinators. Zbl 0953.68572Bergstra, J. A.; Bethke, I.; Ponse, A. 22 1994 Combining programs and state machines. Zbl 1008.68068Bergstra, Jan A.; Ponse, Alban 14 2002 Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135Groote, Jan Friso; Ponse, Alban 12 1994 Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078Groote, Jan Friso; Ponse, Alban 9 1994 Process algebra with recursive operations. Zbl 1027.68091Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban 9 2001 Process algebra with four-valued logic. Zbl 1036.68067Bergstra, Jan A.; Ponse, Alban 8 2000 Linearization in parallel pCRL. Zbl 0988.68121Groote, J. F.; Ponse, A.; Usenko, Y. S. 7 2001 Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B. 7 2003 An introduction to program and thread algebra. Zbl 1131.68411Ponse, Alban; van der Zwaag, Mark B. 7 2006 Bochvar-McCarthy logic and process algebra. Zbl 0970.68115Bergstra, Jan A.; Ponse, Alban 6 1998 Kleene’s three-valued logic and process algebra. Zbl 1338.68200Bergstra, Jan A.; Ponse, Alban 6 1998 Execution architectures for program algebra. Zbl 1116.68024Bergstra, Jan A.; Ponse, Alban 5 2007 Decision problems for pushdown threads. Zbl 1120.68077Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 5 2007 Division by zero in common meadows. Zbl 1453.68104Bergstra, Jan A.; Ponse, Alban 5 2015 Computable processes and bisimulation equivalence. Zbl 0862.68052Ponse, Alban 4 1996 Process algebra with five-valued conditions. Zbl 0960.68123Bergstra, Jan A.; Ponse, Alban 4 1999 Non-regular iterators in process algebra. Zbl 0983.68138Bergstra, Jan A.; Ponse, Alban 4 2001 Process algebra and conditional composition. Zbl 1003.68091Bergstra, Jan A.; Ponse, Alban 4 2001 Proposition algebra. Zbl 1352.03040Bergstra, Jan A.; Ponse, Alban 4 2011 Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012Bergstra, Jan A.; Ponse, Alban 3 2016 A generalization of ACP using Belnap’s logic. Zbl 1316.68104Ponse, Alban; van der Zwaag, Mark B. 3 2006 Proposition algebra and short-circuit logic. Zbl 1354.03035Bergstra, Jan A.; Ponse, Alban 3 2012 Process expressions and Hoare’s logic: Showing and irreconcilability of context-free recursion with Scott’s induction rule. Zbl 0744.68092Ponse, Alban 2 1991 Two finite specifications of a queue. Zbl 0911.68010Bezem, Marc; Ponse, Alban 2 1997 Equivalence of recursive specifications in process algebra. Zbl 1003.68088Ponse, Alban; Usenko, Yaroslav S. 2 2001 Register-machine based processes. Zbl 1323.68401Bergstra, Jan A.; Ponse, Alban 2 2001 Evaluation trees for proposition algebra. Zbl 1444.03110Bergstra, Jan A.; Ponse, Alban 2 2015 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037Bergstra, J. A.; Ponse, A. 1 2009 An independent axiomatisation for free short-circuit logic. Zbl 1436.03178Ponse, Alban; Staudt, Daan J. C. 1 2018 ACP ’95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17–18, 1995. Zbl 0895.00055 1 1997 Program algebra with unit instruction operators. Zbl 1008.68080Ponse, Alban 1 2002 A generalization of ACP using Belnap’s logic. Zbl 1106.68075Ponse, Alban; van der Zwaag, Mark B. 1 2007 Thread algebra and risk assessment services. Zbl 1149.68022Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2008 Risk assessment for one-counter threads. Zbl 1166.68010Ponse, Alban; van der Zwaag, Mark B. 1 2008 Belnap’s logic and conditional composition. Zbl 1179.03029Ponse, Alban; van der Zwaag, Mark B. 1 2007 Equations for formally real meadows. Zbl 1350.68189Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2015 Probability functions in the context of signed involutive meadows (extended abstract). Zbl 1453.68105Bergstra, Jan A.; Ponse, Alban 1 2017 An independent axiomatisation for free short-circuit logic. Zbl 1436.03178Ponse, Alban; Staudt, Daan J. C. 1 2018 Probability functions in the context of signed involutive meadows (extended abstract). Zbl 1453.68105Bergstra, Jan A.; Ponse, Alban 1 2017 Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012Bergstra, Jan A.; Ponse, Alban 3 2016 Division by zero in common meadows. Zbl 1453.68104Bergstra, Jan A.; Ponse, Alban 5 2015 Evaluation trees for proposition algebra. Zbl 1444.03110Bergstra, Jan A.; Ponse, Alban 2 2015 Equations for formally real meadows. Zbl 1350.68189Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2015 Proposition algebra and short-circuit logic. Zbl 1354.03035Bergstra, Jan A.; Ponse, Alban 3 2012 Proposition algebra. Zbl 1352.03040Bergstra, Jan A.; Ponse, Alban 4 2011 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037Bergstra, J. A.; Ponse, A. 1 2009 Thread algebra and risk assessment services. Zbl 1149.68022Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2008 Risk assessment for one-counter threads. Zbl 1166.68010Ponse, Alban; van der Zwaag, Mark B. 1 2008 Execution architectures for program algebra. Zbl 1116.68024Bergstra, Jan A.; Ponse, Alban 5 2007 Decision problems for pushdown threads. Zbl 1120.68077Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 5 2007 A generalization of ACP using Belnap’s logic. Zbl 1106.68075Ponse, Alban; van der Zwaag, Mark B. 1 2007 Belnap’s logic and conditional composition. Zbl 1179.03029Ponse, Alban; van der Zwaag, Mark B. 1 2007 An introduction to program and thread algebra. Zbl 1131.68411Ponse, Alban; van der Zwaag, Mark B. 7 2006 A generalization of ACP using Belnap’s logic. Zbl 1316.68104Ponse, Alban; van der Zwaag, Mark B. 3 2006 Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B. 7 2003 Combining programs and state machines. Zbl 1008.68068Bergstra, Jan A.; Ponse, Alban 14 2002 Program algebra with unit instruction operators. Zbl 1008.68080Ponse, Alban 1 2002 Handbook of process algebra. Zbl 0971.00006 61 2001 Process algebra with recursive operations. Zbl 1027.68091Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban 9 2001 Linearization in parallel pCRL. Zbl 0988.68121Groote, J. F.; Ponse, A.; Usenko, Y. S. 7 2001 Non-regular iterators in process algebra. Zbl 0983.68138Bergstra, Jan A.; Ponse, Alban 4 2001 Process algebra and conditional composition. Zbl 1003.68091Bergstra, Jan A.; Ponse, Alban 4 2001 Equivalence of recursive specifications in process algebra. Zbl 1003.68088Ponse, Alban; Usenko, Yaroslav S. 2 2001 Register-machine based processes. Zbl 1323.68401Bergstra, Jan A.; Ponse, Alban 2 2001 Process algebra with four-valued logic. Zbl 1036.68067Bergstra, Jan A.; Ponse, Alban 8 2000 Process algebra with five-valued conditions. Zbl 0960.68123Bergstra, Jan A.; Ponse, Alban 4 1999 Bochvar-McCarthy logic and process algebra. Zbl 0970.68115Bergstra, Jan A.; Ponse, Alban 6 1998 Kleene’s three-valued logic and process algebra. Zbl 1338.68200Bergstra, Jan A.; Ponse, Alban 6 1998 Two finite specifications of a queue. Zbl 0911.68010Bezem, Marc; Ponse, Alban 2 1997 ACP ’95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17–18, 1995. Zbl 0895.00055 1 1997 Computable processes and bisimulation equivalence. Zbl 0862.68052Ponse, Alban 4 1996 Process algebra with combinators. Zbl 0953.68572Bergstra, J. A.; Bethke, I.; Ponse, A. 22 1994 Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135Groote, Jan Friso; Ponse, Alban 12 1994 Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078Groote, Jan Friso; Ponse, Alban 9 1994 Process expressions and Hoare’s logic: Showing and irreconcilability of context-free recursion with Scott’s induction rule. Zbl 0744.68092Ponse, Alban 2 1991 all cited Publications top 5 cited Publications all top 5 Cited by 167 Authors 35 Bergstra, Jan A. 23 Ponse, Alban 16 Middelburg, Cornelis A. 8 Fokkink, Willem Jan 7 Aceto, Luca 7 Groote, Jan Friso 6 Lüttgen, Gerald 6 Luttik, Bas 6 Vogler, Walter 5 Baeten, Jos C. M. 5 Ingólfsdóttir, Anna 5 Schröder, Lutz 5 van der Zwaag, Mark B. 4 Bernardo, Marco 4 Bethke, Inge 4 Goncharov, Sergeĭ Savost’yanovich 4 Rauch, Christoph 3 Andova, Suzana 3 Castiglioni, Valentina 3 Garavel, Hubert 3 van Benthem, Johan F. A. K. 2 Benevides, Mario R. F. 2 Boiten, Eerke A. 2 Cleaveland, Rance 2 De Nicola, Rocco 2 de Vink, Erik P. 2 Derrick, John 2 Georgievska, Sonja 2 Goldblatt, Robert Ian 2 Groenewegen, Luuk P. J. 2 Lang, Frédéric 2 Loreti, Michele 2 Mardare, Radu 2 Mateescu, Radu 2 Möller, Bernhard 2 Pang, Jun 2 Pedersen, Mathias Ruggaard 2 Piróg, Maciej 2 Reniers, Michel Adriaan 2 Roggenbach, Markus 2 Schneider, Steve A. 2 Staudt, Daan J. C. 2 Trčka, Nikola 2 Treharne, Helen 2 Usenko, Yaroslav S. 2 van de Pol, Jan Cornelis 2 Verhoef, Chris 2 Vu, Thuy Duong 2 Yang, Fei 1 Aarts, Fides 1 Adi, Kamel 1 Aguado, Joaquin 1 Aldini, Alessandro 1 Anastasiadi, Elli 1 Apt, Krzysztof Rafal 1 Bădică, Amelia 1 Bădică, Costin 1 Baranov, S. N. 1 Bezem, Marc 1 Bezhanishvili, Nick 1 Bo, Chen 1 Börger, Egon 1 Brzeziński, Jerzy 1 Bundy, Alan 1 Campagner, Andrea 1 Cao, Yongzhi 1 Chen, Taolue 1 Chen, Weien 1 Ciucci, Davide 1 Console, Luca 1 Cuijpers, Pieter J. L. 1 Cungen, Cao 1 D’Argenio, Pedro Rubén 1 de Vries, Fer-Jan J. 1 Di Pierro, Alessandra 1 Dima, Cătălin 1 Dorigatti, Valentina 1 Dwornikowski, Dariusz 1 Enqvist, Sebastian 1 Ésik, Zoltán 1 Fecher, Harald 1 Fuhrmann, Insa 1 Ghosh, Sujata 1 Goriac, Eugen-Ioan 1 Green, Ian 1 Gregorio-Rodríguez, Carlos 1 Haddad, Serge 1 Hankin, Chris L. 1 Hennessy, Matthew C. B. 1 Hermanns, Holger 1 Hoare, C. A. R. Tony 1 Hofman, Rutger 1 Höfner, Peter 1 Iyer, S. Purushothaman 1 Jakob, Julian 1 Jonsson, Bengt 1 Kapitonova, Yu. V. 1 Katoen, Joost-Pieter 1 Klin, Bartek 1 Kotlyarov, V. P. ...and 67 more Authors all top 5 Cited in 31 Serials 30 Theoretical Computer Science 12 The Journal of Logic and Algebraic Programming 10 Formal Aspects of Computing 9 Information and Computation 8 Information Processing Letters 7 Acta Informatica 6 Logical Methods in Computer Science 5 Theory of Computing Systems 4 Journal of Applied Non-Classical Logics 4 Journal of Applied Logic 3 Science of Computer Programming 3 Annals of Pure and Applied Logic 3 Cybernetics and Systems Analysis 3 Formal Methods in System Design 3 Journal of Logical and Algebraic Methods in Programming 2 MSCS. Mathematical Structures in Computer Science 2 Fundamenta Informaticae 1 Artificial Intelligence 1 Notre Dame Journal of Formal Logic 1 Synthese 1 Systems & Control Letters 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Indagationes Mathematicae. New Series 1 Applicable Algebra in Engineering, Communication and Computing 1 Foundations of Computing and Decision Sciences 1 International Journal of Applied Mathematics and Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Intelligent and Fuzzy Systems 1 Science China. Information Sciences 1 Frontiers of Computer Science all top 5 Cited in 13 Fields 136 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 3 Probability theory and stochastic processes (60-XX) 3 Systems theory; control (93-XX) 2 General algebraic systems (08-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year