Showing
1 - 10
results of
10
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Badouel, E.
Search Results - Badouel, E.
Showing
1 - 10
results of
10
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
by
Badouel, E.
,
Tchougong, R.
,
Nkuimi-Jugnia, C.
,
Fotsing, B.
Published in
Theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
The synthesis of Petri nets from path-automatic specifications
by
Badouel, E.
,
Darondeau, Ph
Published in
Information and computation
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Concurrent Secrets
by
Badouel, E.
,
Bednarczyk, M.
,
Borzyszkowski, A.
,
Caillaud, B.
,
Darondeau, P.
Published in
Discrete event dynamic systems
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
Why Are Modalities Good for Interface Theories?
by
Raclet, J.-B.
,
Badouel, E.
,
Benveniste, A.
,
Caillaud, B.
,
Passerone, R.
Request full text
Items that cite this one
Conference Proceeding
Save to List
Saved in:
5
Loading…
The synthesis problem for elementary net systems is NP-complete
by
Badouel, Eric
,
Bernardinello, Luca
,
Darondeau, Philippe
Published in
Theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
6
Loading…
Trace nets and process automata
by
BADOUEL, E
,
DARONDEAU, P
Published in
Acta informatica
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
7
Loading…
Residuation of tropical series: Rationality issues
by
Badouel, E.
,
Bouillard, A.
,
Darondeau, P.
,
Komenda, J.
Request full text
Conference Proceeding
Save to List
Saved in:
8
Loading…
Context-Free Event Domains Are Recognizable
by
Badouel, Eric
,
Darondeau, Philippe
,
Raoult, Jean-Claude
Published in
Information and computation
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
9
Loading…
On guarded recursion
by
Badouel, Eric
,
Darondeau, Philippe
Published in
Theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
10
Loading…
Concurrent Secrets
by
Badouel, E.
,
Bednarczyk, M.
,
Borzyszkowski, A.
,
Caillaud, B.
,
Darondeair, P.
Request full text
Conference Proceeding
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
7 results
7
Full Text
10 results
10
Format
Articles
7 results
7
Conference Proceedings
3 results
3
Journal Title
Theoretical Computer Science
3 results
3
Information And Computation
2 results
2
Acta Informatica
1 results
1
Discrete Event Dynamic Systems
1 results
1
Subjects
Science & Technology
10 results
10
Technology
10 results
10
Computer Science
8 results
8
Computer Science, Theory & Methods
6 results
6
Applied Sciences
4 results
4
Automata
4 results
4
Computer Science; Control Theory; Systems
4 results
4
Exact Sciences And Technology
4 results
4
Theoretical Computing
4 results
4
Automation & Control Systems
3 results
3
Mathematics
3 results
3
Mathematics, Applied
3 results
3
Physical Sciences
3 results
3
Automata. Abstract Machines. Turing Machines
2 results
2
Computer Security
2 results
2
Concurrent Computing
2 results
2
Operations Research & Management Science
2 results
2
Safety
2 results
2
Supervisory Control
2 results
2
Algebra
1 results
1
Year of Publication
From:
To:
Source
Science Citation Index Expanded (Web Of Science)
7 results
7
Bacon - Elsevier - Global Sciencedirect-Openaccess
5 results
5
Sciencedirect Journals
5 results
5
Ezb Electronic Journals Library
5 results
5
Ieee Electronic Library (Iel) Conference Proceedings
3 results
3
Ieee Xplore All Conference Series
2 results
2
Springer Link
2 results
2
Springerlink Online Journals Archive Complete
2 results
2
Springerlink Contemporary
2 results
2
Abi/Inform Global
1 results
1