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

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

http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest I64 Computing Methodologies Model Validation and Analysis
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ma
http://xmlns.com/foaf/0.1/topic_interest Requirement
http://xmlns.com/foaf/0.1/topic_interest Energy constraints
http://xmlns.com/foaf/0.1/topic_interest Muller acceptance
http://xmlns.com/foaf/0.1/topic_interest 2012 ACM Subject Classification Theory of computation → Automata over infinite Higher-dimensional automata concurrency theory omega pomsets Büchi acceptance Muller acceptance interval pomsets pomsets with interfaces Digital Object Identifier 104230/LIPIcsFSCD202528
http://xmlns.com/foaf/0.1/topic_interest Generalized self-modifying net
http://xmlns.com/foaf/0.1/topic_interest Featured transition system Two-player game Family-based model checking
http://xmlns.com/foaf/0.1/topic_interest Precubical set
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/topic_interest Component model
http://xmlns.com/foaf/0.1/topic_interest Synthesis
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-lo
http://xmlns.com/foaf/0.1/firstName Uli
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-gt
http://xmlns.com/foaf/0.1/topic_interest Weighted timed automaton
http://xmlns.com/foaf/0.1/topic_interest Tag
http://xmlns.com/foaf/0.1/topic_interest Mean payoff games
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Automata over infinite objects
http://xmlns.com/foaf/0.1/topic_interest Higher-dimensional timed automaton
http://xmlns.com/foaf/0.1/topic_interest Timed automaton
http://xmlns.com/foaf/0.1/topic_interest Decomposition
http://xmlns.com/foaf/0.1/topic_interest Pomsets with interfaces
http://xmlns.com/foaf/0.1/topic_interest Büchi acceptance
http://xmlns.com/foaf/0.1/topic_interest Petri net Higher-dimensional automaton Concurrency Inhibitor arc Generalized self-modifying net
http://xmlns.com/foaf/0.1/familyName Fahrenberg
http://xmlns.com/foaf/0.1/topic_interest Inhibitor arc
http://xmlns.com/foaf/0.1/topic_interest Petri net
http://xmlns.com/foaf/0.1/topic_interest Strict inequalities
http://xmlns.com/foaf/0.1/topic_interest Concurrency
http://xmlns.com/foaf/0.1/topic_interest Higher-dimensional automaton
http://xmlns.com/foaf/0.1/topic_interest Timed automata
http://xmlns.com/foaf/0.1/topic_interest 2012 ACM Subject Classification Theory of computation → Automata over infinite Higher-dimensional automata
http://xmlns.com/foaf/0.1/topic_interest Real-time verification
http://xmlns.com/foaf/0.1/topic_interest Concurrency theory
http://xmlns.com/foaf/0.1/topic_interest Hybrid automaton
http://xmlns.com/foaf/0.1/topic_interest Fourier–Motzkin elimination
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Automata extensions
http://xmlns.com/foaf/0.1/topic_interest Distributed systems
http://xmlns.com/foaf/0.1/topic_interest Pomsets with interfaces Digital Object Identifier 104230/LIPIcsFSCD202528
http://xmlns.com/foaf/0.1/topic_interest Real time
http://xmlns.com/foaf/0.1/topic_interest Real-time concurrency
http://xmlns.com/foaf/0.1/topic_interest Computer Science - Logic in Computer Science
http://xmlns.com/foaf/0.1/topic_interest Interval posets
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 Omega pomsets
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/ulifahrenberg
http://xmlns.com/foaf/0.1/topic_interest Theory
http://www.w3.org/2002/07/owl#sameAs 0000-0001-9094-7625
http://www.w3.org/2002/07/owl#sameAs 156246252
http://xmlns.com/foaf/0.1/topic_interest Tropical polyhedra
http://xmlns.com/foaf/0.1/topic_interest Additional Key Words and Phrases Contract
http://xmlns.com/foaf/0.1/topic_interest Directed topology
http://xmlns.com/foaf/0.1/topic_interest Interval pomsets
http://xmlns.com/foaf/0.1/mbox_sha1sum 218ea74d44f2b6ab5ee8e92ac09b385f
http://xmlns.com/foaf/0.1/topic_interest Generalized Büchi acceptance
http://xmlns.com/foaf/0.1/topic_interest Non-interleaving concurrency
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Timed and hybrid models
http://www.w3.org/2002/07/owl#sameAs fahrenberg_u_1
http://xmlns.com/foaf/0.1/topic_interest Heterogeneity
http://xmlns.com/foaf/0.1/topic_interest Weighted automaton
http://xmlns.com/foaf/0.1/topic_interest ACM Reference Format
http://xmlns.com/foaf/0.1/topic_interest Contract
http://xmlns.com/foaf/0.1/topic_interest Labelled precube categories
http://xmlns.com/foaf/0.1/topic_interest General Terms Design
http://xmlns.com/foaf/0.1/topic_interest Pomset
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Concurrency
http://xmlns.com/foaf/0.1/name Uli Fahrenberg
http://xmlns.com/foaf/0.1/topic_interest Energy problem
http://xmlns.com/foaf/0.1/topic_interest Star-continuous Kleene algebra
http://xmlns.com/foaf/0.1/topic_interest Kleene theorem
http://xmlns.com/foaf/0.1/topic_interest Higher-dimensional automata
http://xmlns.com/foaf/0.1/topic_interest Parity acceptance

Télécharger au format