Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Text Mining and Qualitative Analysis of an IT History Interview Collection3rd History of Nordic Computing (HiNC), Oct 2010, Stockholm, Sweden. pp.433-443, ⟨10.1007/978-3-642-23315-9_49⟩
Conference papers
hal-01564654v1
|
||
|
|
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.84-100, ⟨10.1007/978-3-642-30793-5_6⟩
Conference papers
hal-01528739v1
|
||
|
|
Directing and Combining Multiple Queries for Exploratory Search by Visual Interactive Intent Modeling18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.514-535, ⟨10.1007/978-3-030-85613-7_34⟩
Conference papers
hal-04292383v1
|