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

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

An Algebraic Approach to Refinement with Fair Choice:

Sekerinski, Emil
Electronic Notes in Theoretical Computer Science.  214 (2008)  - p. 51-79 , 2008
Link: https://doi.org/10.1016/..
 
?
5

Verification and refinement with fine-grained action-based ..:

Sekerinski, Emil
Theoretical Computer Science.  331 (2005)  2-3 - p. 429-455 , 2005
Link: https://doi.org/10.1016/..
 
?
6

Exploring Tabular Verification and Refinement:

Sekerinski, Emil
Formal Aspects of Computing.  15 (2003)  2-3 - p. 215-236 , 2003
Link: https://doi.org/10.1007/..
 
?
7

Tabular Verification and Refinement:

Sekerinski, Emil
Electronic Notes in Theoretical Computer Science.  70 (2002)  3 - p. 179-198 , 2002
Link: https://doi.org/10.1016/..
 
1-7