scientific purity

List of written works and publications (latest first)

69. Alan Mark Berg, Hans L. Dekkers, Vadim Zaytsev.
One Month to Learn Software Engineering. Draft for the ACM TOCE 2015. Pending feedback.
[BibTeX]
68. Anya Helene Bagge, Vadim Zaytsev, editors.
Post-proceedings of the International Workshop on Open and Original Problems in Software Language Engineering (OOPSLE 2014), Special Issue of EC-EASST, European Association of Software Science and Technology (EASST), 2014. ISSN 1863-2122. In progress.
[BibTeX]
67. Vadim Zaytsev.
Case Studies in Bidirectionalisation. In Pre-proceedings of the 15th International Symposium on Trends in Functional Programming (TFP 2014), May 2014. Research Paper Extended Abstract.
[BibTeX]
66. Vadim Zaytsev, Anya Helene Bagge.
Parsing in a Broad Sense. Draft for the 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), March 2014. Pending reviews.
[BibTeX]
65(closed). Paul Klint, Jurgen Vinju, Tijs van der Storm, Vadim Zaytsev.
GrammarLab: Foundations for a Grammar Laboratory. NWO Final Scientific Report, 2014. 10 pages.
[BibTeX] [GrammarLab]
64(open). Vadim Zaytsev.
Software Language Engineering by Intentional Rewriting, Electronic Communications of the European Association of Software Science and Technology (EC-EASST), volume 65 (Software Quality and Maintainability), EASST, 2014. ISSN 1863-2122.
[BibTeX] [PDF(open)] [Online(open)] [Scholar] [Talk]
63(open). Anya Helene Bagge, Vadim Zaytsev, editors.
Extended Abstracts of the 2th International Workshop on Open and Original Problems in Software Language Engineering, OOPSLE 2014, Antwerpen, Belgium, February 2014.
[BibTeX] [Online(open)] [PDF] [Scholar]
62(open). Anya Helene Bagge, Vadim Zaytsev.
International Workshop on Open and Original Problems in Software Language Engineering (OOPSLE 2014). In Serge Demeyer, Dave Binkley, Filippo Ricca, editors, Proceedings of the Software Evolution Week (IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering), Workshop Descriptions (CSMR-WCRE 2014), page 478, IEEE, February 2014.
[BibTeX] [PDF(open)] [DOI(closed)] [Abstract] [Scholar]
61(open). Vadim Zaytsev.
Formal Foundations for Semi-parsing. In Serge Demeyer, Dave Binkley, Filippo Ricca, editors, Proceedings of the Software Evolution Week (IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering), Early Research Achievements Track (CSMR-WCRE 2014 ERA), pages 313–317, IEEE, February 2014.
[BibTeX] [PDF(open)] [DOI(closed)] [Scholar] [Talk] [Talk]
60(open). Vadim Zaytsev.
Pending Evolution of Grammars. In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Post-proceedings of the Second Workshop on Extreme Modeling (XM 2013), CEUR Workshop Proceedings 1089, pages 28–35, CEUR-WS.org, October 2013. ISSN 1613-0073.
[BibTeX] [PDF(open)] [CEUR(open)] [HAL] [Scholar]
59(open). Ralf Lämmel, Vadim Zaytsev.
Language Support for Megamodel Renarration. In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Post-proceedings of the Second Workshop on Extreme Modeling (XM 2013), CEUR Workshop Proceedings 1089, pages 36–45, CEUR-WS.org, October 2013. ISSN 1613-0073.
[BibTeX] [Abstract] [PDF(open)] [CEUR(open)] [HAL] [Scholar]
58(open). Vadim Zaytsev.
Pending Evolution of Grammars. In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Proceedings of the Second Extreme Modeling Workshop (XM 2013), pages 28–35, Università degli Studi dell’Aquila, Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, L’Aquila, Italy, September 2013.
[BibTeX] [PDF(open)] [Online(open)] [CWI(open)] [Programme] [Talk]
57(open). Ralf Lämmel, Vadim Zaytsev.
Language Support for Megamodel Renarration. In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Proceedings of the Second Extreme Modeling Workshop (XM 2013), pages 36–45, Università degli Studi dell’Aquila, Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, L’Aquila, Italy, September 2013.
[BibTeX] [Abstract] [PDF(open)] [Online(open)] [CWI(open)] [Programme] [Talk]
56(open). Vadim Zaytsev.
Modelling Robustness with Conjunctive Grammars. In Davide Di Ruscio, editor, Sixth Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2013), July 2013.
[BibTeX] [PDF(open)] [Online(open)] [Programme]
55(open). Vadim Zaytsev.
Micropatterns in Grammars. In Martin Erwig, Richard F. Paige, Eric Van Wyk, editors, Proceedings of the Sixth International Conference on Software Language Engineering (SLE 2013), LNCS 8225, pages 117–136, Springer International Publishing, October 2013.
[BibTeX] [PDF(open)] [CWI(open)] [DOI(closed)] [HAL] [Talk]
54(open). Vadim Zaytsev.
Guided Grammar Convergence. In Poster proceedings of the Sixth International Conference on Software Language Engineering (SLE 2013), October 2013. In print.
[BibTeX] [PDF(open)] [Talk] [Talk] [Talk] [Talk]
53(open). Anya Helene Bagge, Vadim Zaytsev.
Workshop on Open and Original Problems in Software Language Engineering (OOPSLE 2013). In Ralf Lämmel, Rocco Oliveto, Romain Robbes, editors, Proceedings of the 20th Working Conference on Reverse Engineering (WCRE 2013), pages 493–494, IEEE, October 2013.
[BibTeX] [PDF(open)] [DOI(closed)] [IEEEXplore(closed)] [Scholar]
52(open). Vadim Zaytsev.
Negotiated Grammar Evolution. Draft for the Special issue on Extreme Modeling of The Journal of Object Technology (JOT) 2014. In print.
[BibTeX] [PDF(open)]
51(open). Vadim Zaytsev.
The Grammar Hammer of 2012, Computing Research Repository (CoRR), volume 1212.4446, pages 1–32, ACM, December 2012.
[BibTeX] [PDF(open)] [arXiv(open)] [CWI(open)] [Scholar] [SLPS(open)]
50(open). Denise Jansen, Vadim Zaytsev, editors.
Post-proceedings of the Sixth Wikimedia Conference Netherlands (WCN 2012), Wikimedia Foundation Netherlands, November 2012. ISSN 2213-9400. In Dutch.
[BibTeX] [Online(open)] [PDF] [Scholar]
49(open). Vadim Zaytsev.
Negotiated Grammar Transformation. In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Post-proceedings of the Extreme Modeling Workshop (XM 2012), ACM Digital Library, November 2012.
[BibTeX] [PDF(open)] [DOI(closed)] [Scholar] [Talk]
48(open). Vadim Zaytsev.
Renarrating Linguistic Architecture: A Case Study. In Cécile Hardebolle, Eugene Syriani, Jonathan Sprinkle, Tamás Mészáros, editors, Post-proceedings of the Sixth International Workshop on Multi-Paradigm Modeling (MPM 2012), ACM Digital Library, November 2012. ISBN 978-1-4503-1805-1.
[BibTeX] [PDF(open)] [DOI(closed)] [Scholar]
47(open). Denise Jansen, Vadim Zaytsev, editors.
Proceedings of the Sixth Wikimedia Conference Netherlands (WCN 2012), Wikimedia Foundation Netherlands, November 2012. ISSN 2212-5485. In Dutch.
[BibTeX] [PDF(open)] [CWI(open)]
46. Vadim Zaytsev.
Grammar Zoo: A Repository of Experimental Grammarware. Draft for the Fifth Special issue on Experimental Software and Toolkits of Science of Computer Programming (SCP EST5) 2014. Pending second revision.
[BibTeX]
45(open). Vadim Zaytsev.
Negotiated Grammar Transformation. In Juan De Lara, Davide Di Ruscio, Alfonso Pierantonio, editors, Extreme Modeling Workshop (XM 2012), Dipartimento di Informatica, Università degli Studi dell’Aquila, October 2012.
[BibTeX] [PDF(open)] [Online(open)] [CWI(open)] [HAL] [Programme] [Talk] [Talk]
44(open). Vadim Zaytsev.
Renarrating Linguistic Architecture: A Case Study. In Cécile Hardebolle, Eugene Syriani, Jonathan Sprinkle, Tamás Mészáros, editors, Sixth International Workshop on Multi-Paradigm Modeling (MPM 2012), Automatizálási és Alkalmazott Informatikai Tanszék, Budapesti Műszaki és Gazdaságtudományi Egyetem, October 2012.
[BibTeX] [PDF(open)] [Online(open)] [CWI(open)] [HAL] [Programme] [Talk] [Talk]
43(open). Vadim Zaytsev.
Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided, Computing Research Repository (CoRR), volume 1207.6541, pages 1–44, ACM, July 2012.
[BibTeX] [PDF(open)] [arXiv(open)] [CWI(open)] [DOI(open)] [HAL] [Scholar] [Twitter] [4sq] [SLPS(open)] [Talk] [Talk]
42(open). Vadim Zaytsev.
Notation-Parametric Grammar Recovery. In Anthony Sloane, Suzana Andova, editors, Post-proceedings of the 12th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2012), ACM Digital Library, June 2012.
[BibTeX] [PDF(open)] [CWI(open)] [DOI(closed)] [Scholar] [Talk] [Talk] [Talk]
41(open). Vadim Zaytsev.
Language Evolution, Metasyntactically, Electronic Communications of the European Association of Software Science and Technology (EC-EASST), volume 49 (Bidirectional Transformations), EASST, 2012. ISSN 1863-2122.
[BibTeX] [PDF(open)] [Online(open)] [CWI(open)] [HAL] [Scholar] [SLPS(open)] [Talk]
40(open). Jeroen van den Bos, Davy Landman, Karin Blankers, Paul Klint, Atze van der Ploeg, Tijs van der Storm, Jurgen Vinju, Vadim Zaytsev.
LEGO Turing Machine. June 2012.
[BibTeX] [Online] [Video] [Code(open)]
39(open). Vadim Zaytsev.
Notation-Parametric Grammar Recovery. In Anthony Sloane, Suzana Andova, editors, Pre-proceedings of the 12th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2012), pages 105–118, Institute of Cybernetics at Tallinn University of Technology, March 2012.
[BibTeX] [PDF(open)] [CWI(open)] [DOI(open)] [HAL]
38(open). Vadim Zaytsev.
BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions. In Sascha Ossowski, Paola Lecca, editors, Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012), pages 1910–1915, ACM, March 2012. ISBN 978-1-4503-0857-1.
[BibTeX] [PDF(open)] [CWI(open)] [DOI(closed)] [HAL] [Scholar] [Twitter] [Talk] [Talk]
37(open). Vadim Zaytsev.
Language Evolution, Metasyntactically. In Frank Hermann, Janis Voigtländer, editors, Pre-proceedings of the First International Workshop on Bidirectional Transformation (BX 2012), Institute of Cybernetics at Tallinn University of Technology, March 2012.
[BibTeX] [PDF(open)] [CWI(open)] [DOI(open)] [Twitter] [HAL]
36(open). Jurgen Vinju, Paul Klint, Tijs van der Storm, Bas Basten, Jeroen van den Bos, Mark Hills, Arnold Lankamp, Atze van der Ploeg, Davy Landman, Vadim Zaytsev, Anastasia Izmaylova, Anya Helene Bagge, Bert Lisser.
Rascal 0.4. 2011.
[BibTeX] [Online] [CWI(open)] [Scholar]
35(open). Vadim Zaytsev.
Wikimedia Conference Netherlands 2011. Wikimedia Foundation Netherlands Post-conference Evaluation Report, 2011. 18 pages. In Dutch.
[BibTeX] [PDF(open)] [Online(open)]
34(open). Vadim Zaytsev, editor.
Post-proceedings of the Fifth Wikimedia Conference Netherlands (WCN 2011), Wikimedia Foundation Netherlands, November 2011. ISSN 2213-9400. 15 pages. In Dutch.
[BibTeX] [PDF(open)] [Online(open)] [Scholar]
33(open). Vadim Zaytsev, editor.
Proceedings of the Fifth Wikimedia Conference Netherlands (WCN 2011), Wikimedia Foundation Netherlands, November 2011. ISSN 2212-5485. 14 pages. In Dutch.
[BibTeX] [PDF(open)] [CWI(open)]
32(open). Bernd Fischer, Ralf Lämmel, Vadim Zaytsev.
Comparison of Context-free Grammars Based on Parsing Generated Test Data. In Uwe Aßmann, Anthony Sloane, editors, Post-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), LNCS 6940, pages 324–343, Springer, Heidelberg, 2012.
[BibTeX] [Abstract] [PDF(open)] [CWI(open)] [DOI(closed)] [Data(open)] [HAL] [Scholar] [SLPS(open)] [Rascal] [Twitter] [Talk]
31(open). Wikiversity (Spider).
The Future of Wikiversity. Contributed in 2011. In English and Russian.
[BibTeX] [English(open)] [Russian(open)]
30(open). Vadim Zaytsev.
MediaWiki Grammar Recovery, Computing Research Repository (CoRR), volume 1107.4661, pages 1–47, ACM, July 2011.
[BibTeX] [PDF(open)] [arXiv(open)] [CWI(open)] [researchr] [Scholar] [SLPS(open)]
29(open). Wikimania (Spider).
Wiki Migration. Contributed in 2011. Presentation abstract.
[BibTeX] [Abstract] [Reviews] [Schedule] [Rascal]
28(open). Bernd Fischer, Ralf Lämmel, Vadim Zaytsev.
Comparison of Context-free Grammars Based on Parsing Generated Test Data. In Uwe Aßmann, João Saraiva, Anthony Sloane, editors, Pre-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), pages 323–342, Centro de Ciências e Tecnologias de Computação, July 2011.
[BibTeX] [Abstract] [PDF(open)] [CWI(open)] [Data(open)] [SLPS(open)] [Rascal] [Talk] [Talk] [Talk]
27(open). Ralf Lämmel, Vadim Zaytsev.
Recovering Grammar Relationships for the Java Language Specification, Software Quality Journal (SQJ), volume 19, number 2 (Section on Source Code Analysis and Manipulation), pages 333–378, Springer Netherlands, March 2011. ISSN 0963-9314.
[BibTeX] [Abstract] [PDF(open)] [CWI(open)] [DOI(closed)] [ACM(closed)] [IEEEXplore(closed)] [Scholar] [SLPS(open)] [Talk] [Talk] [Talk] [Talk]
26(open). Vadim Zaytsev.
Language Convergence Infrastructure. In João Miguel Fernandes, Ralf Lämmel, Joost Visser, João Saraiva, editors, Post-proceedings of the Third International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), LNCS 6491, pages 481–497, Springer-Verlag, January 2011.
[BibTeX] [PDF(open)] [CWI(open)] [DOI(closed)] [ACM(closed)] [researchr] [Scholar] [SLPS(open)] [Talk] [Talk]
25(open). Vadim Zaytsev, Ralf Lämmel.
A Unified Format for Language Documents. In Brian A. Malloy, Steffen Staab, Mark G. J. van den Brand, editors, Post-proceedings of the Third International Conference on Software Language Engineering (SLE 2010), LNCS 6563, pages 206–225, Springer-Verlag, January 2011.
[BibTeX] [Abstract] [PDF(open)] [CWI(open)] [DOI(closed)] [ACM(closed)] [Scholar] [researchr] [SS⇒LDF(open)] [SLPS(open)]
24(open). Vadim Zaytsev.
Recovery, Convergence and Documentation of Languages. PhD thesis, Vrije Universiteit, October 2010.
[BibTeX] [PDF(open)] [VU-DARE(open)] [researchr] [Scholar] [Acknowledgers] [Twitter] [Facebook]
23(open). Vadim Zaytsev, Ralf Lämmel.
A Unified Format for Language Documents. In Paul M. E. De Bra, Jack J. van Wijk, editors, Pre-proceedings of the Third International Conference on Software Language Engineering (SLE 2010), Computer Science Reports 10–12, Technische Universiteit Eindhoven, October 2010.
[BibTeX] [Abstract] [PDF(open)] [researchr] [SS⇒LDF(open)] [SLPS(open)] [Talk]
22(open). Ralf Lämmel, Vadim Zaytsev.
Recovering Grammar Relationships for the Java Language Specification, Computing Research Repository (CoRR), volume 1008.4188, pages 1–46, ACM, August 2010.
[BibTeX] [Abstract] [PDF(open)] [arXiv(open)] [researchr] [SLPS(open)]
21(open). Ralf Lämmel, Vadim Zaytsev.
Reverse Engineering Grammar Relationships, Softwaretechnik-Trends, volume 30, number 2 (Bericht und Beiträge des gemeinsamen Workshops Software-Reengineering und Design for Future), Fachgruppe Software-Reengineering (FG SRE), May 2010. ISSN 0720-8928. Extended abstract, 2 pages.
[BibTeX] [PDF(open)] [STT(open)] [Scholar] [SLPS(open)] [Talk]
20(open). Ralf Lämmel, Vadim Zaytsev.
Recovering Grammar Relationships for the Java Language Specification. In Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009), pages 178–186, IEEE, September 2009.
[BibTeX] [Abstract] [PDF(open)] [DOI(closed)] [ACM(closed)] [Award] [researchr] [Academic] [Scholar] [SLPS(open)] [Talk] [Talk]
19(open). Vadim Zaytsev.
XBGF Reference Manual: BGF Transformation Operator Suite. August 2009.
[BibTeX] [Online(open)] [Talk] [Talk] [Talk]
18(open). Vadim Zaytsev.
Language Convergence Infrastructure. In Pre-proceedings of the Third International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), pages 399–400, Springer, July 2009. Extended abstract.
[BibTeX] [PDF(open)] [researchr] [SLPS(open)]
17(closed). Chris Verhoef, Vadim Zaytsev.
Language-Parametric Program Restructuring. NWO Final Scientific Report, 2009. 3 pages.
[LPPR]
16(open). Ralf Lämmel, Vadim Zaytsev.
An Introduction to Grammar Convergence. In Michael Leuschel, Heike Wehrheim, editors, Proceedings of the Seventh International Conference on Integrated Formal Methods (iFM 2009), LNCS 5423, pages 246–260, Springer-Verlag, February 2009.
[BibTeX] [Abstract] [PDF(open)] [DOI(closed)] [ACM(closed)] [researchr] [Academic] [Scholar] [SLPS(open)] [Talk] [Talk] [Talk] [Talk] [Talk] [Talk] [Talk]
15(open). Liudmila Zaytseva, Vadim Zaytsev.
Methods and Tools for Predicting Working Modes of Railroad Power-supply Systems. In Proceedings of the IET International Conference on Railway Condition Monitoring (RCM 2006), pages 63–66, IET, November 2006.
[BibTeX] [PDF(open)] [DOI(closed)]
14(open). Steven Klusener, Vadim Zaytsev.
Language Standardization Needs Grammarware. ISO/IEC JTC1/SC22 Document N3977, 2005.
[BibTeX] [PDF(open)] [OpenStd(open)] [researchr] [Academic] [Scholar] [SC22]
13(open). Wikipedia (Spider, Ornil, Antikon, Dionys, AntonioK, Amart).
Leadbelly. Contributed in 2005. In Russian. Wikipedia's featured article August 24–31, 2005; stripped of the ex-featured status on January 31, 2009.
[PDF(open)] [Online(open)] [Proof] [Nomination] [Denomination]
12(open). Vadim Zaytsev.
Correct C♯ Grammar too Sharp for ISO. In Participants Workshop, Part II of the Pre-proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), pages 154–155, Technical Report, TR-CCTC/DI-36, Universidade do Minho, July 2005. Extended abstract.
[BibTeX] [PDF(open)] [researchr] [Scholar] [Grammar(open)] [LPPR]
11(open). Vadim Zaytsev.
Combinatorial Test Set Generation: Concepts, Implementation, Case Study. Master’s thesis, Universiteit Twente, June 2004.
[BibTeX] [PDF(open)] [researchr] [Scholar]
10(open). Alexander Agranovsky, Vadim Zaytsev, Boris Telesnin, Roman Hady.
Program Verification using Models, Open Systems, volume 12, number 1–2, pages 45–47, December 2003. In Russian.
[BibTeX] [PDF(open)] [Online(open)]
9(open). Vadim Zaytsev.
Modelling and Model Checking of Distributed Systems. Master’s thesis, Rostov State University, June 2003. In Russian.
[BibTeX] [PDF(open)] [researchr]
8. Lioudmila Zaitseva, Vadim Zaitsev.
Computer Estimation of the EM Influence of Railroad AC Traction Networks. In Volume 2 of the Proceedings of the Fifth International Symposium on Electromagnetic Compatibility (EMC Europe 2002), pages 1031–1034, IEEE, September 2002.
[BibTeX]
7(open). Vadim Zaytsev.
Python Lecture Notes. 2002. In Russian.
[BibTeX] [PDF(open)] [PDFs per Lecture(open)] [Old Site(open)]
6(open). Vadim Zaytsev.
Python Programming Language E-Learning Complex. Bachelor’s thesis, Rostov State University, June 2002. In Russian.
[BibTeX] [PDF(open)]
5(open). Vadim Zaytsev, Alexander Litvinenko.
Python as the First Language to Teach. In Proceedings of the Training and Methodological Conference on Modern IT in Teaching, pages 61–65, Rostov State University, 2002. In Russian.
[BibTeX] [PDF(open)] [Talk]
4. Liudmila Zaytseva, Vadim Zaytsev.
Software for New Railroads Power-supply System Working Modes Research. In Proceedings of the Scientific Theoretical Conference for Professors and Teachers “Transport 2001”, the “Automated power-supply systems” section, Part 2, pages 141–143, Rostov State Transport University, April 2001. In Russian.
[BibTeX]
3(open). Ben A. M. Schouten.
Vadim Zaitsev [also credited as “Vadim Botchev” on page 7 of the thesis], FracFeat demonstration interface, http://desk.nl/fracfeat (not online anymore) in: B. A. M. Schouten. Giving Eyes to ICT! or How does a Computer Recognize a Cow? PhD thesis, Universiteit van Amsterdam, March 2001.
[VU-DARE(open)] [Press Release] [Annual Report]
2. Liudmila Zaytseva, Vadim Zaytsev.
Multiconductor AC Systems Electrical Fields Research. In Proceedings of the Second International Conference on Transport Systems Safety, Samara State Transport University, 2000. In Russian.
[BibTeX]
1. Lioudmila Zaitseva, Alexandr Botchev, Vadim Zaitsev.
Electromagnetic Compatibility of a Railroad Power-supply Traction Network and a High-voltage Line. In Proceedings of the Fourth International European Symposium on Electromagnetic Compatibility (EMC Europe 2000), IEEE, September 2000.
[BibTeX]

[Back] Page generated on 02/04/2014. All material on this website is created by Vadim Zaytsev unless stated otherwise.
XHTML 1.0CSS 2.1CC-BY-SA