Reference Search

Favourites

For Word

[n]	E. Blanco Vinuela, D. Darvas, and V. Molnar, “PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, pp. 21. doi:10.18429/JACoW-ICALEPCS2019-MOBPP01

[n]	B. Bernstein and I. Smith, “Aurora, an Electron Accelerator”, in Proc. PAC'73, San Francisco, CA, USA, Mar. 1973, pp. 294-301. 

[n]	D. Horan, R. Kustom, and M. Ferguson, “Performance of a 2-Megawatt High Voltage Test Load”, in Proc. PAC'95, Dallas, TX, USA, May 1995, paper RPP12, pp. 1988-1990. 

[n]	S. Yunus, “Beam Transport: Routing of High Stability Laser Beams”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, paper WEPHA169, pp. XX-XX. 

[n]	V. V. Anashin et al., “Design of the VEPP-2000 Vacuum System”, in Proc. APAC'04, Gyeongju, Korea, Mar. 2004, paper THP16043, pp. XX-XX. 

[n]	R. Xiang et al., “Status of the 3?¢ Cell Superconducting RF Gun Project in Rossendorf”, in Proc. PAC'05, Knoxville, TN, USA, May 2005, paper WPAP007, pp. 1081-1083. 

[n]	P. Gladkikh et al., “Lattice Design for the Compact X-Ray  Source based on Compton Scattering”, in Proc. EPAC'00, Vienna, Austria, Jun. 2000, paper WEP2B11, pp. 696-698. 

[n]	M. L. Gibbs, W. S. Colocho, A. Osman, and J. Shtalenkova, “A Model-Based Simulator for the LCLS Accelerator”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, pp. 774. doi:10.18429/JACoW-ICALEPCS2019-TUCPL04

For LaTeX

%\cite{Blanco Vinuela:ICALEPCS19-MOBPP01} \bibitem{Blanco Vinuela:ICALEPCS19-MOBPP01} E. Blanco Vinuela, D. Darvas, and V. Molnar, \textquotedblleft{PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs}\textquotedblright, in \emph{Proc. ICALEPCS’19}, New York, NY, USA, Oct. 2019, pp. 21. \doi{10.18429/JACoW-ICALEPCS2019-MOBPP01} %\cite{Bernstein:PAC73} \bibitem{Bernstein:PAC73} B. Bernstein and I. Smith, \textquotedblleft{Aurora, an Electron Accelerator}\textquotedblright, in \emph{Proc. PAC’73}, San Francisco, CA, USA, Mar. 1973, pp. 294--301. %\cite{Horan:PAC95-RPP12} \bibitem{Horan:PAC95-RPP12} D. Horan, R. Kustom, and M. Ferguson, \textquotedblleft{Performance of a 2-Megawatt High Voltage Test Load}\textquotedblright, in \emph{Proc. PAC’95}, Dallas, TX, USA, May 1995, paper RPP12, pp. 1988--1990. %\cite{Yunus:ICALEPCS19-WEPHA169} \bibitem{Yunus:ICALEPCS19-WEPHA169} S. Yunus, \textquotedblleft{Beam Transport: Routing of High Stability Laser Beams}\textquotedblright, in \emph{Proc. ICALEPCS’19}, New York, NY, USA, Oct. 2019, paper WEPHA169, pp. XX--XX. %\cite{Anashin:APAC04-THP16043} \bibitem{Anashin:APAC04-THP16043} V. V. Anashin \emph{et al.}, \textquotedblleft{Design of the VEPP-2000 Vacuum System}\textquotedblright, in \emph{Proc. APAC’04}, Gyeongju, Korea, Mar. 2004, paper THP16043, pp. XX--XX. %\cite{Xiang:PAC05-WPAP007} \bibitem{Xiang:PAC05-WPAP007} R. Xiang \emph{et al.}, \textquotedblleft{Status of the 3?¢ Cell Superconducting RF Gun Project in Rossendorf}\textquotedblright, in \emph{Proc. PAC’05}, Knoxville, TN, USA, May 2005, paper WPAP007, pp. 1081--1083. %\cite{Gladkikh:EPAC00-WEP2B11} \bibitem{Gladkikh:EPAC00-WEP2B11} P. Gladkikh \emph{et al.}, \textquotedblleft{Lattice Design for the Compact X-Ray Source based on Compton Scattering}\textquotedblright, in \emph{Proc. EPAC’00}, Vienna, Austria, Jun. 2000, paper WEP2B11, pp. 696--698. %\cite{Gibbs:ICALEPCS19-TUCPL04} \bibitem{Gibbs:ICALEPCS19-TUCPL04} M. L. Gibbs, W. S. Colocho, A. Osman, and J. Shtalenkova, \textquotedblleft{A Model-Based Simulator for the LCLS Accelerator}\textquotedblright, in \emph{Proc. ICALEPCS’19}, New York, NY, USA, Oct. 2019, pp. 774. \doi{10.18429/JACoW-ICALEPCS2019-TUCPL04}

For BibTeX

@inproceedings{blanco vinuela:icalepcs19-mobpp01, author = {E. Blanco Vinuela and D. Darvas and V. Molnar}, title = {{PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs}}, booktitle = {Proc. ICALEPCS'19}, pages = {21}, paper = {MOBPP01}, venue = {New York, NY, USA}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {17}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {10}, year = {2020}, issn = {2226-0358}, isbn = {978-3-95-450209-7}, doi = {10.18429/JACoW-ICALEPCS2019-MOBPP01}, url = {https://jacow.org/icalepcs2019/papers/MOBPP01.pdf}, language = {english} } @inproceedings{bernstein:pac73, author = {B. Bernstein and I. Smith}, title = {{Aurora, an Electron Accelerator}}, booktitle = {Proc. PAC'73}, pages = {294--301}, paper = {}, venue = {San Francisco, CA, USA}, series = {Particle Accelerator Conference}, number = {5}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {6}, year = {1973}, language = {english} } @inproceedings{horan:pac95-rpp12, author = {D. Horan and R. Kustom and M. Ferguson}, title = {{Performance of a 2-Megawatt High Voltage Test Load}}, booktitle = {Proc. PAC'95}, pages = {1988--1990}, paper = {RPP12}, venue = {Dallas, TX, USA, May 1995}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{yunus:icalepcs19-wepha169, author = {S. Yunus}, title = {{Beam Transport: Routing of High Stability Laser Beams}}, booktitle = {Proc. ICALEPCS'19}, paper = {WEPHA169}, venue = {New York, NY, USA}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {17}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {10}, year = {2020}, issn = {2226-0358}, isbn = {978-3-95-450209-7}, language = {english} } @inproceedings{anashin:apac04-thp16043, author = {V. V. Anashin and others}, title = {{Design of the VEPP-2000 Vacuum System}}, booktitle = {Proc. APAC'04}, paper = {THP16043}, venue = {Gyeongju, Korea, Mar. 2004}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/a04/papers/THP16043.pdf}, language = {english} } @inproceedings{xiang:pac05-wpap007, author = {R. Xiang and others}, title = {{Status of the 3?¢ Cell Superconducting RF Gun Project in Rossendorf}}, booktitle = {Proc. PAC'05}, pages = {1081--1083}, paper = {WPAP007}, venue = {Knoxville, TN, USA, May 2005}, series = {Particle Accelerator Conference}, number = {21}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/p05/papers/WPAP007.pdf}, language = {english} } @inproceedings{gladkikh:epac00-wep2b11, author = {P. Gladkikh and others}, title = {{Lattice Design for the Compact X-Ray Source based on Compton Scattering}}, booktitle = {Proc. EPAC'00}, pages = {696--698}, paper = {WEP2B11}, venue = {Vienna, Austria}, series = {European Particle Accelerator Conference}, number = {7}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {8}, year = {2000}, url = {https://jacow.org/e00/papers/WEP2B11.pdf}, language = {english} } @inproceedings{gibbs:icalepcs19-tucpl04, author = {M. L. Gibbs and W. S. Colocho and A. Osman and J. Shtalenkova}, title = {{A Model-Based Simulator for the LCLS Accelerator}}, booktitle = {Proc. ICALEPCS'19}, pages = {774}, paper = {TUCPL04}, venue = {New York, NY, USA}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {17}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {10}, year = {2020}, issn = {2226-0358}, isbn = {978-3-95-450209-7}, doi = {10.18429/JACoW-ICALEPCS2019-TUCPL04}, url = {https://jacow.org/icalepcs2019/papers/TUCPL04.pdf}, language = {english} }

References

• E. Blanco Vinuela, D. Darvas, and V. Molnar, “PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 21.
• B. Bernstein and I. Smith, “Aurora, an Electron Accelerator”, in Proc. 5th Particle Accelerator Conf. (PAC'73), San Francisco, CA, USA, Mar. 1973, pp. 294-301.
• D. Horan, R. Kustom, and M. Ferguson, “Performance of a 2-Megawatt High Voltage Test Load”, in Proc. 16th Particle Accelerator Conf. (PAC'95), Dallas, TX, USA, May 1995, paper RPP12, pp. 1988-1990.
• S. Yunus, “Beam Transport: Routing of High Stability Laser Beams”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, paper WEPHA169, pp. XX-XX.
• V. V. Anashin et al., “Design of the VEPP-2000 Vacuum System”, in Proc. 3rd Asian Particle Accelerator Conf. (APAC'04), Gyeongju, Korea, Mar. 2004, paper THP16043, pp. XX-XX.
• R. Xiang et al., “Status of the 3?¢ Cell Superconducting RF Gun Project in Rossendorf”, in Proc. 21st Particle Accelerator Conf. (PAC'05), Knoxville, TN, USA, May 2005, paper WPAP007, pp. 1081-1083.
• P. Gladkikh et al., “Lattice Design for the Compact X-Ray Source based on Compton Scattering”, in Proc. 7th European Particle Accelerator Conf. (EPAC'00), Vienna, Austria, Jun. 2000, paper WEP2B11, pp. 696-698.
• M. L. Gibbs, W. S. Colocho, A. Osman, and J. Shtalenkova, “A Model-Based Simulator for the LCLS Accelerator”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 774.