Edit Profile Ponse, Alban Compute Distance To: Compute Author ID: ponse.alban Published as: Ponse, A.; Ponse, Alban External Links: ORCID Documents Indexed: 42 Publications since 1991, including 4 Books all top 5 Co-Authors 3 single-authored 25 Bergstra, Jan A. 7 van der Zwaag, Mark B. 4 Bethke, Inge 3 Groote, Jan Friso 2 Usenko, Yaroslav S. 2 Verhoef, Chris 1 Bezem, Marc 1 de Rijke, Maarten 1 Fokkink, Wan J. 1 Smolka, Scott A. 1 Staudt, Daan J. C. 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 2 Acta Informatica 2 Formal Aspects of Computing 2 Journal of Applied Non-Classical Logics 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 all top 5 Fields 39 Computer science (68-XX) 15 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 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 38 Publications have been cited 224 times in 149 Documents Cited by ▼ Year ▼ Handbook of process algebra. Zbl 0971.00006Bergstra, Jan A. (ed.); Ponse, Alban (ed.); Smolka, Scott A. (ed.) 66 2001 Process algebra with combinators. Zbl 0953.68572Bergstra, J. A.; Bethke, I.; Ponse, A. 21 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 13 1994 Process algebra with recursive operations. Zbl 1027.68091Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban 8 2001 Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078Groote, Jan Friso; Ponse, Alban 8 1994 An introduction to program and thread algebra. Zbl 1131.68411Ponse, Alban; van der Zwaag, Mark B. 7 2006 Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B. 7 2003 Linearization in parallel pCRL. Zbl 0988.68121Groote, J. F.; Ponse, A.; Usenko, Y. S. 7 2001 Process algebra with four-valued logic. Zbl 1036.68067Bergstra, Jan A.; Ponse, Alban 7 2000 Execution architectures for program algebra. Zbl 1116.68024Bergstra, Jan A.; Ponse, Alban 6 2007 Kleene’s three-valued logic and process algebra. Zbl 1338.68200Bergstra, Jan A.; Ponse, Alban 6 1998 Decision problems for pushdown threads. Zbl 1120.68077Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 5 2007 Bochvar-McCarthy logic and process algebra. Zbl 0970.68115Bergstra, Jan A.; Ponse, Alban 5 1998 Process algebra and conditional composition. Zbl 1003.68091Bergstra, Jan A.; Ponse, Alban 4 2001 Computable processes and bisimulation equivalence. Zbl 0862.68052Ponse, Alban 4 1996 Division by zero in common meadows. Zbl 06448704Bergstra, Jan A.; Ponse, Alban 3 2015 A generalization of ACP using Belnap’s logic. Zbl 1316.68104Ponse, Alban; van der Zwaag, Mark B. 3 2006 Process algebra with five-valued conditions. Zbl 0960.68123Bergstra, Jan A.; Ponse, Alban 3 1999 Proposition algebra and short-circuit logic. Zbl 1354.03035Bergstra, Jan A.; Ponse, Alban 2 2012 Proposition algebra. Zbl 1352.03040Bergstra, Jan A.; Ponse, Alban 2 2011 A generalization of ACP using Belnap’s logic. Zbl 1106.68075Ponse, Alban; van der Zwaag, Mark B. 2 2007 Register-machine based processes. Zbl 1323.68401Bergstra, Jan A.; Ponse, Alban 2 2001 Equivalence of recursive specifications in process algebra. Zbl 1003.68088Ponse, Alban; Usenko, Yaroslav S. 2 2001 Non-regular iterators in process algebra. Zbl 0983.68138Bergstra, Jan A.; Ponse, Alban 2 2001 Two finite specifications of a queue. Zbl 0911.68010Bezem, Marc; Ponse, Alban 2 1997 Process expressions and Hoare’s logic: Showing and irreconcilability of context-free recursion with Scott’s induction rule. Zbl 0744.68092Ponse, Alban 2 1991 Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012Bergstra, Jan A.; Ponse, Alban 1 2016 Evaluation trees for proposition algebra. Zbl 1444.03110Bergstra, Jan A.; Ponse, Alban 1 2015 Equations for formally real meadows. Zbl 1350.68189Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2015 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037Bergstra, J. A.; Ponse, A. 1 2009 Risk assessment for one-counter threads. Zbl 1166.68010Ponse, Alban; van der Zwaag, Mark B. 1 2008 Thread algebra and risk assessment services. Zbl 1149.68022Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2008 Belnap’s logic and conditional composition. Zbl 1179.03029Ponse, Alban; van der Zwaag, Mark B. 1 2007 Program algebra with unit instruction operators. Zbl 1008.68080Ponse, Alban 1 2002 ACP ’95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17–18, 1995. Zbl 0895.00055Ponse, Alban (ed.); Verhoef, Chris (ed.); Van Vlijmen, Bas (ed.) 1 1997 Modal logic and process algebra. A bisimulation perspective. Papers from the workshop ”Three days of bisimulation”, Amsterdam, the Netherlands, April 1994. Zbl 0943.68508Ponse, Alban (ed.); De Rijke, Maarten (ed.); Venema, Yde (ed.) 1 1995 Algebra of communicating processes. Proceedings of ACP94, the 1st workshop, Utrecht, The Netherlands, 16-17 May 1994. Zbl 0829.68073Ponse, A. (ed.); Verhoef, C. (ed.); van Vlijmen, S. F. M. (ed.) 1 1995 Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012Bergstra, Jan A.; Ponse, Alban 1 2016 Division by zero in common meadows. Zbl 06448704Bergstra, Jan A.; Ponse, Alban 3 2015 Evaluation trees for proposition algebra. Zbl 1444.03110Bergstra, Jan A.; Ponse, Alban 1 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 2 2012 Proposition algebra. Zbl 1352.03040Bergstra, Jan A.; Ponse, Alban 2 2011 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037Bergstra, J. A.; Ponse, A. 1 2009 Risk assessment for one-counter threads. Zbl 1166.68010Ponse, Alban; van der Zwaag, Mark B. 1 2008 Thread algebra and risk assessment services. Zbl 1149.68022Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2008 Execution architectures for program algebra. Zbl 1116.68024Bergstra, Jan A.; Ponse, Alban 6 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. 2 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.00006Bergstra, Jan A. (ed.); Ponse, Alban (ed.); Smolka, Scott A. (ed.) 66 2001 Process algebra with recursive operations. Zbl 1027.68091Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban 8 2001 Linearization in parallel pCRL. Zbl 0988.68121Groote, J. F.; Ponse, A.; Usenko, Y. S. 7 2001 Process algebra and conditional composition. Zbl 1003.68091Bergstra, Jan A.; Ponse, Alban 4 2001 Register-machine based processes. Zbl 1323.68401Bergstra, Jan A.; Ponse, Alban 2 2001 Equivalence of recursive specifications in process algebra. Zbl 1003.68088Ponse, Alban; Usenko, Yaroslav S. 2 2001 Non-regular iterators in process algebra. Zbl 0983.68138Bergstra, Jan A.; Ponse, Alban 2 2001 Process algebra with four-valued logic. Zbl 1036.68067Bergstra, Jan A.; Ponse, Alban 7 2000 Process algebra with five-valued conditions. Zbl 0960.68123Bergstra, Jan A.; Ponse, Alban 3 1999 Kleene’s three-valued logic and process algebra. Zbl 1338.68200Bergstra, Jan A.; Ponse, Alban 6 1998 Bochvar-McCarthy logic and process algebra. Zbl 0970.68115Bergstra, Jan A.; Ponse, Alban 5 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.00055Ponse, Alban (ed.); Verhoef, Chris (ed.); Van Vlijmen, Bas (ed.) 1 1997 Computable processes and bisimulation equivalence. Zbl 0862.68052Ponse, Alban 4 1996 Modal logic and process algebra. A bisimulation perspective. Papers from the workshop ”Three days of bisimulation”, Amsterdam, the Netherlands, April 1994. Zbl 0943.68508Ponse, Alban (ed.); De Rijke, Maarten (ed.); Venema, Yde (ed.) 1 1995 Algebra of communicating processes. Proceedings of ACP94, the 1st workshop, Utrecht, The Netherlands, 16-17 May 1994. Zbl 0829.68073Ponse, A. (ed.); Verhoef, C. (ed.); van Vlijmen, S. F. M. (ed.) 1 1995 Process algebra with combinators. Zbl 0953.68572Bergstra, J. A.; Bethke, I.; Ponse, A. 21 1994 Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135Groote, Jan Friso; Ponse, Alban 13 1994 Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078Groote, Jan Friso; Ponse, Alban 8 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 172 Authors 31 Bergstra, Jan A. 21 Ponse, Alban 15 Middelburg, Cornelis A. 8 Groote, Jan Friso 7 Fokkink, Wan 7 Lüttgen, Gerald 6 Aceto, Luca 6 Vogler, Walter 5 Schröder, Lutz 5 van der Zwaag, Mark B. 4 Baeten, Jos C. M. 4 Bethke, Inge 4 Goncharov, Sergeĭ Savost’yanovich 4 Ingólfsdóttir, Anna 4 Klin, Bartek 4 Rauch, Christoph 3 Andova, Suzana 3 Bernardo, Marco 3 Cleaveland, Rance 3 Garavel, Hubert 3 Luttik, Bas 2 Benevides, Mario R. F. 2 Boiten, Eerke A. 2 Castiglioni, Valentina 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 Larsen, Kim Guldstrand 2 Loreti, Michele 2 Mardare, Radu 2 Mateescu, Radu 2 Möller, Bernhard 2 Pang, Jun 2 Piróg, Maciej 2 Reniers, Michel Adriaan 2 Roggenbach, Markus 2 Schneider, Steve A. 2 Skobelev, Volodymyr V. 2 ter Beek, Maurice H. 2 Trčka, Nikola 2 Treharne, Helen 2 Usenko, Yaroslav S. 2 van Benthem, Johan F. A. K. 2 van de Pol, Jan Cornelis 2 van Wamel, Jos 2 Verhoef, Chris 2 Vu, Thuy Duong 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 Bo, Chen 1 Brzeziński, Jerzy 1 Bundy, Alan 1 Cao, Yongzhi 1 Chen, Taolue 1 Chen, Weien 1 Console, Luca 1 Cuijpers, Pieter J. L. 1 Cungen, Cao 1 D’Argenio, Pedro Rubén 1 Di Pierro, Alessandra 1 Diaconescu, Răzvan 1 Dima, Cătălin 1 Dwornikowski, Dariusz 1 Eberbach, Eugene 1 Ésik, Zoltán 1 Fahrenberg, Uli 1 Fecher, Harald 1 Fokkink, Wan J. 1 Fredlund, Lars-åke 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 Kahramanoğulları, Ozan 1 Kapitonova, Yu. V. 1 Katoen, Joost-Pieter 1 Kleijn, Jetty H. C. M. ...and 72 more Authors all top 5 Cited in 30 Serials 36 Theoretical Computer Science 13 The Journal of Logic and Algebraic Programming 12 Information and Computation 10 Formal Aspects of Computing 8 Information Processing Letters 7 Acta Informatica 5 Theory of Computing Systems 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 Applied Non-Classical Logics 3 Journal of Logical and Algebraic Methods in Programming 2 MSCS. Mathematical Structures in Computer Science 2 Logical Methods in Computer Science 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 14 Fields 137 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 3 Systems theory; control (93-XX) 2 General algebraic systems (08-XX) 2 Probability theory and stochastic processes (60-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 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year