References in zbMATH (referenced in 60 articles )

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

1 2 3 next

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

1 2 3 next