Logics of Statements in Context-Category Independent Basics von Wolter, Uwe

Volltext

Van Kampen Colimits and Path Uniqueness von Harald König, Uwe Wolter

Volltext

Graph Algebras and Derived Graph Operations von Wolter, Uwe, Truong, Tam T.

Volltext

Multilevel Typed Graph Transformations von Wolter, Uwe Egbert, Macías, Fernando, Rutle, Adrian

Volltext

A General Methodology for Internalising Multi-level Model Typing von König, Harald, Wolter, Uwe Egbert

Volltext bestellen

Co-evolving meta-models and their instance models: A formal approach based on graph transformation von Mantz, Florian, Taentzer, Gabriele, Lamo, Yngve, Wolter, Uwe

Volltext

Characterizing Van Kampen Squares via Descent Data von König, Harald, Wolter, Uwe, Löwe, Michael

Volltext

Graph Operations and Free Graph Algebras von Wolter, Uwe, Diskin, Zinovy, König, Harald

Volltext

Composition of multilevel domain-specific modelling languages von Rodríguez, Alejandro, Macías, Fernando, Durán, Francisco, Rutle, Adrian, Wolter, Uwe

Volltext

Multilevel coupled model transformations for precise and reusable definition of model behaviour von Macías, Fernando, Wolter, Uwe, Rutle, Adrian, Durán, Francisco, Rodriguez-Echeverria, Roberto

Volltext

Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach von König, Harald, Wolter, Uwe

Volltext

A formalisation of deep metamodelling von Rossini, Alessandro, de Lara, Juan, Guerra, Esther, Rutle, Adrian, Wolter, Uwe

Volltext

Composition of multilevel domain-specific modelling languages von Rodríguez, Alejandro, Macias Gomez de Villar, Fernando, Durán, Francisco, Rutle, Adrian, Wolter, Uwe Egbert

Volltext

Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi von Wolter, Uwe, König, Harald

Volltext

Guest Editor's foreword von Wolter, Uwe E.

Volltext

TIGvival: High-resolution spectroscopic monitoring of LPV stars von Wolter, Uwe, Engels, Dieter, Aringer, Bernhard, Freytag, Bernd

Volltext

TIG vival : High-resolution spectroscopic monitoring of LPV stars von Wolter, Uwe, Engels, Dieter, Aringer, Bernhard, Freytag, Bernd

Volltext

Optical spectroscopy of the Be/black hole binary MWC 656 ‐ interaction of a black hole with a circumstellar disc von Zamanov, Radoslav K., Stoyanov, Kiril A., Marchev, Dragomir, Tomov, Nikolay A., Wolter, Uwe, Bode, Michael F., Nikolov, Yanko M., Stefanov, Stefan Y., Kurtenkov, Alexander, Latev, Georgi Y.

Volltext

First-Order Sketch Conditions and Constraints -- A Category Independent Approach von Wolter, Uwe

Volltext bestellen

Logics of First-Order Constraints -- A Category Independent Approach von Wolter, Uwe

Volltext bestellen