Items where Author is "Rubin, S."
Up a level
Group by: Type | No Grouping
Number of items: 2.
Article
Aminof, B., De Giacomo, G., Di Stasio, A. 
ORCID: 0000-0001-5475-2978 , Francon, H., Rubin, S. & Zhu, S. (2025).
ltl Synthesis Under Environment Specifications for Reachability and Safety Properties.
Information and Computation, 303,
article number 105255.
doi: 10.1016/j.ic.2024.105255
Farion, K., Michalowski, W., Wilk, S. , O'Sullivan, D., Rubin, S. & Weiss, D. (2009). Clinical decision support system for point of care use--ontology-driven design and software implementation. Methods of Information in Medicine, 48(04), pp. 381-390. doi: 10.3414/me0574