Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!

Prof. dr. J.A. (Jan) Bergstra

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

    2021

    2020

    2019

    2018

    • Bergstra, J. A., & Middelburg, C. A. (2018). A Short Introduction to Program Algebra with Instructions for Boolean Registers. Computer Science Journal of Moldova, 26(3 (78)), 199-232. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2018). Instruction sequences expressing multiplication algorithms. Scientific Annals of Computer Science, 28(1), 39-66. https://doi.org/10.7561/SACS.2018.1.39 [details]

    2017

    • Bergstra, J. A., & Bethke, I. (2017). Subvarieties of the Variety of Meadows. Scientific Annals of Computer Science, 27(1), 1-18. https://doi.org/10.7561/SACS.2017.1.1 [details]
    • Bergstra, J. A., & Middelburg, C. A. (2017). Axioms for behavioural congruence of single-pass instruction sequences. Scientific Annals of Computer Science, 27(2), 111-135. https://doi.org/10.7561/SACS.2017.2.111 [details]
    • Bergstra, J. A., & Middelburg, C. A. (2017). Contradiction-tolerant process algebra with propositional signals. Fundamenta Informaticae, 153(1-2), 29-55. https://doi.org/10.3233/FI-2017-1530 [details]
    • 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). Cham: Springer. https://doi.org/10.1007/978-3-319-72044-9_6 [details]

    2016

    2015

    2014

    2013

    2012

    2011

    2010

    2009

    • Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequences with dynamically instantiated instructions. Fundamenta Informaticae, 96(1-2), 27-48. https://doi.org/10.3233/FI-2009-165 [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Machine structure oriented control code logic. Acta Informatica, 46(5), 375-401. https://doi.org/10.1007/s00236-009-0099-2 [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Transmission protocols for instruction streams. In M. Leucker, & C. Morgan (Eds.), Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings (pp. 127-139). (Lecture Notes in Computer Science; Vol. 5684). Berlin: Springer. https://doi.org/10.1007/978-3-642-03466-4_8 [details]
    • Bergstra, J. A., & Ponse, A. (2009). An instruction sequence semigroup with involutive anti-automorphisms. Scientific Annals of Computer Science, 19, 57-92. [details]

    2008

    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.) Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2014

    • Bergstra, J. A. (2014). Division by Zero and Abstract Data Types. (Theory of Computer Science electronic report series; No. 1404). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Four Complete Datatype Defining Rewrite Systems for an Abstract Datatype of Natural Numbers. (3 ed.) (TCS Electronic Report series; No. 1407). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). From Software Crisis to Informational Money. (TCS Electronic Report series; No. 1414). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Personal Multi-threading. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]
    • Bergstra, J. A. (2014). Rekenen in een Conservatieve Schrapwet Weide. (TCS Electronic Report series; No. 1405). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A., & Burgess, M. (2014). Promise Theory: Principles and Applications. CreateSpace. [details]
    • Bergstra, J. A., & Burgess, M. (2014). Promises, Impositions, and other Directionals. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]
    • Bergstra, J. A., & Ponse, A. (2014). Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. (2 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]
    • Bergstra, J. A., & Weijland, P. (2014). Bitcoin: a Money-like Informational Commodity. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2012

    • Bergstra, J. A., & Middelburg, C. A. (2012). Instruction Sequences for Computer Science. (Atlantis Studies in Computing; No. 2). Paris: Atlantis Press. [details]

    2011

    • Bergstra, J. A. (2011). Dialectical roots for interest prohibition theory. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2011). Informatics perspectives on decision taking. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2011). Putting instruction sequences into effect. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2011). Real Islamic Logic. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2011). An application specific informal logic for interest prohibition theory. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2011). Interest prohibition and financial product innovation. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2011). On the behaviours produced by instruction sequences under execution. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., Delen, G., & van Vlijmen, B. (2011). Introducing sourcements. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., Delen, G., & van Vlijmen, B. (2011). Outsourcing competence. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., Delen, G., & van Vlijmen, B. (2011). Stratified outsourcing theory. Ithaca, NY: arXiv.org. [details]

    2010

    • Bergstra, J. A. (2010). Formaleuros, formalcoins and virtual monies. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2010). Informal control code logic. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2010). Steering fragments of instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Bethke, I. (2010). On the contribution of backward jumps to instruction sequence expressiveness. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2010). On the definition of a theoretical concept of an operating system. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2010). Short-circuit logic. Ithaca, NY: arXiv.org. [details]

    2009

    • Bergstra, J. A., & Bethke, I. (2009). Square root meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Bethke, I. (2009). Straight-line instruction sequence completeness for total calculation on cancellation meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). A process calculus with finitary comprehended terms. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Arithmetical meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Autosolvability of halting problem instances for instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Functional units for natural numbers. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Indirect jumps improve instruction sequence performance. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence notations with probabilistic instructions. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence processing operators. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Inversive meadows and divisive meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Meadow enriched ACP process algebras. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). On the expressiveness of single-pass instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Partial Komori fields and imperative Komori fields. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Thread extraction for polyadic instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Timed tuplix calculus and the Wesseling and van den Bergh equation. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2009). A progression ring for interfaces of instruction sequences, threads, and services. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., & Burgess, M. (2009). Local and global trust based on the concept of promises. Ithaca, NY: arXiv.org. [details]

    2008

    • Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage algebra, data linkage dynamics, and priority rewriting. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage dynamics with shedding. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2008). Instruction sequences and non-uniform complexity theory. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2008). Instruction sequences for the production of processes. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2008). Thread algebra for poly-threading. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2008). A generic basis theorem for cancellation meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2008). An instruction sequence semigroup with repeaters. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2008). Differential meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2008). Proposition algebra with projective limits. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & van der Zwaag, M. B. (2008). Mechanistic behavior of single-pass instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Towards a formalization of budgets. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Tuplix Calculus specifications of financial transfer networks. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., & Burgess, M. (2008). A static theory of promises. Ithaca, NY: arXiv.org. [details]

    2014

    • Bergstra, J. A. (2014). Bitcoin and Islamic Finance. (3 ed.) (TCS Electronic Report series; No. 1406). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Bitcoin, een "money-like informational commodity". (TCS Electronic Report series; No. 1401). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Bitcoin: Informational Money en het Einde van Gewoon Geld. (TCS Electronic Report series; No. 1408). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Bitcoin: not a currency-like informational commodity. (TCS Electronic Report series; No. 1411). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2014). Rekenen-Informatica. (TCS Electronic Report series; No. 1412). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]

    2013

    • Bergstra, J., Blanck, J., Moller, F., & Wainer, S. (2013). Guest editorial. Computer Journal, 56(1). https://doi.org/10.1093/comjnl/bxs147 [details]
    • Bergstra, J., Klop, J. W., & Rutten, J. (2013). Obituary for Jaco de Bakker, 1930-2012. Bulletin of the European Association for Theoretical Computer Science, 109, 14-16. [details]

    2011

    • Bergstra, J. A., & Middelburg, C. A. (2011). Interest prohibition and financial product innovation. In A. Escurat (Ed.), Finance islamique: regard(s) sur une finance alternative: recueil d'articles d'experts internationaux (pp. 274-284). Alger: Mazars Hadj Ali.

    1998

    • Bergstra, J. A., & van Vlijmen, S. F. M. (1998). Theoretische software-engineering: kenmerken, faseringen en classificaties. (Quaestiones Infinitae; Vol. 28). Utrecht: Zeno, the Leiden - Utrecht research institute of philosophy. [details]

    2017

    • Bergstra, J. A., Bethke, I., & Hendriks, D. (2017). Universality of Univariate Mixed Fractions in Divisive Meadows. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2016

    • Bergstra, J. A. (2016). Adams Conditioning and Likelihood Ratio Transfer Mediated Inference. (3 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]
    • Bergstra, J. A. (2016). Conditional Values in Signed Meadow Based Axiomatic Probability Calculus. (3 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2015

    • Bergstra, J. A., & Bethke, I. (2015). A negative result on algebraic specifications of the meadow of rational numbers. (1 ed.) Universiteit van Amsterdam.
    • Bergstra, J. A., & Bethke, I. (2015). Subvarieties of the variety of meadows. Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2014

    • Bergstra, J. A., & Bethke, I. (2014). Note on paraconsistency and reasoning about fractions. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2014). Equations for formally real meadows. Ithaca, NY: arXiv.org. [details]
    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 bekend
contactgegevens bewerken   bewerk profielinformatie