Christoph Schubert

According to our database, Christoph Schubert authored at least 7 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Subject-Oriented Modelling of VDI-4520: A First Draft.

Christoph Schubert, Frank Häuser

Proceedings of the Subject-Oriented Business Process Management. Dynamic Digital Design of Everything - Designing or Being Designed?, 2022

2017

Measuring the Impact of Branching Rules for Mixed-Integer Programming.

Gerald Gamrath, Christoph Schubert

Proceedings of the Operations Research Proceedings 2017, 2017

2011

Coalgebraic logic over general measurable spaces - a survey.

Ernst-Erich Doberkat, Christoph Schubert

Math. Struct. Comput. Sci., 2011

2009

Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence.

Christoph Schubert

Proceedings of the Fifth International Symposium on Domain Theory, 2009

Coalgebraic logic for stochastic right coalgebras.

Ernst-Erich Doberkat, Christoph Schubert

Ann. Pure Appl. Log., 2009

Terminal Coalgebras for Measure-Polynomial Functors.

Christoph Schubert

Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

2006

Universality of Coproducts in Categories of Lax Algebras.

Mojgan Mahmoudi, Christoph Schubert, Walter Tholen

Appl. Categorical Struct., 2006