semantics gGmbH

semantics gmbh

Berlin

Jahresabschluss 2013/14

1. Bilanz

(folgend SKR04)

AKTIVA

2 Geschäftsbericht

Die semantics GmbH Berlin ist ein Unternehmen zur Durchführung von angewandter Grundlagenforschung, zur exakten Definition von Datenkonzepten mittels mathematischer Methoden und deren Umsetzung in Kernversionen leistungsfähiger Software. Der Erfolg unserer Arbeit zeigt sich im relativ hohen Anteil der peer-reviewed Konferenz- und Journal-Beiträge. Und das in von uns zwar stark verschränkt betriebenen, aber letztlich doch sehr unterschiedlichen Forschungsbereichen, von Realzeit-Signalverarbeitung bis zu Dynamischen Dokumenten.

Die semantics GmbH Berlin hat inzwischen anteilig oder allein diese Projekte und Publikationen ermöglicht:

Rewriting Object Models With Cycles and Nested Collections

In CALCO Early Ideas (workshop on the 5th Conference on Algebra and Coalgebra in Computer Science), In ISOLA 2014, Leveraging Applications of Formal Methods, Verification and Validation, LNCS 8802.

Fragmented Validation - A Simple and Efficient Contribution To XSLT Checking

In 6th Int. Conf. on Model Transformations, 2013. (Further review pending.)

tscore - Make Humans and Computers Talk About Time

In Jahreskonferenz der Deutschen Gesellschaft für Theaterwissenschaft, Bayreuth, 2012

In KEOD 2013 Int. Conference on Knowledge Engineering and Ontology Design

Paisley: Pattern matching a la carte,

In Theory and Practice of Model Transformations, 5th International Conference, ICMT 2012, Praha, Springer, LNCS 7307.

Paisley: A Pattern Matching Library for Arbitrary Object Models,

In 6. Arbeitstagung Programmiersprachen (ATPS 2013), Aachen 2013, GI, LNI 215, hrsg. Gesellschaft für Informatik. In Kiel Declarative Programming Days 2013, 22nd Int. Workshop on Functional and (Constraint) Logic Programming

Synopsis of Musical Notation Encyclopedias,

Berlin 2012, senzatempo.de/ston2012070100. html

Metrisch korrekte Notation von Rhythmen - Eine Einführung in das Problem,

Berlin 2012, senzatempo.de/ston2012102700.html

Towards Semantics for a Functional Synchronous Signal Language,

In Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung. ISSN 1438-3985, Westfälische Wilhelms-Universität Münster, Münster 2011.

In IFL 2014 Pre-Conference.

In 12th International Workshop Coalgebraic Methods in Computer Science, CMCS, 2014.

In 5th Workshop on Mathematically Structured Functional Programming, MSFP 2014.

In 2Nd ACM SIGPLAN International Workshop on Functional Art, Musik & Design, FARM '14.)

(Weitere Publikationen unterwegs.)

d2d - a Robust Front-End for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts,

In Proceedings of KEOD 2011 International Conference on Knowledge Engieering and Ontology Design, SciTePress, Portugal 2011, ISBN 978-989-8425-80-5 (Weitere Publikationen unterwegs.)

Solving the TTC 2011 Compiler Optimization Task with meta-tools,

In TTC 2011: Fifth Transformation Tool Contest, EPTCS, Vol. 74, The Web, 2011

In Special issue on Experimental Software Engineering in the Cloud(ESEiC), Science of Computer Programming, 2014, vol 85 A.

Optimization of Visitor Performance by Reflection-Based Analysis,

In Theory and Practice of Model Transformations, 4th. International Conference, Zürich, ICMT 2011, LNCS 6707,