Sabine Broda

Available identifiers

zbMath Open broda.sabineMaRDI QIDQ596032

List of research outcomes

Publication	Date of Publication	Type
Average complexity of partial derivatives for synchronised shuffle expressions	2024-02-28	Paper
Location automata for regular expressions with shuffle and intersection	2024-02-02	Paper
Location automata for synchronised shuffle expressions	2023-03-20	Paper
On the uniform distribution of regular expressions	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5061515	2022-03-11	Paper
Location based automata for expressions with shuffle	2021-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4993331	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4986510	2021-04-27	Paper
On Average Behaviour of Regular Expressions in Strong Star Normal Form	2019-12-10	Paper
Pre-grammars and inhabitation for a subset of rank 2 intersection types	2019-11-13	Paper
A mesh of automata	2019-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4967184	2019-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q5376330	2018-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4609326	2018-03-29	Paper
Automata for regular expressions with shuffle	2018-03-21	Paper
On the mother of all automata: the position automaton	2017-10-13	Paper
On the average complexity of strong star normal form	2017-08-31	Paper
On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection	2016-11-09	Paper
Position Automaton Construction for Regular Expressions with Intersection	2016-08-30	Paper
A Typed Language for Events	2016-02-05	Paper
Partial Derivative Automaton for Regular Expressions with Shuffle	2015-08-07	Paper
On the Equivalence of Automata for KAT-expressions	2015-02-25	Paper
A hitchhiker's guide to descriptional complexity through analytic combinatorics	2014-03-13	Paper
On the Average Size of Glushkov and Equation Automata for KAT Expressions	2013-08-16	Paper
Studying provability in implicational intuitionistic logic	2013-04-19	Paper
ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA	2013-01-18	Paper
ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH	2012-08-29	Paper
The Average Transition Complexity of Glushkov and Partial Derivative Automata	2011-07-29	Paper
On the Average Number of States of Partial Derivative Automata	2010-08-31	Paper
On Principal Types of BCK-λ-Terms	2009-03-10	Paper
On Long Normal Inhabitants of a Type	2005-07-13	Paper
The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4736483	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q2708317	2001-10-23	Paper
On principal types of combinators	2000-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4263863	1999-11-21	Paper
On combinatory complete sets of proper combinators	1999-08-17	Paper
Compact bracket abstraction in combinatory logic	1998-09-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sabine Broda