SU\G(饾敻)/K路U

Sabine Broda

Follow

Generating author description...

All published works
Action Title Year Authors
+ Regular Expressions Avoiding Absorbing Patterns and the Significance of Uniform Distribution 2024 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
+ On the Uniform Distribution of Regular Expressions. 2021 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
+ PDF Chat On the Uniform Distribution of Regular Expressions 2021 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
+ On the Uniform Distribution of Regular Expressions 2021 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
+ Guest Column 2020 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
+ Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types 2019 Sandra Alves
Sabine Broda
+ The G-ACM Tool: using the Drools Rule Engine for Access Control Management. 2016 Jo茫o S谩
Sandra Alves
Sabine Broda
+ The G-ACM Tool: using the Drools Rule Engine for Access Control Management 2016 Jo茫o Roberto de S谩
Sandra Alves
Sabine Broda
+ Partial Derivative Automaton for Regular Expressions with Shuffle 2015 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
+ PDF Chat Partial Derivative Automaton for Regular Expressions with Shuffle 2015 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
+ Partial Derivative Automaton for Regular Expressions with Shuffle 2015 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
+ PDF Chat Deciding KAT and Hoare Logic with Derivatives 2012 Ricardo Almeida
Sabine Broda
Nelma Moreira
Common Coauthors
Coauthor Papers Together
Nelma Moreira 9
Ant贸nio Machiavelo 8
Rog茅rio Reis 8
Sandra Alves 2
Sandra Alves 1
Ricardo Almeida 1
Jo茫o S谩 1
Jo盲o Roberto de S谩 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Analytic Combinatorics 2009 Philippe Flajolet
Robert Sedgewick
 3
+ PDF Chat Gr枚bner Bases: A Short Introduction for Systems Theorists 2001 Bruno Buchberger
 2
+ Inhabitation of Low-Rank Intersection Types 2009 Pawe艂 Urzyczyn
 1
+ Specifying and Implementing Security Policies Using LaSCO, the Language for Security Constraints on Objects 2000 James A. Hoagland
Raju Pandey
 1
+ CoCoA 2006 Anna Maria Bigatti
Lorenzo Robbiano
 1
+ A coalgebraic approach to Kleene algebra with tests 2004 Hubie Chen
Riccardo Pucella
 1
+ Intersection type calculi of bounded dimension 2016 Andrej Dudenhefner
Jakob Rehof
 1
+ Analytic Function Theory 1971 L. C. Woods
 1
+ PDF Chat Uniform Random Expressions Lack Expressivity 2019 Florent Koechlin
Cyril Nicaud
Pablo Rotondo
 1
+ Guest Column 2020 Sabine Broda
Ant贸nio Machiavelo
Nelma Moreira
Rog茅rio Reis
 1
+ Random Generation of Deterministic Acyclic Automata Using the Recursive Method 2013 Sven De Felice
Cyril Nicaud
 1
+ Singular Points of Plane Curves 2004 C. T. C. Wall
 1
+ The Inhabitation Problem for Rank Two Intersection Types 2007 Dariusz Ku艣mierek
 1