E-LIB Suche - Ergebnisse für: Broda, Sabine

1

Pregrammars and Intersection Types:

Broda, Sabine
Is Part Of LIPIcs, Volume 183, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). , 2021

Link: https://doi.org/10.4230/..

2

On the Uniform Distribution of Regular Expressions:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
http://arxiv.org/abs/2103.13175. , 2021

Link: http://arxiv.org/abs/210..

3

A Unifying Framework for Type Inhabitation:

Alves, Sandra ; Broda, Sabine
Is Part Of LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). , 2018

Link: https://doi.org/10.4230/..

4

On the Average Complexity of Strong Star Normal Form:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-60252-3_6. , 2017

Link: https://hal.inria.fr/hal..

5

On the Average Complexity of Strong Star Normal Form:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-60252-3_6. , 2017

Link: https://hal.inria.fr/hal..

6

On the State Complexity of Partial Derivative Automata For ..:

Bastos, Rafaela ; Broda, Sabine ; Machiavelo, António..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-41114-9_4. , 2016

Link: https://hal.inria.fr/hal..

7

The G-ACM Tool: using the Drools Rule Engine for Access Con..:

Sá, João ; Alves, Sandra ; Broda, Sabine
http://arxiv.org/abs/1611.08547. , 2016

Link: http://arxiv.org/abs/161..

8

On the State Complexity of Partial Derivative Automata For ..:

Bastos, Rafaela ; Broda, Sabine ; Machiavelo, António..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-41114-9_4. , 2016

Link: https://hal.inria.fr/hal..

9

Partial Derivative Automaton for Regular Expressions with S..:

Broda, Sabine ; Machiavelo, António ; Moreira, Nelma.
http://arxiv.org/abs/1503.00279. , 2015

Link: http://arxiv.org/abs/150..

10

Deciding KAT and Hoare Logic with Derivatives:

Almeida, Ricardo ; Broda, Sabine ; Moreira, Nelma
http://arxiv.org/abs/1210.2456. , 2012

Link: http://arxiv.org/abs/121..

11

Partial Derivative Automaton for Regular Expressions with S..:

Sabine Broda ; António Machiavelo ; Nelma Moreira.
Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. , 2015

Link: https://hdl.handle.net/1..

12

Deciding synchronous Kleene algebra with derivatives:

Sabine Broda ; Sílvia Cavadas ; Miguel Ferreira.
Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings. , 2015

Link: https://hdl.handle.net/1..

13

Deciding KAT and Hoare Logic with Derivatives:

Ricardo Almeida ; Sabine Broda ; Nelma Moreira
http://arxiv.org/pdf/1210.2456v1. , 2012

Link: https://doi.org/10.4204/..

14

On the average size of pd automata: an analytic combinatori..:

Sabine Broda ; António Machiavelo ; Nelma Moreira.
https://hdl.handle.net/10216/53349. , 2010

Link: https://hdl.handle.net/1..