The following pages link to Denis Lugiez (Q862560):
Displayed 42 items.
- (Q236075) (redirect page) (← links)
- XML schema, tree logic and sheaves automata (Q862561) (← links)
- Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047) (← links)
- Fast Hensel's lifting implementation using partial fraction decomposition (Q1074651) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Multitree automata that count (Q1770418) (← links)
- On the symbolic reduction of processes with cryptographic functions. (Q1853612) (← links)
- Tree automata help one to solve equational formulae in AC-theories (Q1892141) (← links)
- Positive and negative results for higher-order disunification (Q1914170) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- Decidable first-order transition logics for PA-processes (Q2575856) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- (Q2730723) (← links)
- (Q2736358) (← links)
- (Q2754156) (← links)
- FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER (Q3016220) (← links)
- A logic you can count on (Q3452257) (← links)
- Verifying Cryptographic Protocols with Subterms Constraints (Q3498465) (← links)
- Towards an Automatic Analysis of Web Service Security (Q3525006) (← links)
- Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (Q3591419) (← links)
- Presburger Modal Logic Is PSPACE-Complete (Q3613433) (← links)
- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order (Q3646258) (← links)
- (Q3727382) (← links)
- (Q3747717) (← links)
- A knowledge-based system for computer algebra (Q3777449) (← links)
- (Q4035251) (← links)
- (Q4251913) (← links)
- (Q4266522) (← links)
- (Q4281554) (← links)
- (Q4417868) (← links)
- (Q4447237) (← links)
- (Q4536615) (← links)
- (Q4723297) (← links)
- (Q4738481) (← links)
- (Q4791271) (← links)
- Higher order disunification: Some decidable cases (Q5096304) (← links)
- On Symbolic Heaps Modulo Permission Theories (Q5136317) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308414) (← links)
- Implementation and Application of Automata (Q5464000) (← links)
- Term Rewriting and Applications (Q5703858) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)