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

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

http://xmlns.com/foaf/0.1/topic_interest Distributed systems
http://xmlns.com/foaf/0.1/topic_interest Parity acceptance
http://xmlns.com/foaf/0.1/topic_interest Timed automata
http://xmlns.com/foaf/0.1/mbox_sha1sum 364d0356ad601ccad58a4cf9ebae5462
http://xmlns.com/foaf/0.1/topic_interest Labelled precube categories
http://xmlns.com/foaf/0.1/topic_interest Synthesis
http://xmlns.com/foaf/0.1/topic_interest Weighted timed automaton
http://xmlns.com/foaf/0.1/topic_interest Energy constraints
http://xmlns.com/foaf/0.1/topic_interest Real-time verification
http://xmlns.com/foaf/0.1/topic_interest Tag
http://xmlns.com/foaf/0.1/topic_interest Kleene theorem
http://xmlns.com/foaf/0.1/topic_interest Contract
http://xmlns.com/foaf/0.1/topic_interest Real-time concurrency
http://xmlns.com/foaf/0.1/topic_interest Component model
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/topic_interest Strict inequalities
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-gt
http://xmlns.com/foaf/0.1/topic_interest Higher-dimensional automata
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ma
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-lo
http://xmlns.com/foaf/0.1/topic_interest Star-continuous Kleene algebra
http://xmlns.com/foaf/0.1/topic_interest Additional Key Words and Phrases Contract
http://xmlns.com/foaf/0.1/topic_interest Real time
http://xmlns.com/foaf/0.1/familyName Fahrenberg
http://xmlns.com/foaf/0.1/topic_interest Energy problem
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Automata extensions
http://xmlns.com/foaf/0.1/topic_interest Generalized Büchi acceptance
http://xmlns.com/foaf/0.1/topic_interest Requirement
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/ulifahrenberg
http://xmlns.com/foaf/0.1/topic_interest General Terms Design
http://xmlns.com/foaf/0.1/topic_interest Theory
http://xmlns.com/foaf/0.1/topic_interest Higher-dimensional timed automaton
http://xmlns.com/foaf/0.1/firstName Uli
http://xmlns.com/foaf/0.1/topic_interest Tropical polyhedra
http://www.w3.org/2002/07/owl#sameAs 0000-0001-9094-7625
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Timed and hybrid models
http://xmlns.com/foaf/0.1/topic_interest Non-interleaving concurrency
http://www.w3.org/2002/07/owl#sameAs 156246252
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Decomposition
http://xmlns.com/foaf/0.1/topic_interest Fourier–Motzkin elimination
http://xmlns.com/foaf/0.1/topic_interest Higher-dimensional automaton
http://xmlns.com/foaf/0.1/topic_interest Weighted automaton
http://xmlns.com/foaf/0.1/topic_interest Mean payoff games
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Concurrency
http://xmlns.com/foaf/0.1/topic_interest Featured transition system Two-player game Family-based model checking
http://www.w3.org/2002/07/owl#sameAs fahrenberg_u_1
http://xmlns.com/foaf/0.1/topic_interest Interval posets
http://xmlns.com/foaf/0.1/topic_interest Concurrency theory
http://xmlns.com/foaf/0.1/topic_interest Heterogeneity
http://xmlns.com/foaf/0.1/topic_interest Timed automaton
http://xmlns.com/foaf/0.1/topic_interest Precubical set
http://xmlns.com/foaf/0.1/name Uli Fahrenberg
http://xmlns.com/foaf/0.1/topic_interest Hybrid automaton
http://xmlns.com/foaf/0.1/topic_interest I64 Computing Methodologies Model Validation and Analysis
http://xmlns.com/foaf/0.1/topic_interest Computer Science - Logic in Computer Science
http://xmlns.com/foaf/0.1/topic_interest ACM Reference Format

Télécharger au format