publication venue for
- Detector-based component model abstraction for microservice-based systems. 103:2521-2551. 2021
- Notions of architecture in fog computing. 103:51-73. 2020
- An architectural approach to the analysis, verification and validation of software intensive embedded systems. 95:649-688. 2013
- Intersection problems of parametric surfaces in CAGD. 53:355-364. 1994
- An iterative algorithm for the Tower of Hanoi with four pegs. 42:133-140. 1989
- Cubic B-spline curves and surfaces in computer aided geometric design. 19:29-34. 1977