Skip to main navigation
Skip to search
Skip to main content
King's College London Home
Home
Profiles
Research units
Research output
Projects
Student theses
Activities
Datasets
Impacts
Prizes
Search by expertise, name or affiliation
Software Modelling and Applied Logic
Faculty of Natural, Mathematical & Engineering Sciences
Informatics
Overview
Fingerprint
Network
Research output
(641)
Projects
(1)
Activities
(8)
Student theses
(16)
Research output
Research output per year
1994
2004
2006
2007
2008
2009
2010
2011
2013
2014
2015
2016
2017
2018
2019
2020
2022
6895
Citations
353
Conference paper
179
Article
49
Chapter
15
Editorial
45
More
10
Book
9
Other chapter contribution
6
Commissioned report
4
Poster abstract
3
Meeting abstract
2
Report
2
Other contribution
2
Working paper
1
Anthology
1
Entry in encyclopedia/dictionary
1
Foreword/postscript
1
Paper
1
Conference article
1
Letter
1
Special issue
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Report
Search results
2011
Proof-Carrying Model-Transformation Components
Terrell, J.
,
Zschaler, S.
&
Poernomo, I.
,
2011
,
King's College London
.
15 p.
Research output
:
Book/Report
›
Report
Model Transformation
100%
Constructive Type
25%
Symmetric Language-Aware Aspects for Modular Code Generators
Zschaler, S.
& Rashid, A.,
2011
,
King's College London
.
25 p.
Research output
:
Book/Report
›
Report
Code Generation
100%
Code Generator
100%
Model-Driven Engineering
50%
Aspect-Oriented
50%
Aspect Orientation
50%