References in zbMATH (referenced in 832 articles , 3 standard articles )

Showing results 1 to 20 of 832.
Sorted by year (citations)

1 2 3 ... 40 41 42 next

  1. Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig: Doo bee doo bee doo (2020)
  2. Dylus, Sandra; Christiansen, Jan; Teegen, Finn: Implementing a library for probabilistic programming using non-strict non-determinism (2020)
  3. Kaposi, Ambrus; Kovács, András: Signatures and induction principles for higher inductive-inductive types (2020)
  4. Kaufmann, Matt; Moore, J. Strother: Limited second-order functionality in a first-order setting (2020)
  5. Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon: Practical synthesis of reactive systems from LTL specifications via parity games (2020)
  6. Bendkowski, Maciej; Bodini, Olivier; Dovgal, Sergey: Statistical properties of lambda terms (2019)
  7. Bendkowski, Maciej; Lescanne, Pierre: On the enumeration of closures and environments with an application to random generation (2019)
  8. Ciobanu, Gabriel; Todoran, Eneia Nicolae: A semantic investigation of spiking neural P systems (2019)
  9. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Strategic port graph rewriting: an interactive modelling framework (2019)
  10. Ghica, Dan R.; Alyahya, Khulood: Latent semantic analysis of game models using LSTM (2019)
  11. Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris: Chromar, a language of parameterised agents (2019)
  12. Lochbihler, Andreas: Effect polymorphism in higher-order logic (proof pearl) (2019)
  13. McIver, A. K.; Morgan, C. C.; Rabehaja, T.: Program algebra for quantitative information flow (2019)
  14. Odabaş, Alper; Soylu Yilmaz, Elis: Relationships between category theory and functional programming with an application (2019)
  15. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)
  16. Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander: A survey of challenges for runtime verification from advanced application domains (beyond software) (2019)
  17. Schrijvers, Tom; Oliveira, Bruno C. D. S.; Wadler, Philip; Marntirosian, Koar: COCHIS: stable and coherent implicits (2019)
  18. van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil: Executable component-based semantics (2019)
  19. Abdallah, Samer: PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (2018)
  20. Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo: The Verigraph system for graph transformation (2018)

1 2 3 ... 40 41 42 next