Articles with public access mandates - Andrzej TarleckiLearn more
Available somewhere: 7
What is a logic translation?
T Mossakowski, R Diaconescu, A Tarlecki
Logica Universalis 3, 95-124, 2009
Mandates: German Research Foundation
A heterogeneous approach to UML semantics
MV Cengarle, A Knapp, A Tarlecki, M Wirsing
Concurrency, Graphs and Models; Lecture Notes in Computer Science 5065, 383-402, 2008
Mandates: German Research Foundation
Specification refinements: calculi, tools, and applications
M Codescu, T Mossakowski, D Sannella, A Tarlecki
Science of Computer Programming 144, 1-49, 2017
Mandates: German Research Foundation
Casl — the Common Algebraic Specification Language
T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki
Logics of Specification Languages, 241-298, 2008
Mandates: German Research Foundation
Heterogeneous logical environments for distributed specifications
T Mossakowski, A Tarlecki
International Workshop on Algebraic Development Techniques, 266-289, 2008
Mandates: German Research Foundation
A relatively complete calculus for structured heterogeneous specifications
T Mossakowski, A Tarlecki
International Conference on Foundations of Software Science and Computation …, 2014
Mandates: German Research Foundation
The institution-theoretic scope of logic theorems
R Diaconescu, T Mossakowski, A Tarlecki
Logica Universalis 8, 393-406, 2014
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program