Welcome to the repository of my research publications. This collection encompasses a wide range of topics in software engineering, machine learning, and artificial intelligence, reflecting the evolution of research interests over the years.
The early work explores two foundational ideas in software engineering: the π-calculus as a formal basis for component composition languages, and the Meta-Object Facility (MOF) as a meta-meta-model for language-independent meta-model interchange via XMI.
Later work applies machine learning (Gaussian Mixture Models, Hidden Markov Models, Support Vector Machines) to handwriting recognition and writer identification, contributing to the fields of document analysis and pattern recognition.
Recent research focuses on the design and formal verification of LLM Agentic systems, proposing new paradigms for agent interoperability and tool protocol semantics.
This repository serves as a comprehensive archive of these contributions, spanning from foundational software composition theories to cutting-edge AI agent research.
If you're interested in connecting professionally, you can find me on LinkedIn.
- Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach (arXiv, 2026) - Submitted to EXPRESS/SOS 2026 (Combined Int. Workshop on Expressiveness in Concurrency and on Structural Operational Semantics)
- The Convergence of SGD and MCP: A New Paradigm for Agentic Interoperability (arXiv, 2026) - Submitting to EMNLP 2026 (Conf. on Empirical Methods in Natural Language Processing)
- Orthogonality and Dimensionality in Airline Cluster Analysis using PCA and Kernel PCA (arXiv, 2026) - Accepted for publication to S+SSPR 2026
- Writer Identification and Verification (PhD thesis, IOS Press, DISKI series, February 2008; ISBN: 978-1-58603-825-0)
- Machine Learning in Document Analysis and Recognition (Book, 2007)
- Collinearity and Cluster Stability in Transport Economics: Evidence from Aviation and Rail (2026)
- Automatic Gender Detection Using on-Line and Off-Line Information (Pattern Analysis and Applications, 14(1):87–92, 2011; DOI: 10.1007/s10044-010-0178-6)
- Automatic Gender Detection – Combining On-Line and Off-Line Systems (International Journal of Pattern Recognition and Artificial Intelligence, 2008)
- A Writer Identification System for On-line Whiteboard Data (Pattern Recognition, 2006)
- A Writer Identification and Verification System Using HMM Based Recognizers (Pattern Analysis and Applications, 2006)
- Automatic Estimation of the Readability of Handwritten Text (EUSIPCO 2008)
- Estimating the Readability of Handwritten Text – A Support Vector Regression Based Approach (ICPR 2008)
- Estimating the Readability of Handwritten Text (ICFHR 2008)
- Writer-Dependent Recognition of Handwritten Whiteboard Notes in Smart Meeting Room Environments (DAS 2008; DOI: 10.1109/DAS.2008.8) with co-authors: Marcus Liwicki and Horst Bunke
- Fusing Asynchronous Feature Streams for On-line Writer Identification (ICDAR 2007)
- Automatic Detection of Gender and Handedness from On-Line Handwriting (IGS 2007) with co-authors: Marcus Liwicki, Peter Loretan, and Horst Bunke
- Writer Identification for Smart Meeting Room Systems (DAS 2006, LNCS 3872, pp. 186–195; also available as author preprint)
- Off-line Writer Identification Using Gaussian Mixture Models (ICPR 2006)
- Off-Line Writer Verification: A Comparison of a Hidden Markov Model (HMM) and a Gaussian Mixture Model (GMM) Based System (IWFHR 2006)
- Improving Writer Identification by Means of Feature Selection and Extraction (ICDAR 2005)
- Writer Identification Using an HMM-Based Handwriting Recognition System: To Normalize the Input or Not? (IGS 2005)
- Off-line Handwriting Identification Using HMM Based Recognizers (ICPR 2004)
- Using HMM Based Recognizers for Writer Identification and Verification (IWFHR 2004)
- Writer Identification and Verification (PhD thesis, Universität Bern, 2008 — published as book; see entry 3)
- Enabling White-Box Reuse in a Pure Composition Language (Master thesis, Universität Bern, December 2002)
- Generic XMI Support for the MOOSE Reengineering Environment (Bachelor thesis, Universität Bern, June 2001)
%%{init: {'theme': 'base', 'themeVariables': {'primaryColor': '#aec6cf', 'primaryTextColor': '#eee', 'primaryBorderColor': '#eee', 'lineColor': '#999999', 'secondaryColor': '#b5ead7', 'tertiaryColor': '#ffdac1'}}}%%
mindmap
root((Research Focus))
Software Composition & Reengineering
π-Calculus-Based Composition Language
Agents · Forms · Channels
XMI & XML Metadata Interchange
MOF Meta-Meta-Model
MOOSE Reengineering Environment
Component-Oriented Programming
White-Box vs Black-Box Reuse
Handwriting & Documents
Machine Learning - GMM · HMM · SVM
Handwriting Recognition & Analysis
Writer Identification - Offline & Online
Document Analysis & Pattern Recognition
LLM Agentic Systems
Agent Tool Protocols - SGD & MCP
Formal Verification & Process Calculus
AI Governance & Schema-Driven Interoperability
All papers are organized chronologically by publication year and venue:
- 2026 — arXiv preprints on LLM Agentic systems
- 2011 — Pattern Analysis and Applications gender detection journal paper
- 2008 — PhD thesis book (IOS Press/DISKI); DAS whiteboard recognition; EUSIPCO, ICPR readability estimation; IJPRAI gender detection
- 2007 — Book draft on machine learning in document analysis; book chapter on GMM-based writer identification; gender/handedness detection
- 2006 — DAS, ICPR, IWFHR follow-up work
- 2005 — ICDAR, IGS publications
- 2004 — ICPR, IWFHR initial conferences
- 2002 — Master thesis on white-box reuse in JPiccola (Universität Bern)
- 2001 — Bachelor thesis on XMI/MOOSE, a reengineering environment (Universität Bern)
- Browse papers — All PDFs are in the root directory
- Review by topic — Check the conference/journal name for specific focus areas
- Access full texts — Each PDF contains the complete paper and results
%%{init: {'theme': 'base', 'themeVariables': {'primaryColor': '#aec6cf', 'primaryTextColor': '#eee', 'primaryBorderColor': '#eee', 'lineColor': '#999999', 'secondaryColor': '#b5ead7', 'tertiaryColor': '#ffdac1'}}}%%
timeline
2001 : Schl01a
: XMI/MOOSE Technical Report
2002 : Schl03a
: Diplomarbeit JPiccola
2004 - 2006 : ICPR · IWFHR · DAS · ICDAR · IGS
: Handwriting Recognition
: Writer Identification
: Document Analysis
2007 : Book Chapter
: Gender & Handedness Detection
2008 : PhD thesis (IOS Press) · DAS
: EUSIPCO · ICPR · IJPRAI
: Readability Estimation
: Gender Detection
2011 : PAA
: Gender Detection
2026 : arXiv Preprints
: LLM Agent Systems
: Formal Verification
This archive preserves research publications spanning:
- Software composition grounded in the π-calculus (agents, forms, channels) and component-oriented programming
- Meta-modeling via XMI/XML metadata interchange and the MOF meta-meta-model
- Reuse strategies including white-box and black-box approaches in reengineering environments
- Machine learning applied to document analysis using Gaussian Mixture Models, Hidden Markov Models, and Support Vector Machines
- Handwriting recognition, analysis, and writer identification (offline and online)
- Document image analysis and pattern recognition
- LLM agentic systems, including tool protocols (SGD, MCP) and formal verification
- AI governance and schema-driven interoperability