References in zbMATH (referenced in 57 articles )

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

1 2 3 next

  1. Haveraaen, Magne; Roggenbach, Markus: Specifying with syntactic theory functors (2020)
  2. Rabe, Florian; Sharoda, Yasmine: Diagram combinators in MMT (2019)
  3. Raggi, Daniel; Stockdill, Aaron; Jamnik, Mateja; Garcia Garcia, Grecia; Sutherland, Holly E. A.; Cheng, Peter C.-H.: Inspection and selection of representations (2019)
  4. Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo: The Verigraph system for graph transformation (2018)
  5. Eppe, Manfred; Maclean, Ewen; Confalonieri, Roberto; Kutz, Oliver; Schorlemmer, Marco; Plaza, Enric; Kühnberger, Kai-Uwe: A computational framework for conceptual blending (2018)
  6. Mossakowski, Till; Krieg-Brückner, Bernd: Partial pushout semantics of generics in DOL (2018)
  7. Mosses, Peter D.: CoFI with Don Sannella (2018)
  8. Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
  9. Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi: A Maude environment for CafeOBJ (2017)
  10. Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison: Automating change of representation for proofs in discrete mathematics (extended version) (2016)
  11. Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M’hamed: An institution for Object-Z with inheritance and polymorphism (2015)
  12. Benzmüller, Christoph: Higher-order automated theorem provers (2015)
  13. Benzmüller, Christoph; Sultana, Nik; Paulson, Lawrence C.; Theiß, Frank: The higher-order prover \textscLeo-II (2015)
  14. Castro, Pablo F.; Aguirre, Nazareno; Pombo, Carlos L.; Maibaum, T. S. E.: Categorical foundations for structured specifications in (\mathsfZ) (2015)
  15. Knapp, Alexander; Cengarle, María Victoria: Institutions for OCL-like expression languages (2015)
  16. Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus: Towards an institutional framework for heterogeneous formal development in UML. -- A position paper -- (2015)
  17. Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf: Refinement in hybridised institutions (2015)
  18. Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison: Automating change of representation for proofs in discrete mathematics (2015)
  19. James, Phillip; Roggenbach, Markus: Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (2014)
  20. Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.: The role of logical interpretations in program development (2014)

1 2 3 next