Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stéphanie Delaune
From Security Protocols to Pushdown Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
The Finite Variant Property: How to Get Rid of Some Algebraic Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Collapsible Pushdown Automata and Recursion Schemes
Proceedings - Symposium on Logic in Computer Science
Mathematics
Software
Automata Evaluation and Text Search Protocols With Simulation-Based Security
Journal of Cryptology
Applied Mathematics
Computer Science Applications
Software
Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
The Quotient Operation on Input-Driven Pushdown Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Application Layer Protocols to Protect Electronic Mail From Security Threads
Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Dignity to Security Protocols: A Scientometric Analysis of Digital Ethics
Ethics and Information Technology
Computer Science Applications
Library
Information Sciences
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata
IFAC Proceedings Volumes
