Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Sekerinski, Emil
37  Ergebnisse:
Personensuche X
?
1

Parallel Order-Based Core Maintenance in Dynamic Graphs:

, In: Proceedings of the 52nd International Conference on Parallel Processing,
Guo, Bin ; Sekerinski, Emil - p. 122-131 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Efficient parallel graph trimming by arc-consistency:

Guo, Bin ; Sekerinski, Emil
The Journal of Supercomputing.  78 (2022)  13 - p. 15269-15313 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Striving toward reconciliation through the co-creation of w..:

, In: Indigenous Water and Drought Management in a Changing World; Current Directions in Water Scarcity Research,
Martin-Hill, Dawn ; Gibson, Colin M. ; de Lannoy, Charles-François... - p. 13-40 , 2022
Link: https://doi.org/10.1016/..
 
?
4

Universal Design of Interactive Mathematical Notebooks on P..:

, In: Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2,
Guo, Bin ; Nagy, Jason ; Sekerinski, Emil - p. 1132 ff. , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Real-time prediction of river chloride concentration using ..:

Zhang, Qianqian ; Li, Zhong ; Zhu, Lu...
Environmental Pollution.  291 (2021)  - p. 118116 , 2021
Link: https://doi.org/10.1016/..
 
?
6

Formal Methods. FM 2019 International Workshops: Porto, Por.. 

Programming and Software Engineering, 12233
Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N... - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
7

Formal Methods. FM 2019 International Workshops: Porto, Por.. 

Programming and Software Engineering, 12232
Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N... - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
8

A Comparison of Time Series Databases for Storing Water Qua..:

, In: Mobile Technologies and Applications for the Internet of Things; Advances in Intelligent Systems and Computing,
Fadhel, Muntazir ; Sekerinski, Emil ; Yao, Shucai - p. 302-313 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Teaching Concurrency with the Disappearing Formal Method:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,
Sekerinski, Emil - p. 135-149 , 2019
Link: https://doi.org/10.1007/..
 
?
10

An object model for dynamic mixins:

Burton, Eden ; Sekerinski, Emil
Computer Languages, Systems & Structures.  51 (2018)  - p. 90-101 , 2018
Link: https://doi.org/10.1016/..
 
?
11

Modelling probabilistic timing analysis : work-in-progre..:

, In: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion,
Nokovic, Bojan ; Sekerinski, Emil - p. 1-2 , 2017
Link: https://dl.acm.org/doi/1..
 
?
12

An object model for a dynamic mixin based language:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
Burton, Eden ; Sekerinski, Emil - p. 1986-1992 , 2016
Link: https://dl.acm.org/doi/1..
 
?
13

The safety of dynamic mixin composition:

, In: Proceedings of the 30th Annual ACM Symposium on Applied Computing,
Burton, Eden ; Sekerinski, Emil - p. 1992-1999 , 2015
Link: https://dl.acm.org/doi/1..
 
?
14

Integrated Formal Methods 

11th International Conference, IFM 2014, Bertinoro, Italy, ...  Lecture Notes in Computer Science ; 8739;SpringerLink, Bücher
Albert, Elvira ; Sekerinski, Emil , 2014
Link: https://doi.org/10.1007/..
 
?
15

Using dynamic mixins to implement design patterns:

, In: Proceedings of the 19th European Conference on Pattern Languages of Programs,
Burton, Eden ; Sekerinski, Emil - p. 1-19 , 2014
Link: https://dl.acm.org/doi/1..
 
1-15