The following pages link to Ferucio Laurenţiu Ţiplea (Q172108):
Displayed 50 items.
- Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes (Q497226) (← links)
- (Q750162) (redirect page) (← links)
- Bisimulation and divergence (Q750163) (← links)
- Structural soundness of workflow nets is decidable (Q1044705) (← links)
- Confluence of indirection reductions in graph rewrite systems (Q1113692) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Maximal codes with bounded deciphering delay (Q1177932) (← links)
- Type checking with universes (Q1177937) (← links)
- Rapid construction of algebraic axioms from samples (Q1179710) (← links)
- A unified approach for deciding the existence of certain petri net paths (Q1184737) (← links)
- On automata on infinite trees (Q1186604) (← links)
- CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings (Q1188866) (← links)
- (Q1262777) (redirect page) (← links)
- An example of sequentialization of a parallel algorithm (Q1262778) (← links)
- Regular expressions into finite automata (Q1314367) (← links)
- Quasi-injective reductions (Q1314394) (← links)
- Relational programming laws in the tree, list, bag, set hierarchy (Q1330449) (← links)
- Some decision problems for parallel communicating grammar systems (Q1341721) (← links)
- (Q1603427) (redirect page) (← links)
- A note on synchronized extension systems (Q1603428) (← links)
- Distributive weighted threshold secret sharing schemes (Q1671693) (← links)
- (Q2198254) (redirect page) (← links)
- On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme (Q2198255) (← links)
- On anonymization of Cocks' identity-based encryption scheme (Q2209514) (← links)
- On the distribution of quadratic residues and non-residues modulo composite integers and applications to cryptography (Q2287820) (← links)
- A necessary and sufficient condition for the asymptotic idealness of the GRS threshold secret sharing scheme (Q2446574) (← links)
- Abstractions of data types (Q2491212) (← links)
- Petri net reactive modules (Q2503287) (← links)
- (Q2730722) (← links)
- Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps (Q2802421) (← links)
- Key-Policy Attribute-Based Encryption for Boolean Circuits from Bilinear Maps (Q2947114) (← links)
- SE-SYSTEMS, TIMING MECHANISMS, AND TIME-VARYING CODES (Q3147310) (← links)
- (Q3350793) (← links)
- (Q3774932) (← links)
- (Q3976969) (← links)
- (Q3976970) (← links)
- (Q4007992) (← links)
- Selective petri net languages (Q4016902) (← links)
- (Q4207571) (← links)
- (Q4207591) (← links)
- (Q4207592) (← links)
- (Q4235439) (← links)
- Parallel communicating grammar systems: the context-sensitive case (Q4297199) (← links)
- (Q4358451) (← links)
- (Q4358456) (← links)
- (Q4370839) (← links)
- (Q4390538) (← links)
- (Q4465343) (← links)
- (Q4515247) (← links)
- (Q4737002) (← links)