dhr. prof. dr. J.A. (Jan) Bergstra

Lijst

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
IVI
POSTBUS 94323
1090 GH Amsterdam
Kamernummer: C2.112
J.A.Bergstra@uva.nl
T: 0205257591
T: 0205255239

Profile
Publicaties
Nevenwerkzaamheden

https://staff.fnwi.uva.nl/j.a.bergstra

refereed(37)
wetenschappelijk(78)
vakpublicatie(8)

2015

J.A. Bergstra & C.A. Middelburg (2015). Division by zero in non-involutive meadows. Journal of Applied Logic, 13 (1), 1-12. doi: 10.1016/j.jal.2014.10.001
J.A. Bergstra & A. Ponse (2015). Division by zero in common meadows. In R. De Nicola & R. Hennicker (Eds.), Software, Services, and Systems (Lecture Notes in Computer Science, 8950) (pp. 46-61). Springer.

2014

J.A. Bergstra & C.A. Middelburg (2014). Instruction sequence based non-uniform complexity classes. Scientific Annals of Computer Science, 24 (1), 47-89. doi: 10.7561/SACS.2014.1.47

2013

J.A. Bergstra, I. Bethke & A. Ponse (2013). Cancellation meadows: a generic basis theorem and some applications. Computer Journal, 56 (1), 3-14. doi: 10.1093/comjnl/bxs028
J. Bergstra & C. Middelburg (2013). Timed tuplix calculus and the Wesseling and van den Berg equation. Scientific Annals of Computer Science, 23 (2), 169-190. doi: 10.7561/SACS.2013.2.169
J. Bergstra & C.A. Middelburg (2013). A process calculus with finitary comprehended terms. Theory of Computing Systems, 53 (4), 645-668. doi: 10.1007/s00224-013-9468-x
J. Bergstra & C.A. Middelburg (2013). Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting. Fundamenta Informaticae, 128 (4), 367-412. doi: 10.3233/FI-2013-950

2012

J.A. Bergstra & I. Bethke (2012). On the contribution of backward jumps to instruction sequence expressiveness. Theory of Computing Systems, 50 (4), 706-720. doi: 10.1007/s00224-011-9376-x[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2012). On the behaviours produced by instruction sequences under execution. Fundamenta Informaticae, 120 (2), 111-144. doi: 10.3233/FI-2012-753[go to publisher's site]
J.A. Bergstra & A. Ponse (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 Vol. 7141. Lecture Notes in Computer Science (pp. 15-31). Heidelberg: Springer-Verlag.
J.A. Bergstra & C.A. Middelburg (2012). On the expressiveness of single-pass instruction sequences. Theory of Computing Systems, 50 (2), 313-328. doi: 10.1007/s00224-010-9301-8[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2012). Instruction sequence processing operators. Acta Informatica, 49 (3), 139-172. doi: 10.1007/s00236-012-0154-2[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2012). Indirect jumps improve instruction sequence performance. Scientific Annals of Computer Science, 22 (2), 253-265. doi: 10.7561/SACS.2012.2.253[go to publisher's site]

2011

J. Bergstra & C. Middelburg (2011). Thread extraction for polyadic instruction sequences. Scientific Annals of Computer Science, 21 (2), 283-310.[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2011). Preliminaries to an investigation of reduced product set finance. Journal of King Abdulaziz University: Islamic Economics, 24 (1), 175-210. doi: 10.4197/Islec.24-1.7
J.A. Bergstra & J. van de Pol (2011). A calculus for four-valued sequential logic. Theoretical Computer Science, 412 (28), 3122-3128. doi: 10.1016/j.tcs.2011.02.035
J.A. Bergstra & I. Bethke (2011). Straight-line Instruction Sequence Completeness for Total Calculations on Cancellation Meadows. Theory of Computing Systems, 48 (4), 840-864. doi: 10.1007/s00224-010-9272-9[go to publisher's site]
J.A. Bergstra & A. Ponse (2011). Proposition algebra. ACM Transactions on Computational Logic, 12 (3), 21. doi: 10.1145/1929954.1929958
J.A. Bergstra & C.A. Middelburg (2011). Thread algebra for poly-threading. Formal Aspects of Computing, 23 (4), 567-583. doi: 10.1007/s00165-011-0178-3[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2011). Inversive meadows and divisive meadows. Journal of Applied Logic, 9 (3), 203-220. doi: 10.1016/j.jal.2011.03.001[go to publisher's site]

2010

J.A. Bergstra & C.A. Middelburg (2010). A thread calculus with molecular dynamics. Information and Computation, 208 (7), 817-844.
J.A. Bergstra & C.A. Middelburg (2010). On the operating unit size of load/store architectures. Mathematical Structures in Computer Science, 20 (3), 395-417.[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2010). An interface group for process components. Fundamenta Informaticae, 99 (4), 355-382.[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2010). Data linkage dynamics with shedding. Fundamenta Informaticae, 103 (1-4), 31-52. doi: 10.3233/FI-2010-317[go to publisher's site]

2009

J.A. Bergstra & A. Ponse (2009). An instruction sequence semigroup with involutive anti-automorphisms. Scientific Annals of Computer Science, 19, 57-92.[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2009). Machine structure oriented control code logic. Acta Informatica, 46 (5), 375-401.
J.A. Bergstra & C.A. Middelburg (2009). Transmission protocols for instruction streams. In M. Leucker & C. Morgan (Eds.), Theoretical Aspects of Computing - ICTAC 2009 Vol. 5684. Lecture Notes in Computer Science (pp. 127-139). Berlin: Springer.
J.A. Bergstra & C.A. Middelburg (2009). Instruction sequences with dynamically instantiated instructions. Fundamenta Informaticae, 96 (1-2), 27-48.[go to publisher's site]

2008

J.A. Bergstra & C.A. Middelburg (2008). Simulating Turing machines on Maurer machines. Journal of Applied Logic, 6 (1), 1-23.
J.A. Bergstra & C.A. Middelburg (2008). Parallel processes with implicit computational capital. In C. Palamidessi & F.D. Valencia (Eds.), Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006) Vol. 209. Electronic Notes in Theoretical Computer Science (pp. 55-81). Amsterdam: Elsevier.
J.A. Bergstra & J.V. Tucker (2008). Division safe calculation in totalised fields. Theory of Computing Systems, 43 (3-4), 410-424.[go to publisher's site]
J.A. Bergstra & P. Klint (2008). The Software Invention Cube: A classification scheme for software inventions. Journal of Intellectual Property Rights, 13 (4), 293-300.
J. Bergstra, Y. Hirschfeld & J. Tucker (2008). Fields, meadows and abstract data types. In A. Avron, N. Dershowitz & A. Rabinovich (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (Lecture notes in computer science, 4800) (pp. 166-178). Berlin: Springer.
J.A. Bergstra & C.A. Middelburg (2008). Distributed strategic interleaving with load balancing. Future Generation Computer Systems, 24 (6), 530-548.
J.A. Bergstra & C.A. Middelburg (2008). Program algebra with a jump-shift instruction. Journal of Applied Logic, 6 (4), 553-563.
J.A. Bergstra & C.A. Middelburg (2008). Maurer computers for pipelined instruction processing. Mathematical Structures in Computer Science, 18 (02), 373-409.[go to publisher's site]
J.A. Bergstra, A. Ponse & M.B. van der Zwaag (2008). Tuplix calculus. Scientific Annals of Computer Science, XVIII, 35-61.[go to publisher's site]

2014

J.A. Bergstra (2014). Personal Multi-threading. (extern rapport). Ithaca, NY: arXiv.org.
J.A. Bergstra (2014). Rekenen in een Conservatieve Schrapwet Weide. (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.
J.A. Bergstra (2014). Four Complete Datatype Defining Rewrite Systems for an Abstract Datatype of Natural Numbers. (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.
J.A. Bergstra (2014). Division by Zero and Abstract Data Types. (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.
J.A. Bergstra & M. Burgess (2014). Promise Theory: Principles and Applications. North Charleston, SC, USA: CreateSpace.
J.A. Bergstra & W.P. Weijland (2014). Bitcoin: a Money-like Informational Commodity. (extern rapport). Ithaca, NY: arXiv.org.
J.A. Bergstra & M. Burgess (2014). Promises, Impositions, and other Directionals. (extern rapport). Ithaca, NY: arXiv.org.
J.A. Bergstra & A. Ponse (2014). Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. (extern rapport). Ithaca, NY: arXiv.org.
J.A. Bergstra (2014). From Software Crisis to Informational Money. (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.

2013

J.A. Bergstra & C.A. Middelburg (2013). Instruction sequence based non-uniform complexity classes. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra & A. Ponse (2013). Periodic single-pass instruction sequences. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra, C.A. Middelburg & G. Stefanescu (2013). Network algebra for synchronous dataflow. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra & C.A. Middelburg (2013). Instruction sequence expressions for the secure hash algorithm SHA-256. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra & C.A. Middelburg (2013). Instruction sequence expressions for the Karatsuba multiplication algorithm. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra & C.A. Middelburg (2013). Long multiplication by instruction sequences with backward jump instructions. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra, I. Bethke & A. Ponse (2013). Equations for formally real meadows. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra & A. Ponse (2013). Signed Meadow valued Probability Mass Functions. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra (2013). Decision Taking versus Promise Issuing. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra & K.M.M. de Leeuw (2013). Questions related to Bitcoin and other Informational Money. (Preprints). Ithaca, NY: arXiv.org.
J.A. Bergstra & K.M.M. de Leeuw (2013). Bitcoin and Beyond: Exclusively Informational Monies. (Preprints). Ithaca, NY: arXiv.org.

2012

J.A. Bergstra & C.A. Middelburg (2012). Turing Impossibility Properties for Stack Machine Programming. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2012). Process algebra with conditionals in the presence of epsilon. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2012). Instruction Sequences for Computer Science (Atlantis Studies in Computing, 2). Paris: Atlantis Press.
J.A. Bergstra (2012). About Instruction Sequence Testing. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra (2012). Informaticology: combining Computer Science, Data Science, and Fiction Science. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra (2012). Decision Taking for Selling Thread Startup. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra (2012). Decision Taking versus Action Determination. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra (2012). Decision taking as a service. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]

2011

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

2010

J.A. Bergstra & S.F.M. van Vlijmen (2010). Business mereology: imaginative definitions of insourcing and outsourcing transformations. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2010). Preliminaries to an investigation of reduced product set finance. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra & A. Ponse (2010). On Hoare-McCarthy algebras. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra (2010). Formaleuros, formalcoins and virtual monies. (intern rapport). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra (2010). Steering fragments of instruction sequences. (intern rapport). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra (2010). Informal control code logic. (intern rapport). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra & A. Ponse (2010). Short-circuit logic. (intern rapport). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra & I. Bethke (2010). On the contribution of backward jumps to instruction sequence expressiveness. (intern rapport). Ithaca, NY: arXiv.org.[go to publisher's site]
J.A. Bergstra & C.A. Middelburg (2010). On the definition of a theoretical concept of an operating system. (intern rapport). Ithaca, NY: IarXiv.org.[go to publisher's site]

2009

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

2008

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

2014

J.A. Bergstra (2014). Bitcoin: Informational Money en het Einde van Gewoon Geld. (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.
J.A. Bergstra (2014). Bitcoin and Islamic Finance. (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.
J.A. Bergstra (2014). Bitcoin: not a currency-like informational commodity. (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.
J.A. Bergstra, I. Bethke & A. Ponse (2014). Rekenen-Informatica. (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.
J.A. Bergstra (2014). Bitcoin, een "money-like informational commodity". (intern rapport, TCS, Electronic Reports). Amsterdam: Universiteit van Amsterdam.

2013

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

2011

J.A. Bergstra & C.A. Middelburg (2011). Interest prohibition and financial product innovation. In A Escurat (Ed.), Finance Islamique: Regard(s) sur une Finance Alternative (pp. 274-284). Algiers: Mazars Hadj Ali.

This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.

Minstroom Research BV
Directeur

bewerk