Marcin Jurdzinski
Symposium on Theoretical Aspects of Computer Science · 2000
A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 4 researchers here, as inferred from the citation graph.
Whom Marcin Jurdzinski trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Marcin Jurdzinski overall
Papers from Marcin Jurdzinski's perspective
Ordered by how strongly the researchers Marcin Jurdzinski trusts endorse each paper. Same corpus, a different order for every researcher.
- On the synthesis of a reactive module
- Small Progress Measures for Solving Parity Games (Symposium on Theoretical Aspects of Computer Science)
- Bounded synthesis (International Journal on Software Tools for Technology Transfer (STTT))
- Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
- Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
- Sharing Decryption in the Context of Voting or Lotteries (Financial Cryptography)
- Efficient Receipt-Free Voting Based on Homomorphic Encryption (International Conference on the Theory and Application of Cryptographic Techniques)
- Practical Threshold Signatures (International Conference on the Theory and Application of Cryptographic Techniques)
- How to play any mental game, or a completeness theorem for protocols with honest majority (Providing Sound Foundations for Cryptography)
- A public key cryptosystem and a signature scheme based on discrete logarithms
Their papers
- Small Progress Measures for Solving Parity Games (2000) — 469 citations
- A Discrete Strategy Improvement Algorithm for Solving Parity Games (2000) — 298 citations