Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday von Kiefer, Stefan, Křetínský, Jan, Kučera, Antonín

Volltext

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of So... von Kiefer, Stefan, Tasson, Christine

Volltext

The Big-O Problem von Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S., Purser, David

Volltext

TRACE REFINEMENT IN LABELLED MARKOV DECISION PROCESSES von Fijalkow, Nathanael, Kiefer, Stefan, Shirmohammadi, Mahsa

Volltext

Proving Termination of Probabilistic Programs Using Patterns von Esparza, Javier, Gaiser, Andreas, Kiefer, Stefan

Volltext

Chapmanite [Fe2Sb(Si2O5)O-3(OH)]: thermodynamic properties and formation in low-temperature environments von Majzlan, Juraj, Kiefer, Stefan, Lilova, Kristina, Subramani, Tamilarasan, Navrotsky, Alexandra, Dachs, Edgar, Benisek, Artur

Volltext

On complementing unambiguous automata and graphs with many cliques and cocliques von Indzhev, Emil, Kiefer, Stefan

Volltext

BPA bisimilarity is EXPTIME-hard von Kiefer, Stefan

Volltext

Minimisation of Multiplicity Tree Automata von Stefan Kiefer, Ines Marusic, James Worrell

Volltext

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata von Vojtěch Forejt, Petr Jančar, Stefan Kiefer, James Worrell

Volltext

Selective monitoring von Grigore, Radu, Kiefer, Stefan

Volltext

On the Complexity of Equivalence and Minimisation for Q-weighted Automata von Kiefer, Stefan, Murawski, Andrzej, Ouaknine, Joel, Wachter, Bjoern, Worrell, James

Volltext

Foundations of Software Science and Computation Structures Theoretical Computer Science and General Issues: 24th International Conference, FOSSACS 2021, Held as Part of the Europea... von Kiefer, Stefan, Tasson, Christine

Volltext

Precipitates originating from tungsten crucible parts in AlN bulk crystals grown by the PVT method von Langhans, Frank, Kiefer, Stefan, Hartmann, Carsten, Markurt, Toni, Schulz, Tobias, Guguschev, Christo, Naumann, Martin, Kollowa, Sandro, Dittmar, Andrea, Wollweber, Jürgen, Bickermann, Matthias

Volltext

Talc metasomatism of a magnesite body in response to a granite intrusion: Application of SmNd dating of metasomatic dolomite von Majzlan, Juraj, Dianiška, Ivan, Kiefer, Stefan, Ackerman, Lukáš, Renčiuková, Veronika

Volltext

ON NONNEGATIVE INTEGER MATRICES AND SHORT KILLING WORDS von Kiefer, Stefan, Mascle, Corto N.

Volltext

Chemical composition of detrital chrome spinel and clinopyroxene from the Middle Eocene to lowermost Oligocene sandstones of central Iran (Nain area): Constraints on ophiolite prov... von Salehi, Mohammad Ali, Heubeck, Christoph, Kiefer, Stefan

Volltext

The complexity of the Kth largest subset problem and related problems von Haase, Christoph, Kiefer, Stefan

Volltext

Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic von Faggian, Claudia, Guerrieri, Giulio

Volltext

The Odds of Staying on Budget von Haase, Christoph, Kiefer, Stefan

Volltext