MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Natalia Sidorova" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Embedding chaos  
  • by Natalia Sidorova, Martin Steffen — 2001 — Proceedings of the 8th Static Analysis Symposium (SAS’01
  • …£ ¢ Embedding Chaos Natalia Sidorova   and Martin Steffen ¡ Department of Mathematics and Computer…
  • Cited by 5 (3 self) – Add To MetaCart
  • Using Fairness to Make Abstractions Work  
  • by Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova — 2004 — In SPIN
  • …Using Fairness to Make Abstractions Work Dragan Boˇsnački 1 , Natalia Ioustinova 2 , and Natalia…
  • Add To MetaCart
  • Timed verification with µCRL  
  • by Stefan Blom, Natalia Ioustinova, Natalia Sidorova, Stefan Blom, Natalia Ioustinova, Natalia Sidorova — 2003 — 5th Andrei Ershov International Conference on Perspectives of System Informatics PSI’2003, volume 2890 of LNCS
  • … Software Engineering Stefan Blom, Natalia Ioustinova, Natalia Sidorova REPORT SEN-E0312 DECEMBER 8, 2003…
  • Cited by 4 (0 self) – Add To MetaCart
  • Verifying generalized soundness for workflow nets  
  • by Kees Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve — 2006 — In Proc. of the 6th International Conference on Perspectives of System Informatics, PSI’2006
  • …Verifying Generalized Soundness for Workflow Nets Kees van Hee Olivia Oanea ∗ Natalia Sidorova…
  • Cited by 2 (1 self) – Add To MetaCart
  • Can I Find a Partner?  
  • by Peter Massuthe, Er Serebrenik, Natalia Sidorova, Karsten Wolf
  • …Can I Find a Partner? Peter Massuthe 1 , Alexander Serebrenik 2 , Natalia Sidorova 2 , and Karsten…
  • Add To MetaCart
  • Model Checking SDL with Spin  
  • by Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova — 2000
  • … , and Natalia Sidorova 2 1 Dept. of Computing Sci., Eindhoven University of Technology, PO Box 513, 5600 MB…
  • Cited by 9 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB