Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
Slingeneyer, Thibaut
Wintgens, Luc
Vannetelbosch, Vincent
1988
2014
UCLouvain
Fahrenberg, Uli
Author
2
Křetínský, Jan
Apply Křetínský, Jan filter
2
Traonouez, Louis-Marie
Apply Traonouez, Louis-Marie filter
1
Atlee Joanne, M.
Apply Atlee Joanne, M. filter
1
Beneš, Nikola
Apply Beneš, Nikola filter
1
Ouederni, Meriem
Apply Ouederni, Meriem filter
1
Salaün, Gwen
Apply Salaün, Gwen filter
1
Ésik, Zoltán
Apply Ésik, Zoltán filter
Document Type
5
Rapport (Report)
Apply Rapport (Report) filter
1
Document de travail (Working Paper)
Apply Document de travail (Working Paper) filter
You are here
Home
»
Search
»
Search results
»
*:*
»
^Slingeneyer, Thibaut
»
^Wintgens, Luc
»
^Vannetelbosch, Vincent
»
^1988
»
2014
»
^UCLouvain
»
Fahrenberg, Uli
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
6
results.
Report
Measuring Behaviour Interactions between Product-Line Features
Atlee Joanne, M.
Fahrenberg, Uli
Legay, Axel
[UCL]
(2014)
Report
Compositionality for Quantitative Specifications
Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
[UCL]
Traonouez, Louis-Marie
(2014)
Report
Flooding-Based Algorithm for Behavioural Compatibility Measuring
Ouederni, Meriem
Fahrenberg, Uli
Legay, Axel
[UCL]
Salaün, Gwen
(2014)
WorkingPaper
Continuous Kleene ω-Algebras
Ésik, Zoltán
Fahrenberg, Uli
Legay, Axel
[UCL]
(2014)
Report
Logical vs. Behavioural Specifications
Beneš, Nikola
Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
[UCL]
Traonouez, Louis-Marie
(2014)
Report
Homotopy Bisimilarity for Higher-Dimensional Automata
Fahrenberg, Uli
Legay, Axel
[UCL]
(2014)