Dr. Vadim Zaytsev — publications

List of written works and publications (latest first)

Disclaimer: in all papers, the order of the co-authors is determined by the alphabet, unless some special circumstances are involved.
In co-authored publications, yours truly is marked by somewhat more reddish font colour.
In wiki-based publications, all non-minor contributors are listed in the order they appear in the edit history.
Unaccessible, outdated, non-English, superseded, classified, etc. publications are dim.
In bulk:
- [BibTeX] [DBLP] [PubZone] [ACM] [arXiv] [Scholar] [researchr] [CWI] [Microsoft]
By type:
- Journals and books: [51] [49] [46] [45] [34] [33] [27] [24] [11] [10] [9] [6]
- Conference proceedings and post-proceedings: [52] [48] [47] [41] [40] [37] [32] [28] [26] [25] [20] [16] [15] [8] [5] [4] [2] [1]
- Workshops, pre-proceedings, abstracts, reports: [44] [43] [38] [36] [35] [23] [21] [18] [17] [14] [12]
- Web publications and preprints: [50] [42] [39] [31] [30] [29] [22] [19] [13] [7] [3]
- Unpublished: [52] [51] [45]
By topic:
- Promoting programming languages: [5]⇒[7]⇒[6];
- Grammar-based testing: [11]; [28]⇒[32];
- Grammar recovery: [12]; [24]; [30]; [41];
- Language documentation: [14]; [23]⇒[25]; [24];
- Language transformation: [19]; [24];
- Grammar convergence: [16]; [18]⇒[26]; [20]⇒[21]⇒[22]⇒[27]; [24];
- Syntax transformation: [29];
- Model checking: [9]⇒[10];
- Wiki technology: [29]; [31];
- Railway research: [1]; [2]; [4]; [8]; [15];
- Web enabling, accessibility: [3];
- Blues: [13];
By venue:
- arXiv: [22]; [30]; [42];
- BX: [40];
- ICSM: [42];
- EMC: [1]; [8];
- GTTSE: [12]; [18]; [26];
- IFM: [16];
- LDTA: [38]; [41];
- OS: [10];
- RCM: [15];
- SAC: [37];
- SCAM: [20]; ;
- SLE: [23]; [25]; [28]; [32];
- SQJ: [27];
- WCN: [33]; [35];
- WM: [29];
- WSR: [21];
By year:
- 2013: [52] [51] [45]
- 2012: [50] [49] [48] [47] [46] [44] [43] [42] [41] [40] [39] [38] [37] [36] [32]
- 2011: [35] [34] [33] [31] [30] [29] [28] [27] [26] [25]
- 2010: [24] [23] [22] [21]
- 2009: [20] [19] [18] [17] [16]
- 2006: [15]
- 2005: [14] [13] [12]
- 2004: [11]
- 2003: [10] [9]
- 2002: [8] [7] [6] [5]
- 2001: [4] [3]
- 2000: [2] [1]

Guided Grammar Convergence. Draft for the Ninth joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), March 2013. Under review.

[BibTeX] [Talk] [Talk] [Talk]

. Vadim Zaytsev.

Negotiated Grammar Transformation. Draft for the Special issue on Extreme Modeling of The Journal of Object Technology (JOT), January 2013. Under review.

[BibTeX] [PDF (open)

] [Talk]

. Vadim Zaytsev.

The Grammar Hammer of 2012, Computing Research Repository (CoRR), volume 1212.4446, pages 1–32, ACM, December 2012.

[BibTeX] [PDF (open)

] [arXiv

] [CWI

] [SLPS

]

. 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)

]

. 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. In print.

[BibTeX] [PDF (open)

] [Talk]

. 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. In print.

[BibTeX] [PDF (open)

]

46. 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] [CWI (open)

]

. 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) 2013. Under review.

[BibTeX] [PDF (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

] [CWI

] [Programme] [Talk] [Talk]

. 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

] [CWI

] [Programme] [Talk] [Talk]

. 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

] [CWI

] [DOI

] [SLPS

] [Twitter] [4sq] [Talk] [Talk]

. 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

] [DOI

] [Talk] [Talk] [Talk]

. Vadim Zaytsev.

Language Evolution, Metasyntactically, Electronic Communications of the European Association of Software Science and Technology (EC-EASST), volume 49 (Bidirectional Transformations), EASST, 2012.

[BibTeX] [PDF (open)

] [Online

] [CWI

] [SLPS

] [Talk]

. 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)

]

. 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

] [DOI

]

. 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

] [DOI

] [Twitter] [Talk] [Talk]

. 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

] [DOI

] [Twitter]

. Vadim Zaytsev.

Wikimedia Conference Netherlands 2011. Wikimedia Foundation Netherlands Post-conference Evaluation Report, 2011. 18 pages. In Dutch.

[BibTeX] [PDF (open)

] [Online

]

34. Vadim Zaytsev, editor.

Post-proceedings of the Fifth Wikimedia Conference Netherlands (WCN 2011), Wikimedia Foundation Netherlands, November 2011. ISSN 2213-9400. In Dutch.

[BibTeX] [PDF]

. Vadim Zaytsev, editor.

Proceedings of the Fifth Wikimedia Conference Netherlands (WCN 2011), Wikimedia Foundation Netherlands, November 2011. ISSN 2212-5485. In Dutch.

[BibTeX] [Online (open)

] [CWI

]

. 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

] [DOI

] [Data

] [SLPS

] [Rascal] [Twitter] [Talk]

. Wikiversity (Spider).

The Future of Wikiversity. Contributed in 2011. In English and Russian.

[BibTeX] [English (open)

] [Russian (open)

]

. Vadim Zaytsev.

MediaWiki Grammar Recovery, Computing Research Repository (CoRR), volume 1107.4661, pages 1–47, ACM, July 2011.

[BibTeX] [PDF (open)

] [arXiv

] [CWI

] [researchr] [SLPS (open)

]

. Wikimania (Spider).

Wiki Migration. Contributed in 2011. Presentation abstract.

[BibTeX] [Abstract] [Reviews] [Schedule] [Rascal]

. 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

] [Data

] [SLPS

] [Rascal] [Talk] [Talk] [Talk]

. 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.

[BibTeX] [Abstract] [PDF (open)

] [CWI

] [DOI

] [HTML

] [ACM

] [SLPS

] [Talk] [Talk] [Talk] [Talk]

. 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

] [DOI

] [ACM

] [researchr] [SLPS (open)

] [Talk] [Talk]

. 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

] [DOI

] [ACM

] [SS⇒LDF

] [SLPS

]

. Vadim Zaytsev.

Recovery, Convergence and Documentation of Languages. PhD thesis, Vrije Universiteit, October 2010.

[BibTeX] [PDF (open)

] [VU-DARE (open)

] [researchr] [Acknowledgers] [Twitter] [Facebook]

. 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)

] [PDF

] [researchr] [SS⇒LDF (open)

] [SLPS

] [Talk]

. 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

] [researchr] [SLPS (open)

]

. Ralf Lämmel, Vadim Zaytsev.

Reverse Engineering Grammar Relationships. In 12th Workshop on Software-Reengineering (WSR 2010), GI-Fachgruppe Software-Reengineering (SRE), May 2010. Extended abstract, 4 pages.

[BibTeX] [PDF (open)

] [STT

] [SLPS

] [Talk]

. 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

] [ACM

] [Award] [researchr] [Microsoft] [SLPS (open)

] [Talk] [Talk]

. Vadim Zaytsev.

XBGF Reference Manual: BGF Transformation Operator Suite. August 2009.

[BibTeX] [Online (open)

] [Talk] [Talk] [Talk]

. 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)

]

. Chris Verhoef, Vadim Zaytsev.

Language-Parametric Program Restructuring. NWO Final Scientific Report, 2009. 3 pages.

[LPPR]

. 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

] [ACM

] [researchr] [Microsoft] [SLPS (open)

] [Talk] [Talk] [Talk] [Talk] [Talk] [Talk] [Talk]

. 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

]

. Steven Klusener, Vadim Zaytsev.

Language Standardization Needs Grammarware. ISO/IEC JTC1/SC22 Document N3977, 2005.

[BibTeX] [PDF (open)

] [OpenStd (open)

] [researchr] [Microsoft] [SC22]

. 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

] [Online

] [Proof] [Nomination] [Denomination]

. 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] [Grammar (open)

] [LPPR]

. Vadim Zaytsev.

Combinatorial Test Set Generation: Concepts, Implementation, Case Study. Master’s thesis, Universiteit Twente, June 2004.

[BibTeX] [PDF (open)

] [researchr]

. 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

]

. 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]

. Vadim Zaytsev.

Python Lecture Notes. 2002. In Russian.

[BibTeX] [PDF (open)

] [PDFs per Lecture (open)

] [Old Site (open)

]

. Vadim Zaytsev.

Python Programming Language E-Learning Complex. Bachelor’s thesis, Rostov State University, June 2002. In Russian.

[BibTeX] [PDF (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]

. 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

] [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 22/03/2013. All material on this website is created by Vadim Zaytsev unless stated otherwise.