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

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

1 2 3 ... 32 33 34 next

  1. Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo: The Verigraph system for graph transformation (2018)
  2. Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Düdder, Boris; De’liguoro, Ugo; Rehof, Jakob: Mixin composition synthesis based on intersection types (2018)
  3. Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl: The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (2018)
  4. Melham, Tom: Symbolic trajectory evaluation (2018)
  5. Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun: A secrecy-preserving language for distributed and object-oriented systems (2018)
  6. Steffen, Bernhard; Rüthing, Oliver; Huth, Michael: Mathematical foundations of advanced informatics. Volume 1. Inductive approaches (2018)
  7. Abel, Andreas; Adelsberger, Stephan; Setzer, Anton: Interactive programming in Agda-objects and graphical user interfaces (2017)
  8. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  9. Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
  10. Antoy, Sergio; Hanus, Michael: Default rules for Curry (2017)
  11. Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy: Friends with benefits. Implementing corecursion in foundational proof assistants (2017)
  12. Botta, Nicola; Jansson, Patrik; Ionescu, Cezar: Contributions to a computational theory of policy advice and avoidability (2017)
  13. Butterfield, Andrew: Utpcalc -- a calculator for UTP predicates (2017)
  14. Ciobanu, Gabriel; Todoran, Eneia Nicolae: Denotational semantics of membrane systems by using complete metric spaces (2017)
  15. Edelmann, Romain; Bliudze, Simon; Sifakis, Joseph: Functional BIP: embedding connectors in functional programming languages (2017)
  16. Ferreira, Francisco; Pientka, Brigitte: Programs using syntax with first-class binders (2017)
  17. Gerdes, Alex; Heeren, Bastiaan; Jeuring, Johan; van Binsbergen, L. Thomas: Ask-elle: an adaptable programming tutor for Haskell giving automated feedback (2017) MathEduc
  18. Gibbons, Jeremy: Aplicative programming with Naperian functors (2017)
  19. Guéneau, Armaël; Myreen, Magnus O.; Kumar, Ramana; Norrish, Michael: Verified characteristic formulae for CakeML (2017)
  20. Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan: Stream differential equations: specification formats and solution methods (2017)

1 2 3 ... 32 33 34 next