Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Open Access
    Bergstra, J. A., & Ponse, A. (2009). A progression ring for interfaces of instruction sequences, threads, and services. ArXiv. http://arxiv.org/abs/0909.2839
  • Open Access
    Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence notations with probabilistic instructions. ArXiv. http://arxiv.org/abs/0906.3083
  • Open Access
    Bergstra, J. A., & Ponse, A. (2009). An Instruction Sequence Semigroup with Involutive Anti-Automorphisms. (1 ed.) Section Software Engineering, University of Amsterdam. https://arxiv.org/abs/0903.1352v1
  • Bergstra, J., Hirschfeld, Y., & Tucker, J. (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 (pp. 166-178). (Lecture notes in computer science; No. 4800). Springer. https://doi.org/10.1007/978-3-540-78127-1_10
  • Bergstra, J., Nolst Trenité, S., & van der Zwaag, M. (2008). UvA Budget Allocatie Model. (Programming Research Group electronic report series; No. PRG0805). Informatics Institute. http://www.science.uva.nl/pub/programming-research/ereports/PRG0805.pdf
  • Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Tuplix Calculus specifications of financial transfer networks. ArXiv. http://arxiv.org/abs/0805.1806
  • Bergstra, J. A., & Middelburg, C. A. (2008). Simulating Turing machines on Maurer machines. Journal of Applied Logic, 6(1), 1-23. https://doi.org/10.1016/j.jal.2007.04.001
  • Bergstra, J. A., & Middelburg, C. A. (2008). Distributed strategic interleaving with load balancing. Future Generation Computer Systems, 24(6), 530-548. https://doi.org/10.1016/j.future.2007.08.001
  • Bergstra, J. A., & Middelburg, C. A. (2008). Program algebra with a jump-shift instruction. Journal of Applied Logic, 6(4), 553-563. https://doi.org/10.1016/j.jal.2008.07.001
  • Bergstra, J. A., & Klint, P. (2008). The Software Invention Cube: A classification scheme for software inventions. Journal of Intellectual Property Rights, 13(4), 293-300. http://nopr.niscair.res.in/handle/123456789/1779
Page 18 of 38