Sabine Broda
Faculdade de Ciências da Universidade do Porto
.
| 2015 | Average Size of Automata Constructions from Regular Expressions |
Bulletin of the EATCS | 2015 | article | ||
| 2015 | Deciding synchronous Kleene algebra with derivatives |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015 | inproceedings | ||
| 2015 | Partial Derivative Automaton for Regular Expressions with Shuffle |
Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings | 2015 | inproceedings | ||
| 2015 | Partial Derivative Automaton for Regular Expressions with Shuffle |
CoRR | 2015 | misc | ||
| 2014 | A Hitchhiker's Guide to descriptional complexity through analytic combinatorics |
Theoretical Computer Science | 2014 | article | ||
| 2014 | On the Equivalence of Automata for KAT-expressions |
Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings | 2014 | inproceedings | ||
| 2013 | On the Average Size of Glushkov and Equation Automata for KAT Expressions |
Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings | 2013 | inproceedings | ||
| 2012 | Deciding KAT and Hoare Logic with Derivatives |
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. | 2012 | inproceedings | ||
| 2012 | On the Average Size of Glushkov and Partial Derivative Automata |
International Journal of Foundations of Computer Science | 2012 | article | ||
| 2011 | On the Average State Complexity of Partial Derivative Automata: An Analytic Combinatorics Approach |
International Journal of Foundations of Computer Science | 2011 | article | ||
| 2011 | The Average Transition Complexity of Glushkov and Partial Derivative Automata |
Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings | 2011 | inproceedings | ||
| 2010 | On the Average Number of States of Partial Derivative Automata |
Developments in Language Theory | 2010 | inproceedings | ||
| 2007 | On principal types of BCK-lambda-Terms |
Logic, Language, Information and Computation, Proceedings | 2007 | inproceedings | ||
| 2005 | On long normal inhabitants of a type |
Journal of Logic and Computation | 2005 | article | ||
| 2004 | The decidability of a fragment of BB ' IW-logic |
Theoretical Computer Science | 2004 | article | ||
| 2002 | Studying provability in implicational intuitionistic logic: the formula tree approach |
Electronic Notes in Theoretical Computer Science | 2002 | inproceedings | ||
| 2001 | A context-free grammar representation for normal inhabitants of types in TAλ |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2001 | inproceedings | ||
| 2001 | Counting a type's (principal) inhabitants |
Fundamenta Informaticae | 2001 | article | ||
| 2000 | On principal types of combinators |
Theoretical Computer Science | 2000 | article | ||
| 1999 | Counting a type's principal inhabitants - (Extended abstract) |
Typed Lambda Calculi and Applications | 1999 | article | ||
| 1997 | Compact bracket abstraction in combinatory logic |
Journal of Symbolic Logic | 1997 | article | ||
| 1997 |
On combinatory complete sets |
Journal of Functional Programming | 1997 | article | ||
| 1997 | On combinatory complete sets of proper combinators |
Journal of Functional Programming | 1997 | article | ||
| 1995 | A New Translation Algorithm from Lambda Calculus into Combinatory Logic |
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings | 1995 | inproceedings | ||
| 1993 | Resolution of Constraints in Algebras of Rational Trees |
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings | 1993 | inproceedings |