Vadim Zaytsev, PhD
Post-doctoral Research Fellow, Centrum Wiskunde & InformaticaAmsterdam, Netherlands
Research field: Computer and Information Science - Programming Languages
Software language engineering
Publications
-
Conference Proceedings (10)
-
Vadim Zaytsev, Ralf Lämmel (2011) A Unified Format for Language Documents, 206–225. In Post-proceedings of the Third International Conference on Software Language Engineering (SLE 2010), LNCS 6563.
-
Bernd Fischer, Ralf Lämmel, Vadim Zaytsev (2011) Comparison of Context-free Grammars Based on Parsing Generated Test Data, 323–342. In Pre-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011).
-
Vadim Zaytsev (2011) Language Convergence Infrastructure, 481–497. In Post-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), LNCS 6491.
-
Ralf Lämmel, Vadim Zaytsev (2009) An Introduction to Grammar Convergence, 246-260. In Proceedings of the 7th International Conference on Integrated Formal Methods (iFM 2009), LNCS 5423.
-
Ralf Lämmel, Vadim Zaytsev (2009) Recovering Grammar Relationships for the Java Language Specification, 178-186. In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation.
-
L.A. Zaytseva, V.V. Zaytsev (2006) Methods and tools for predicting working modes of railroad power-supply systems, 63-66. In IET International Conference on Railway Condition Monitoring.
-
Vadim Zaytsev (2005) Correct C# Grammar too Sharp for ISO, 154–155. In Pre-proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Part II, Participants Workshop.
-
Lioudmila Zaitseva, Vadim Zaitsev (2002) Computer Estimation of the EM Influence of Railroad AC Traction Networks, 1031–1034. In Proceedings of International Symposium on Electromagnetic Compatibility (EMC EUROPE 2002), Volume 2.
-
Vadim Zaytsev, Alexander Litvinenko (2002) Python as a First Languages to Teach, 61–65. In Proceedings of the Training and Methodological Conference on Modern IT in Teaching.
-
Lioudmila Zaitseva, Alexander Botchev, Vadim Zaitsev (2000) Electromagnetic Compatibility of a Railroad Power-supply Traction Network and a High-voltage Line. In Proceedings of the Fourth International Symposium on Electromagnetic Compatibility "EMC Europe 2000".
-
-
Encyclopedia Article (1)
-
Vadim Zaytsev (2005) Leadbelly.
-
-
Journal Article (2)
-
Ralf Lämmel, Vadim Zaytsev (2010) Recovering grammar relationships for the Java Language Specification, 333-378. In Software Quality Journal 19 (2).
-
Alexander Agranovsky, Vadim Zaytsev, Boris Telesnin et al. (2003) Program Verification using Models, 45–47. In Open Systems.
-
-
Report (3)
-
Vadim Zaytsev (2011) MediaWiki Grammar Recovery, 1–47..
-
Steven Klusener, Vadim Zaytsev (2005) Language Standardization Needs Grammarware, 1–17..
-
Vadim Zaytsev (2002) Python Lecture Notes, 1–57.
-
-
Thesis (4)
-
Vadim Zaytsev (2010) Recovery, Convergence and Documentation of Languages, 1–257.
-
Vadim Zaytsev (2004) Combinatorial Test Set Generation: Concepts, Implementation, Case Study, 1–71.
-
Vadim Zaytsev (2003) Modelling and Model Checking of Distributed Systems, 1–103.
-
Vadim Zaytsev (2002) Python Programming Language E-Learning Complex, 1–50.
-
-
Web Page (1)
-
Vadim Zaytsev (2009) XBGF Reference Manual: BGF Transformation Operator Suite. In SourceForge.
-
Awards and Grants
-
Mar 2011Wikimania Partial Scholarship
-
Sep 2009SCAM 2009 Best Paper Award
-
Jul 2009GTTSE 2009 Most Active Participant View website
-
Jun 2004Master's degree cum laude
-
Jun 2003Master's degree magna cum laude
-
Jan 2003Best paper & best presentation on a student mini-conference
Biographical Information
No biographical information added yet.
CV
Professional Experience
2010 - Present
Post-doctoral Research Fellow at Centrum Wiskunde & Informatica
Amsterdam, Netherlands
Amsterdam, Netherlands
May 2008 - Nov 2010
Research Fellow at Universität Koblenz-Landau - University of Koblenz-Landau
Koblenz, Germany
Classes taught:
Advanced Programming
Programming Paradigms and Formal Semantics
Koblenz, Germany
Classes taught:
Advanced Programming
Programming Paradigms and Formal Semantics
Jan 2004 - Apr 2008
PhD Student at Vrije Universiteit Amsterdam
Amsterdam, Netherlands
Classes taught:
Practicum Software Engineering
Practicum Programming Languages
Practicum Information Science
Principles of Object-Oriented Software Development
Amsterdam, Netherlands
Classes taught:
Practicum Software Engineering
Practicum Programming Languages
Practicum Information Science
Principles of Object-Oriented Software Development
Education
Aug 2002 - Jun 2004
Universiteit Twente - University of Twente
in Enschede, Netherlands
Master of Science
Master of Science
Sep 1998 - Jun 2003
Rostov State University
in Rostov-na-Donu, Russia
Master of Science
Master of Science
Contact Information
| Webpage: | grammarware.net |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Vadim is a member of
- Not a member of any groups yet.
Public groups Vadim is following
- Not following any groups yet.
- Find new public groups.
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more