Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Dr. A. (Alban) Ponse

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Informatics Institute
Fotograaf: onbekend
Bezoekadres
  • Science Park 904
Postadres
  • Postbus 94323
    1090 GH Amsterdam
Contactgegevens
  • Profile
    https://staff.fnwi.uva.nl/a.ponse
  • Publicaties

    2021

    2020

    2018

    2017

    • Bergstra, J. A., & Ponse, A. (2017). Probability Functions in the Context of Signed Involutive Meadows: Extended Abstract. In P. James, & M. Roggenbach (Eds.), Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers (pp. 73–87). (Lecture Notes in Computer Science; Vol. 10644). Springer. https://doi.org/10.1007/978-3-319-72044-9_6 [details]

    2016

    2015

    • Bergstra, J. A., & Ponse, A. (2015). Division by zero in common meadows. In R. De Nicola, & R. Hennicker (Eds.), Software, Services, and Systems: essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering (pp. 46-61). (Lecture Notes in Computer Science; No. 8950). Springer. https://doi.org/10.1007/978-3-319-15545-6_6 [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2015). Equations for formally real meadows. Journal of Applied Logic, 13(2, pt. B), 1-23. Advance online publication. https://doi.org/10.1016/j.jal.2015.01.004 [details]

    2013

    2012

    • Bergstra, J. A., & Ponse, A. (2012). Proposition algebra and short-circuit logic. In F. Arbab, & M. Sirjani (Eds.), Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22 2011: revised selected papers (pp. 15-31). (Lecture Notes in Computer Science; Vol. 7141). Springer. https://doi.org/10.1007/978-3-642-29320-7_2 [details]

    2011

    2009

    2008

    2007

    • Bergstra, J. A., & Ponse, A. (2007). Execution architectures for program algebra. Journal of Applied Logic, 5, 170-192. [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2007). Decision problems for pushdown threads. Acta Informatica, 44, 75-90. https://doi.org/10.1007/s00236-007-0040-5 [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2007). Thread algebra and risk assessment services. In C. Dimitracopoulos, L. Newelski, & D. Normann (Eds.), Proceedings Logic Colloquium 2005 (Vol. 28, pp. 1-17). Cambridge University Press. [details]
    • Ponse, A., & van der Zwaag, M. B. (2007). A generalization of ACP using Belnaps logic. The Journal of Logic and Algebraic Programming, 70, 222-235. https://doi.org/10.1016/j.jlap.2006.08.006 [details]
    • Ponse, A., & van der Zwaag, M. B. (2007). Belnap's logic and conditional composition. Theoretical Computer Science, 388, 319-336. https://doi.org/10.1016/j.tcs.2007.09.027 [details]

    2006

    2005

    • Bergstra, J. A., & Ponse, A. (2005). A bypass of Cohen's impossibility result. Lecture Notes in Computer Science, 3470, 1097-1106. [details]
    • Bergstra, J. A., & Ponse, A. (2005). A bypass of Cohen's impossibility result. In Advances in Grid Computing - EGC 2005 (Vol. 3470, pp. 1097-1106). (LNCS; Vol. 3470). Springer Verlag.
    • Ponse, A., & van der Zwaag, M. B. (2005). ACP and Belnap's logic. In L. Aceto, & A. D. Gordon (Eds.), Algebraic Process Calculi: The First Twenty Five Years and Beyond: Bertinoro (Forl`ı), Italy, August 1–5, 2005 (Vol. 05-03, pp. 204-208). (BRICS Notes Series publications).. https://www.brics.dk/NS/05/3/index.html [details]

    2003

    2002

    2001

    2000

    • Bergstra, J. A., & Ponse, A. (2000). Bochvar-McCarthy logic and process algebra. Notre Dame Journal of Formal Logic, 39(4), 464-484. [details]
    • Bergstra, J. A., & Ponse, A. (2000). Process algebra with four-valued logic. Journal of Applied Non-Classical Logics, 10(1), 27-53. [details]

    1999

    • Bergstra, J. A., & Ponse, A. (1999). Process algebra with five-valued logic. Australian Computer Science Communications, 21, 128-143. [details]

    1998

    • Bergstra, J. A., & Ponse, A. (1998). Grid protocol specifications. In Propects for hardware foundations (pp. 278-309). (LNCS; No. 1546). Springer Verlag GmbH. [details]
    • Bergstra, J. A., & Ponse, A. (1998). Kleene's three-valued logic and process algebra. Information Processing Letters, 67(2), 95-103.
    • Bergstra, J. A., & Ponse, A. (1998). Kleene's tree-valued logic and process algebra. Information Processing Letters, 67, 95-103. https://doi.org/10.1016/S0020-0190(98)00083-0 [details]

    1997

    1996

    • Ponse, A. (1996). Computable Processes and Bisimulation Equivalence. Formal Aspects of Computing, 8(6), 648-678. [details]

    1994

    • Bergstra, J. A., Bethke, I., & Ponse, A. (1994). Process algebra with combinators. Lecture Notes in Computer Science, 832, 36-65.
    • Bergstra, J. A., Bethke, I., & Ponse, A. (1994). Process algebra with iteration and nesting. Computer Journal, 37(4), 243-258. https://doi.org/10.1093/comjnl/37.4.243 [details]
    • Bergstra, J. A., Ponse, A., & van Wamel, J. J. (1994). Process Algebra with Backtracking. In J. W. de Bakker, W-P. de Roever, & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 : proceedings (pp. 46-91). (Lecture Notes in Computer Science; Vol. 803). Springer. https://doi.org/10.1007/3-540-58043-3_17 [details]
    • Groote, J. F., & Ponse, A. (1994). Process Algebra with Guards. Combining Hoare Logic and Process Algebra. Formal Aspects of Computing, 6, 115-164. [details]
    • Groote, J. F., & Ponse, A. (1994). Proof Theory for mCRL: a Language for Processes with Data. In J. F. Groote, D. J. Andrews, & C. A. Middelburg (Eds.), Proceedings of the International Workshop on Semantics of Specification Languages (pp. 232-251). (Workshops in Computing). Berlin: Springer-Verlag. [details]
    • Groote, J. F., & Ponse, A. (1994). The Syntax and Semantics of mCRL. In C. Verhoef, A. Ponse, & S. F. M. Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994 (pp. 26-62). (Workshops in Computing). Berlin: Springer Verlag. [details]

    1991

    • Groote, J. F., & Ponse, A. (1991). Process algebra with guards: combining Hoare logic and process algebra (extended abstract). Lecture Notes in Computer Science, 527, 235-249.
    • Groote, J. F., & Ponse, A. (1991). muCRL: A base for analysing processes with data. In E. Best, & G. Rozenberg (Eds.), Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, GMD-Studien Nr. 191 (pp. 125-139). Hildesheim: Universität Hildesheim.
    • Ponse, A. (1991). Process expressions and Hoare's logic. Information and Computation, 95(2), 192-217. https://doi.org/10.1016/0890-5401(91)90044-3

    1987

    • Ponse, A. (1987). Encoding types in the Lambek calculus. In E. Klein, & J. F. A. K. van Benthem (Eds.), Categories, Polymorphism and Unification (pp. 262-276). Edinburgh: Centre for Cognitive Science, University of Edinburgh & Institute for Language, Logic and Information, University of Amsterdam.

    2022

    2021

    2019

    2016

    • Bergstra, J. A., & Ponse, A. (2016). Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view. (1 ed.) Informatics Institute, University of Amsterdam. https://arxiv.org/abs/1608.06212v1 [details]

    2014

    • Bergstra, J. A., & Ponse, A. (2014). Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. (2 ed.) Informatics Institute, University of Amsterdam. http://arxiv.org/abs/1406.3280v2 [details]

    2010

    2009

    2008

    2007

    2006

    • Bergstra, J. A., & Ponse, A. (2006). Interface Groups for Analytic Execution Architectures. Amsterdam: Programming Research Group, UvA. [details]
    • Bergstra, J. A., & Ponse, A. (2006). Program Algebra with Repeat Instruction. Amsterdam: Programming Research Group, UvA. [details]
    • Bergstra, J. A., & Ponse, A. (2006). Projection Semantics for Rigid Loops. Amsterdam: Programming Research Group, UvA. [details]
    • Bergstra, J. A., & Ponse, A. (2006). A bypass of Cohen's impossibility result: Extended version (in html). VX Heaven, Library. http://vx.netlux.org/lib/mjb00.html [details]
    • Ponse, A., & van der Zwaag, M. B. (2006). Risk Assessment for One-Counter Threads. Amsterdam: Programming Research Group, UvA. [details]

    2005

    • Bergstra, J. A., & Ponse, A. (2005). A Bypass of Cohen's Impossibility Result. (PRG; No. 0501). Amsterdam: Informatics Institute. [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2005). Decision Problems for Pushdown Threads. (PRG0502). Amsterdam: Informatics Institute. [details]

    2001

    • Bergstra, J. A., Ponse, A., & Smolka, S. A. (2001). Handbook of Process Algebra. Amsterdam: Elsevier Science. [details]
    • Ponse, A. (2001). Iteration in process algebra. In R. Backhouse, D. Kozen, & B. Moeller (Eds.), Applications of Kleene Algebra, Report 298 (Report; No. 298). Dagstuhl Seminar no. 01081. [details]
    • Ponse, A., & Usenko, Y. S. (2001). Equivalence of recursive specifications in process algebra. (Report; No. SEN-R0107). onbekend: CWI. [details]

    2000

    • Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Basic Multi-Competence Programming. (Report P0001). Amsterdam: Informatics Institute. [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Data flow networks in Java. In J. A. Bergstra (Ed.), Objects, classes, molecules and threads Amsterdam: Faculteit der Natuurwetenschappen, Wiskunde en Informatica. [details]
    • Bergstra, J. A., Ponse, A., & van der Zwaag, M. B. (2000). Branching Time and Orthogonal Bisimulation Equivalence. (Report SEN; No. R0035). Nederland: CWI. [details]
    • Groote, J. F., Ponse, A., & Usenko, Y. S. (2000). Linearization in parallel pCRL. (Report SEN; No. Roo19). Nederland: CWI. [details]

    1997

    • Bergstra, J. A., & Ponse, A. (1997). Bochvar-McCarthy Logic and Process Algebra. (Technical Report; No. P9722). onbekend: onbekend (FdL). [details]
    • Bergstra, J. A., & Ponse, A. (1997). Grid Protocol Specifications. (Technical Report; No. P9726). onbekend: onbekend (FdL). [details]
    • Bergstra, J. A., & Ponse, A. (1997). Kleene's Three-Valued Logic and Process Algebra. (Technical Report; No. P9723). onbekend: onbekend (FdL). [details]
    • Bergstra, J. A., & Ponse, A. (1997). Process Algebra Primitives for File Transfer. (Technical Report; No. P9725). onbekend: onbekend (FdL). [details]
    • Bergstra, J. A., & Ponse, A. (1997). Process Algebra with Four-Valued Logic. (Technical Report; No. P9724). onbekend: onbekend (FdL). [details]

    1995

    • Bergstra, J. A., & Ponse, A. (1995). Frame algebra with synchronous communication. In R. B. Feenstra, & R. J. Wieringa (Eds.), Information Systems - Correctness and Reusability (Selected papers from the ISCORE Workshop) (pp. 3-15). World Scientific. [details]
    • Bergstra, J. A., & Ponse, A. (1995). Frame-based process logics. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and Process Algebra (pp. 39-63). (CSLI Lecture Notes; No. 53). Stanford: CSLI Publications. [details]
    • Bergstra, J. A., Hillebrand, J. A., & Ponse, A. (1995). Grid protocols based on synchronous communication: specification and correctness. (Technical Report; No. P9511). onbekend: onbekend (FdL). [details]
    • Bezem, M. A., & Ponse, A. (1995). Two finite specifications of a queue. In C. Verhoef, S. F. M. van Vlijmen, & A. Ponse (Eds.), De proceedings: ACP'95 (pp. 121-137) [details]
    • Bosscher, D. F., & Ponse, A. (1995). Translating a process algebra with symbolic data values to linear format. In U. H. Engberg, K. G. Larsen, & A. Skou (Eds.), Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 119-130). BRICS Notes Series, University of Aarhus. [details]
    • Ponse, A., Verhoef, C., & van Vlijmen, S. F. M. (1995). Algebra of Communicating Processes. (Workshops in Computing). Springer. [details]
    • Ponse, A., Verhoef, C., & van Vlijmen, S. F. M. (1995). De proceedings: ACP'95. (Computing Science Reports; No. 95-14). Eindhoven: Eindhoven University of Technology. [details]
    • Ponse, A., de Rijke, M., & Venema, Y. (1995). Modal Logic and Process Algebra. (CSLI Lecture Notes; No. 53). CSLI Publications. [details]
    • Ponse, A., de Rijke, M., & Venema, Y. (1995). Preface. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal logic and process algebra: a bisimulation perspective (pp. vii-xi). (CSLI lecture notes; No. 53). CSLI Publications. [details]

    1994

    • Ponse, A. (1994). Process Algebra and Dynamic Logic. In A. Visser, & J. van Eijck (Eds.), Logic and Information Flow (pp. 125-148). Cambridge Mass.: MIT Press.
    • de Boer, F. S., Olderog, E. R., Ponse, A., & de Vries, F. J. (1994). Editorial. Formal Aspects of Computing, 6(6), 741-742. https://doi.org/10.1007/BF01213600

    1993

    • Bethke, I., & Ponse, A. (1993). A car registration authority, a concise PSF specification. (P9318). Amsterdam: University of Amsterdam, Informatics Institute.

    2014

    2010

    • Ponse, A., & Schroevers, S. (2010). UvA Webklas Informatica: Wat is een programma? In F. Vodegel, & M. Loots (Eds.), NIOC Proceedings: 7 en 8 april 2009, Utrecht (pp. 85-92). Hogeschool Utrecht. [details]

    2003

    • Bethke, I., & Ponse, A. (2003). Programma-Algebra, een inleiding tot de Programmatuur. Amsterdam: Vossiuspers UvA. [details]

    1998

    • Bergstra, J. A., & Ponse, A. (1998). Two recursive generalisations of iteration in process algebra. Amsterdam: WINS (oud WINS). [details]

    2010

    • Bethke, I. (Author), Diertens, B. (Author), & Ponse, A. (Author). (2010). Webklas Informatica: Wat is een programma?. Web publication or website https://tcs.science.uva.nl/WebKlas/

    2005

    2011

    2006

    • Bergstra, J. A., Bethke, I., & Ponse, A. (2006). Decision problems for pushdown threads. The Bulletin of Symbolic Logic, 12, 311-312. [details]
    • Ponse, A., & van der Zwaag, M. B. (2006). A generalization of ACP using Belnaps logic: Extended abstract. Electronic Notes in Theoretical Computer Science, 162, 287-293. [details]

    2004

    Tijdschriftredactie

    • de Boer, F. S. (editor), Olderog, E. R. (editor), Ponse, A. (editor) & de Vries, F. J. (editor) (1994). Formal Aspects of Computing (Journal).

    2009

    • Diertens, B. (2009). Software Engineering with Process Algebra.

    2007

    • Vu, T. D. (2007). Semantics and applications of process and program algebra. [Thesis, fully internal, Universiteit van Amsterdam]. [details]

    2005

    • Gattari, M. (2005). Distributed Systems, the delta and gamma- Calculus.

    1992

    • Ponse, A. (1992). Process Algebras with Data. Amsterdam: CWI.

    2018

    2017

    2016

    2015

    2014

    2013

    2010

    2009

    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden
contactgegevens bewerken   bewerk profielinformatie