The following pages link to Jovanka Pantović (Q221711):
Displaying 46 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- (Q890613) (redirect page) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Security types for dynamic web data (Q935467) (← links)
- (Q1272141) (redirect page) (← links)
- The cardinality of functionally complete algebras on a three element set (Q1272143) (← links)
- Measuring linearity of curves in \(2D\) and \(3D\) (Q1669704) (← links)
- On the cardinality of nonfinitely based functionally complete algebras (Q1866824) (← links)
- Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday (Q2026790) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- A calculus for modeling floating authorizations (Q2329444) (← links)
- Measuring linearity of connected configurations of a finite number of 2D and 3D curves (Q2354813) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- The cardinality of nonfiniteley based functionally complete algebras on a three element set (Q2759847) (← links)
- Relative completeness (Q2763578) (← links)
- Classification of maps by their membership in maximal clones that contain minimum and complement (Q2913953) (← links)
- Binary relations and algebras on multisets (Q2969180) (← links)
- Linked data privacy (Q2973246) (← links)
- Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)
- (Q3115125) (← links)
- One Interval in the Lattice of Partial Hyperclones (Q3366753) (← links)
- Security Types for Dynamic Web Data (Q3608462) (← links)
- (Q4451511) (← links)
- (Q4515251) (← links)
- (Q4542614) (← links)
- (Q4583685) (← links)
- (Q4583751) (← links)
- (Q4583800) (← links)
- (Q4583846) (← links)
- (Q4794036) (← links)
- (Q4794046) (← links)
- (Q4830914) (← links)
- (Q4907211) (← links)
- (Q4907234) (← links)
- (Q4922307) (← links)
- (Q5013869) (← links)
- (Q5144356) (← links)
- (Q5144358) (← links)
- (Q5212279) (← links)
- (Q5389259) (← links)
- (Q5389342) (← links)
- (Q5439782) (← links)
- (Q5714375) (← links)
- A Calculus for Modeling Floating Authorizations (Q5881536) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Relative completeness with respect to two unary functions (Q5951979) (← links)