https://data.archives-ouvertes.fr/author/1216

https://data.archives-ouvertes.fr/author/1216

http://xmlns.com/foaf/0.1/topic_interest Polyhedral convex set
http://xmlns.com/foaf/0.1/topic_interest Symbolic representation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cc
http://xmlns.com/foaf/0.1/topic_interest Context-free grammars
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cg
http://xmlns.com/foaf/0.1/topic_interest Formal
http://xmlns.com/foaf/0.1/topic_interest Petri
http://xmlns.com/foaf/0.1/topic_interest Semilinear Sets
http://xmlns.com/foaf/0.1/topic_interest Reachability
http://xmlns.com/foaf/0.1/topic_interest Coastal areas
http://xmlns.com/foaf/0.1/topic_interest Fifo
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Lossy Channel Systems
http://www.w3.org/2002/07/owl#sameAs 079082742
http://xmlns.com/foaf/0.1/topic_interest Rock fall
http://xmlns.com/foaf/0.1/topic_interest Well-quasi-order
http://xmlns.com/foaf/0.1/topic_interest Asynchronous communication
http://xmlns.com/foaf/0.1/topic_interest Automate
http://xmlns.com/foaf/0.1/topic_interest Interval
http://xmlns.com/foaf/0.1/topic_interest Kosaraju-Sullivan algorithm
http://xmlns.com/foaf/0.1/topic_interest Reachability problem
http://xmlns.com/foaf/0.1/topic_interest Automata
http://xmlns.com/foaf/0.1/topic_interest Well quasi order
http://xmlns.com/foaf/0.1/topic_interest And phrases Counter machine
http://xmlns.com/foaf/0.1/topic_interest Counter systems verfication
http://xmlns.com/foaf/0.1/topic_interest Logic
http://xmlns.com/foaf/0.1/topic_interest Infinite state system
http://xmlns.com/foaf/0.1/topic_interest Presburger
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdu.stu.gm
http://xmlns.com/foaf/0.1/topic_interest Tool
http://xmlns.com/foaf/0.1/name Jérôme Leroux
http://xmlns.com/foaf/0.1/firstName Jérôme
http://xmlns.com/foaf/0.1/topic_interest Vector addition system
http://xmlns.com/foaf/0.1/topic_interest Counter automata
http://xmlns.com/foaf/0.1/topic_interest Pushdown systems
http://xmlns.com/foaf/0.1/topic_interest VAS
http://xmlns.com/foaf/0.1/topic_interest Generic Presburger interface
http://xmlns.com/foaf/0.1/topic_interest Petri net
http://xmlns.com/foaf/0.1/mbox_sha1sum 73a7ed78940ee7593dff1b9cff1c358d
http://xmlns.com/foaf/0.1/topic_interest Symbolic model checking
http://xmlns.com/foaf/0.1/topic_interest Model-Checking
http://xmlns.com/foaf/0.1/topic_interest Communicating pushdown systems
http://xmlns.com/foaf/0.1/topic_interest Flat Systems
http://xmlns.com/foaf/0.1/topic_interest One-counter machines
http://xmlns.com/foaf/0.1/topic_interest Formal verification
http://xmlns.com/foaf/0.1/topic_interest Semi-linear set
http://xmlns.com/foaf/0.1/topic_interest Complexity
http://xmlns.com/foaf/0.1/topic_interest Automaton
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest Co-finite reachability set
http://xmlns.com/foaf/0.1/topic_interest Fast-growing complexity
http://xmlns.com/foaf/0.1/topic_interest Représentation symbolique
http://xmlns.com/foaf/0.1/topic_interest Well-quasi orders
http://xmlns.com/foaf/0.1/familyName Leroux
http://xmlns.com/foaf/0.1/topic_interest Distributed processes
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math
http://xmlns.com/foaf/0.1/topic_interest Arithmétique de Presburger
http://xmlns.com/foaf/0.1/topic_interest Coverability problem
http://xmlns.com/foaf/0.1/topic_interest Inhibitor arcs
http://xmlns.com/foaf/0.1/topic_interest Karp-Miller algorithms
http://xmlns.com/foaf/0.1/topic_interest Reach- ability sets
http://xmlns.com/foaf/0.1/topic_interest Verification of infinite-state systems
http://xmlns.com/foaf/0.1/topic_interest Acceleration
http://xmlns.com/foaf/0.1/topic_interest Invariant
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/spi.other
http://xmlns.com/foaf/0.1/topic_interest Counter systems
http://xmlns.com/foaf/0.1/topic_interest Infinite reachability set
http://xmlns.com/foaf/0.1/topic_interest Pre-processing
http://xmlns.com/foaf/0.1/topic_interest Termination
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/topic_interest Control-state reachability
http://xmlns.com/foaf/0.1/topic_interest Formal Methods
http://xmlns.com/foaf/0.1/topic_interest Petri Nets
http://xmlns.com/foaf/0.1/topic_interest Structural liveness
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ms
http://xmlns.com/foaf/0.1/topic_interest Linear algebra
http://xmlns.com/foaf/0.1/topic_interest Cobham
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Fifo channels
http://xmlns.com/foaf/0.1/topic_interest NDD
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-it
http://xmlns.com/foaf/0.1/topic_interest Semi-linear
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest Asynchronous synchronization
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/jerome-leroux
http://xmlns.com/foaf/0.1/topic_interest Bounded-phase reachability
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/topic_interest Ensemble semilinéaire
http://xmlns.com/foaf/0.1/topic_interest Least fix point
http://xmlns.com/foaf/0.1/topic_interest Reachability problems
http://xmlns.com/foaf/0.1/topic_interest Automata with cache computation
http://xmlns.com/foaf/0.1/topic_interest Well-Structured Transition Systems
http://xmlns.com/foaf/0.1/topic_interest Decidability
http://xmlns.com/foaf/0.1/topic_interest Arithmetic
http://xmlns.com/foaf/0.1/topic_interest Cover sets
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-db
http://xmlns.com/foaf/0.1/topic_interest Infinite-state system
http://xmlns.com/foaf/0.1/topic_interest Approximation algorithms
http://xmlns.com/foaf/0.1/topic_interest Presburger arithmetic
http://xmlns.com/foaf/0.1/topic_interest Universal reachability set
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dm
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds
http://xmlns.com/foaf/0.1/topic_interest Vector additions system with states
http://xmlns.com/foaf/0.1/topic_interest Abstract interpretation
http://xmlns.com/foaf/0.1/topic_interest Counter machine
http://xmlns.com/foaf/0.1/topic_interest Pushdown vector addition systems
http://xmlns.com/foaf/0.1/topic_interest Vector Addition Systems
http://xmlns.com/foaf/0.1/topic_interest 3D models
http://xmlns.com/foaf/0.1/topic_interest Ideal
https://aurehal.archives-ouvertes.fr/author/1216

Télécharger au format  
RDF/XML Turtle N3 Json