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]	A. Bungau and R. J. Barlow, “Large Simulation of High Order Short Range Wakefields”, in Proc. EPAC'06, Edinburgh, UK, Jun. 2006, paper WEPCH123, pp. 2209-2211. 

[n]	M. Gordon, A. Bartnik, J. Maxson, K. Shen, M. Andorf, and M. Kaemingk, “Update on the MEDUSA ultrafast electron diffraction beamline at Cornell”, in Proc. IPAC'24, Nashville, TN, USA, May 2024, pp. 1999-2002. doi:10.18429/JACoW-IPAC2024-WEPC19

[n]	K. P. Mondal, M. Goawei, L. Cultrera, J. Walsh, R. Bagy, and Y. Yang, “Development of sodium potassium antimonide photocathodes for use of coherent electron cooling”, in Proc. NAPAC'25, Sacramento, California, USA, Aug. 2025, pp. 997-1000. doi:10.18429/JACoW-NAPAC2025-THP025

[n]	E. Blanco Vinuela, D. Darvas, and Gy. Sallai, “Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, pp. 1108. doi:10.18429/JACoW-ICALEPCS2019-WEPHA018

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{Bungau:EPAC06-WEPCH123} \bibitem{Bungau:EPAC06-WEPCH123} A. Bungau and R. J. Barlow, \textquotedblleft{Large Simulation of High Order Short Range Wakefields}\textquotedblright, in \emph{Proc. EPAC’06}, Edinburgh, UK, Jun. 2006, paper WEPCH123, pp. 2209--2211. %\cite{Gordon:IPAC24-WEPC19} \bibitem{Gordon:IPAC24-WEPC19} M. Gordon, A. Bartnik, J. Maxson, K. Shen, M. Andorf, and M. Kaemingk, \textquotedblleft{Update on the MEDUSA ultrafast electron diffraction beamline at Cornell}\textquotedblright, in \emph{Proc. IPAC’24}, Nashville, TN, USA, May 2024, pp. 1999--2002. \doi{10.18429/JACoW-IPAC2024-WEPC19} %\cite{Mondal:NAPAC25-THP025} \bibitem{Mondal:NAPAC25-THP025} K. P. Mondal, M. Goawei, L. Cultrera, J. Walsh, R. Bagy, and Y. Yang, \textquotedblleft{Development of sodium potassium antimonide photocathodes for use of coherent electron cooling}\textquotedblright, in \emph{Proc. NAPAC’25}, Sacramento, California, USA, Aug. 2025, pp. 997--1000. \doi{10.18429/JACoW-NAPAC2025-THP025} %\cite{Blanco Vinuela:ICALEPCS19-WEPHA018} \bibitem{Blanco Vinuela:ICALEPCS19-WEPHA018} E. Blanco Vinuela, D. Darvas, and Gy. Sallai, \textquotedblleft{Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced}\textquotedblright, in \emph{Proc. ICALEPCS’19}, New York, NY, USA, Oct. 2019, pp. 1108. \doi{10.18429/JACoW-ICALEPCS2019-WEPHA018}

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{bungau:epac06-wepch123, author = {A. Bungau and R. J. Barlow}, title = {{Large Simulation of High Order Short Range Wakefields}}, booktitle = {Proc. EPAC'06}, pages = {2209--2211}, paper = {WEPCH123}, venue = {Edinburgh, UK}, series = {European Particle Accelerator Conference}, number = {10}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {7}, year = {2006}, language = {english} } @inproceedings{gordon:ipac24-wepc19, author = {M. Gordon and A. Bartnik and J. Maxson and K. Shen and M. Andorf and M. Kaemingk}, title = {{Update on the MEDUSA ultrafast electron diffraction beamline at Cornell}}, booktitle = {Proc. IPAC'24}, pages = {1999--2002}, paper = {WEPC19}, venue = {Nashville, TN, USA}, series = {International Particle Accelerator Conference}, number = {15}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {7}, year = {2024}, issn = {2673-5490}, isbn = {978-3-95-450247-9}, doi = {10.18429/JACoW-IPAC2024-WEPC19}, language = {english} } @inproceedings{mondal:napac25-thp025, author = {K. P. Mondal and M. Goawei and L. Cultrera and J. Walsh and R. Bagy and Y. Yang}, title = {{Development of sodium potassium antimonide photocathodes for use of coherent electron cooling}}, booktitle = {Proc. NAPAC'25}, pages = {997--1000}, paper = {THP025}, venue = {Sacramento, California, USA}, series = {North American Particle Accelerator Conference}, number = {6}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {1}, year = {2026}, issn = {2673-7000}, isbn = {978-3-95-450261-5}, doi = {10.18429/JACoW-NAPAC2025-THP025}, language = {english} } @inproceedings{blanco vinuela:icalepcs19-wepha018, author = {E. Blanco Vinuela and D. Darvas and Gy. Sallai}, title = {{Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced}}, booktitle = {Proc. ICALEPCS'19}, pages = {1108}, paper = {WEPHA018}, 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-WEPHA018}, url = {https://jacow.org/icalepcs2019/papers/WEPHA018.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.
• A. Bungau and R. J. Barlow, “Large Simulation of High Order Short Range Wakefields”, in Proc. 10th European Particle Accelerator Conf. (EPAC'06), Edinburgh, UK, Jun. 2006, paper WEPCH123, pp. 2209-2211.
• M. Gordon, A. Bartnik, J. Maxson, K. Shen, M. Andorf, and M. Kaemingk, “Update on the MEDUSA ultrafast electron diffraction beamline at Cornell”, in Proc. 15th Int. Particle Accelerator Conf. (IPAC'24), Nashville, TN, USA, May 2024, paper WEPC19, pp. 1999-2002.
• K. P. Mondal, M. Goawei, L. Cultrera, J. Walsh, R. Bagy, and Y. Yang, “Development of sodium potassium antimonide photocathodes for use of coherent electron cooling”, in Proc. 6th North American Particle Accelerator Conference (NAPAC'25), Sacramento, California, USA, Aug. 2025, pp. 997-1000.
• E. Blanco Vinuela, D. Darvas, and Gy. Sallai, “Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 1108.