Mother Teresa University

output

20182025

most citedRole of anti-phase boundaries in the formation of magnetic domains in magnetite thin films

9 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

A. Gerber1 · h 19
Ahmad Salim Al-Sibahi1 · h 6
Aleksandar S. Dimovski1 · h 19
A. Skeparovski1 · h 6
A. Wąsowski1 · h 45
Dragi Kimovski1 · h 13
Kurt Horvath1 · h 3
Radu Prodan1 · h 2
R. Evans1 · h 38
R. Moreno1 · h 10
Sarah Jenkins1 · h 15
Stojan Kitanov1 · h 8

collaborating institutions

Institut national de recherche en sciences et technologies du numériqueFR1 paper
IT University of CopenhagenDK1 paper
Mother Teresa HospitalAL1 paper
Ss. Cyril and Methodius University in SkopjeMK1 paper
Tel Aviv UniversityIL1 paper
Universität InnsbruckAT1 paper
University of CopenhagenDK1 paper
University of EdinburghGB1 paper
University of KlagenfurtAT1 paper
University of YorkGB1 paper

Showing cs.PLShow all

1 paper · 1 filter

cs.PL2018★ 2 cited

Verification of High-Level Transformations with Inductive Refinement Types

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski +1

High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backt…