Reference Search

Favourites

For Word

[n]	J-C. Tournier, B. Fern?índez Adiego, and I. D. Lopez-Miguel, “PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller”, in Proc. ICALEPCS'21, Shanghai, China, Oct. 2021, pp. 248-252. doi:10.18429/JACoW-ICALEPCS2021-MOPV042

[n]	V. K. Plotnikov, “Engineering Design of ITEP Proton Linac for Nuclear Waste Transmutation”, in Proc. LINAC'96, Geneva, Switzerland, Aug. 1996, paper MOP80, pp. 252-254. 

[n]	S. H. Ananian, R. H. Manukian, A. R. Matevosian, V. T. Nikogossian, and A. R. Tumanian, “The Estimation and Control of Closed Orbit in Fast Cycling Sychrotron”, in Proc. PAC'91, San Francisco, CA, USA, May 1991, pp. 1446-1448. 

[n]	J. E. Stovall, “Alignment and Steering Scenarios for the APT Linac”, in Proc. LINAC'96, Geneva, Switzerland, Aug. 1996, paper THP18, pp. 686-688. 

[n]	V. Komarova, L. Sevryukova, M. Tchernov, and I. Zvonarev, “The Influence of the Injection Energy on the Acceleration RF Structure Geometry and the Beam Dynamics of SVAAP”, in Proc. SRF'97, Padova, Italy, Oct. 1997, paper SRF97A31, pp. 269-275. 

[n]	S. Blanchard et al., “LHC Vacuum Supervisory Application for Run 3”, in Proc. ICALEPCS'21, Shanghai, China, Oct. 2021, pp. 459-463. doi:10.18429/JACoW-ICALEPCS2021-TUPV031

[n]	F. Wang, N. V. Mokhov, A. I. Drozhdin, B. Parker, R. Soundranayagam, and R. Schailey, “Consequences of Kicker Failure During HEB to Collider Injection and Possible Mitigation”, in Proc. PAC'93, Washington D.C., USA, Mar. 1993, pp. 1360-1363. 

[n]	M. N. Wilson, “Compact Synchrotron X-Ray Sources”, in Proc. EPAC'90, Nice, France, Jun. 1990, pp. 295-300. 

[n]	B. Urbaniec and L. Burdzanowski, “CERN Controls Configuration Service - Event-Based Processing of Controls Changes”, in Proc. ICALEPCS'21, Shanghai, China, Oct. 2021, pp. 253-256. doi:10.18429/JACoW-ICALEPCS2021-MOPV043

[n]	J. E. Stovall, “An Automated Admittance Measurement at LAMPF”, in Proc. LINAC'72, Los Alamos, NM, USA, Oct. 1972, paper P22, pp. 422-426. 

[n]	Z. C. Zhang et al., “Design of a Superconducting Undulator Magnet Prototype for SSRF”, in Proc. IPAC'13, Shanghai, China, May 2013, paper WEPWA035, pp. 2205-2207. 

[n]	J. Halbritter, “On Extrinsic - Weak Link - Effects in the Surface Impedance of Cuprate and Classical Superconductors”, in Proc. SRF'91, Hamburg, Germany, Aug. 1991, paper SRF91G04, pp. XX-XX. 

[n]	N. I. Tarantin, “NEW METHOD OF ELECTROSTATIC ACCELERATING AND STRONG QUADRUPOLE FOCUSING OF CHARGED PARTICLES ON HIGH VOLTAGE ACCELERATORS OF DIRECT ACTION AND ITS POSSIBLE APPLICATIONS”, in Proc. RuPAC'04, Dubna, Russia, Oct. 2004, paper THBP26, pp. XX-XX. 

[n]	N. N. Kurapov, Ya. V. Bodryashkin, A. S. Cherkasov, I. V. Shorikov, and A. V. Telnov, “System of on-Line Energy Control of Electron Beam for Accelerator”, in Proc. RuPAC2021, Alushta, Crimea, Sep.-Oct. 2021, pp. 446-448. doi:10.18429/JACoW-RuPAC2021-WEPSC57

For LaTeX

%\cite{J-C:ICALEPCS21-MOPV042} \bibitem{J-C:ICALEPCS21-MOPV042} J-C. Tournier, B. Fern?índez Adiego, and I. D. Lopez-Miguel, \textquotedblleft{PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller}\textquotedblright, in \emph{Proc. ICALEPCS’21}, Shanghai, China, Oct. 2021, pp. 248--252. \doi{10.18429/JACoW-ICALEPCS2021-MOPV042} %\cite{Plotnikov:LINAC96-MOP80} \bibitem{Plotnikov:LINAC96-MOP80} V. K. Plotnikov, \textquotedblleft{Engineering Design of ITEP Proton Linac for Nuclear Waste Transmutation}\textquotedblright, in \emph{Proc. LINAC’96}, Geneva, Switzerland, Aug. 1996, paper MOP80, pp. 252--254. %\cite{Ananian:PAC91} \bibitem{Ananian:PAC91} S. H. Ananian, R. H. Manukian, A. R. Matevosian, V. T. Nikogossian, and A. R. Tumanian, \textquotedblleft{The Estimation and Control of Closed Orbit in Fast Cycling Sychrotron}\textquotedblright, in \emph{Proc. PAC’91}, San Francisco, CA, USA, May 1991, pp. 1446--1448. %\cite{Stovall:LINAC96-THP18} \bibitem{Stovall:LINAC96-THP18} J. E. Stovall, \textquotedblleft{Alignment and Steering Scenarios for the APT Linac}\textquotedblright, in \emph{Proc. LINAC’96}, Geneva, Switzerland, Aug. 1996, paper THP18, pp. 686--688. %\cite{Komarova:SRF97-SRF97A31} \bibitem{Komarova:SRF97-SRF97A31} V. Komarova, L. Sevryukova, M. Tchernov, and I. Zvonarev, \textquotedblleft{The Influence of the Injection Energy on the Acceleration RF Structure Geometry and the Beam Dynamics of SVAAP}\textquotedblright, in \emph{Proc. SRF’97}, Padova, Italy, Oct. 1997, paper SRF97A31, pp. 269--275. %\cite{Blanchard:ICALEPCS21-TUPV031} \bibitem{Blanchard:ICALEPCS21-TUPV031} S. Blanchard \emph{et al.}, \textquotedblleft{LHC Vacuum Supervisory Application for Run 3}\textquotedblright, in \emph{Proc. ICALEPCS’21}, Shanghai, China, Oct. 2021, pp. 459--463. \doi{10.18429/JACoW-ICALEPCS2021-TUPV031} %\cite{Wang:PAC93} \bibitem{Wang:PAC93} F. Wang, N. V. Mokhov, A. I. Drozhdin, B. Parker, R. Soundranayagam, and R. Schailey, \textquotedblleft{Consequences of Kicker Failure During HEB to Collider Injection and Possible Mitigation}\textquotedblright, in \emph{Proc. PAC’93}, Washington D.C., USA, Mar. 1993, pp. 1360--1363. %\cite{Wilson:EPAC90} \bibitem{Wilson:EPAC90} M. N. Wilson, \textquotedblleft{Compact Synchrotron X-Ray Sources}\textquotedblright, in \emph{Proc. EPAC’90}, Nice, France, Jun. 1990, pp. 295--300. %\cite{Urbaniec:ICALEPCS21-MOPV043} \bibitem{Urbaniec:ICALEPCS21-MOPV043} B. Urbaniec and L. Burdzanowski, \textquotedblleft{CERN Controls Configuration Service - Event-Based Processing of Controls Changes}\textquotedblright, in \emph{Proc. ICALEPCS’21}, Shanghai, China, Oct. 2021, pp. 253--256. \doi{10.18429/JACoW-ICALEPCS2021-MOPV043} %\cite{Stovall:LINAC72-P22} \bibitem{Stovall:LINAC72-P22} J. E. Stovall, \textquotedblleft{An Automated Admittance Measurement at LAMPF}\textquotedblright, in \emph{Proc. LINAC’72}, Los Alamos, NM, USA, Oct. 1972, paper P22, pp. 422--426. %\cite{Zhang:IPAC13-WEPWA035} \bibitem{Zhang:IPAC13-WEPWA035} Z. C. Zhang \emph{et al.}, \textquotedblleft{Design of a Superconducting Undulator Magnet Prototype for SSRF}\textquotedblright, in \emph{Proc. IPAC’13}, Shanghai, China, May 2013, paper WEPWA035, pp. 2205--2207. %\cite{Halbritter:SRF91-SRF91G04} \bibitem{Halbritter:SRF91-SRF91G04} J. Halbritter, \textquotedblleft{On Extrinsic - Weak Link - Effects in the Surface Impedance of Cuprate and Classical Superconductors}\textquotedblright, in \emph{Proc. SRF’91}, Hamburg, Germany, Aug. 1991, paper SRF91G04, pp. XX--XX. %\cite{Tarantin:RuPAC04-THBP26} \bibitem{Tarantin:RuPAC04-THBP26} N. I. Tarantin, \textquotedblleft{NEW METHOD OF ELECTROSTATIC ACCELERATING AND STRONG QUADRUPOLE FOCUSING OF CHARGED PARTICLES ON HIGH VOLTAGE ACCELERATORS OF DIRECT ACTION AND ITS POSSIBLE APPLICATIONS}\textquotedblright, in \emph{Proc. RuPAC’04}, Dubna, Russia, Oct. 2004, paper THBP26, pp. XX--XX. %\cite{Kurapov:RuPAC2021-WEPSC57} \bibitem{Kurapov:RuPAC2021-WEPSC57} N. N. Kurapov, Ya. V. Bodryashkin, A. S. Cherkasov, I. V. Shorikov, and A. V. Telnov, \textquotedblleft{System of on-Line Energy Control of Electron Beam for Accelerator}\textquotedblright, in \emph{Proc. RuPAC2021}, Alushta, Crimea, Sep.-Oct. 2021, pp. 446--448. \doi{10.18429/JACoW-RuPAC2021-WEPSC57}

For BibTeX

@inproceedings{j-c:icalepcs21-mopv042, author = {J-C. Tournier and B. Fern?índez Adiego and I. D. Lopez-Miguel}, title = {{PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller}}, booktitle = {Proc. ICALEPCS'21}, pages = {248--252}, paper = {MOPV042}, venue = {Shanghai, China}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {18}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {2}, year = {2022}, issn = {2226-0358}, isbn = {978-3-95-450221-9}, doi = {10.18429/JACoW-ICALEPCS2021-MOPV042}, url = {https://jacow.org/icalepcs2021/papers/MOPV042.pdf}, language = {english} } @inproceedings{plotnikov:linac96-mop80, author = {V. K. Plotnikov}, title = {{Engineering Design of ITEP Proton Linac for Nuclear Waste Transmutation}}, booktitle = {Proc. LINAC'96}, pages = {252--254}, paper = {MOP80}, venue = {Geneva, Switzerland, Aug. 1996}, series = {Linear Accelerator Conference}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/l96/papers/MOP80.pdf}, language = {english} } @inproceedings{ananian:pac91, author = {S. H. Ananian and R. H. Manukian and A. R. Matevosian and V. T. Nikogossian and A. R. Tumanian}, title = {{The Estimation and Control of Closed Orbit in Fast Cycling Sychrotron}}, booktitle = {Proc. PAC'91}, pages = {1446--1448}, paper = {}, venue = {San Francisco, CA, USA, May 1991}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{stovall:linac96-thp18, author = {J. E. Stovall}, title = {{Alignment and Steering Scenarios for the APT Linac}}, booktitle = {Proc. LINAC'96}, pages = {686--688}, paper = {THP18}, venue = {Geneva, Switzerland, Aug. 1996}, series = {Linear Accelerator Conference}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/l96/papers/THP18.pdf}, language = {english} } @inproceedings{komarova:srf97-srf97a31, author = {V. Komarova and L. Sevryukova and M. Tchernov and I. Zvonarev}, title = {{The Influence of the Injection Energy on the Acceleration RF Structure Geometry and the Beam Dynamics of SVAAP}}, booktitle = {Proc. SRF'97}, pages = {269--275}, paper = {SRF97A31}, venue = {Padova, Italy, Oct. 1997}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/SRF97/papers/SRF97A31.pdf}, language = {english} } @inproceedings{blanchard:icalepcs21-tupv031, author = {S. Blanchard and others}, title = {{LHC Vacuum Supervisory Application for Run 3}}, booktitle = {Proc. ICALEPCS'21}, pages = {459--463}, paper = {TUPV031}, venue = {Shanghai, China}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {18}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {2}, year = {2022}, issn = {2226-0358}, isbn = {978-3-95-450221-9}, doi = {10.18429/JACoW-ICALEPCS2021-TUPV031}, url = {https://jacow.org/icalepcs2021/papers/TUPV031.pdf}, language = {english} } @inproceedings{wang:pac93, author = {F. Wang and N. V. Mokhov and A. I. Drozhdin and B. Parker and R. Soundranayagam and R. Schailey}, title = {{Consequences of Kicker Failure During HEB to Collider Injection and Possible Mitigation}}, booktitle = {Proc. PAC'93}, pages = {1360--1363}, paper = {}, venue = {Washington D.C., USA, Mar. 1993}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{wilson:epac90, author = {M. N. Wilson}, title = {{Compact Synchrotron X-Ray Sources}}, booktitle = {Proc. EPAC'90}, pages = {295--300}, paper = {}, venue = {Nice, France, Jun. 1990}, series = {European Particle Accelerator Conference}, number = {2}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{urbaniec:icalepcs21-mopv043, author = {B. Urbaniec and L. Burdzanowski}, title = {{CERN Controls Configuration Service - Event-Based Processing of Controls Changes}}, booktitle = {Proc. ICALEPCS'21}, pages = {253--256}, paper = {MOPV043}, venue = {Shanghai, China}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {18}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {2}, year = {2022}, issn = {2226-0358}, isbn = {978-3-95-450221-9}, doi = {10.18429/JACoW-ICALEPCS2021-MOPV043}, url = {https://jacow.org/icalepcs2021/papers/MOPV043.pdf}, language = {english} } @inproceedings{stovall:linac72-p22, author = {J. E. Stovall}, title = {{An Automated Admittance Measurement at LAMPF}}, booktitle = {Proc. LINAC'72}, pages = {422--426}, paper = {P22}, venue = {Los Alamos, NM, USA, Oct. 1972}, series = {Linear Accelerator Conference}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/l72/papers/P22.pdf}, language = {english} } @inproceedings{zhang:ipac13-wepwa035, author = {Z. C. Zhang and others}, title = {{Design of a Superconducting Undulator Magnet Prototype for SSRF}}, booktitle = {Proc. IPAC'13}, pages = {2205--2207}, paper = {WEPWA035}, venue = {Shanghai, China, May 2013}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/IPAC2013/papers/WEPWA035.pdf}, language = {english} } @inproceedings{halbritter:srf91-srf91g04, author = {J. Halbritter}, title = {{On Extrinsic - Weak Link - Effects in the Surface Impedance of Cuprate and Classical Superconductors}}, booktitle = {Proc. SRF'91}, paper = {SRF91G04}, venue = {Hamburg, Germany, Aug. 1991}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/SRF91/papers/SRF91G04.pdf}, language = {english} } @inproceedings{tarantin:rupac04-thbp26, author = {N. I. Tarantin}, title = {{NEW METHOD OF ELECTROSTATIC ACCELERATING AND STRONG QUADRUPOLE FOCUSING OF CHARGED PARTICLES ON HIGH VOLTAGE ACCELERATORS OF DIRECT ACTION AND ITS POSSIBLE APPLICATIONS}}, booktitle = {Proc. RuPAC'04}, paper = {THBP26}, venue = {Dubna, Russia, Oct. 2004}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/r04/papers/THBP26.pdf}, language = {english} } @inproceedings{kurapov:rupac2021-wepsc57, author = {N. N. Kurapov and Ya. V. Bodryashkin and A. S. Cherkasov and I. V. Shorikov and A. V. Telnov}, title = {{System of on-Line Energy Control of Electron Beam for Accelerator}}, booktitle = {Proc. RuPAC2021}, pages = {446--448}, paper = {WEPSC57}, venue = {Alushta, Crimea}, series = {Russian Particle Accelerator Conference}, number = {27}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {10}, year = {2021}, issn = {2673-5539}, isbn = {978-3-95-450240-0}, doi = {10.18429/JACoW-RuPAC2021-WEPSC57}, language = {english} }

References

• J-C. Tournier, B. Fern?índez Adiego, and I. D. Lopez-Miguel, “PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller”, in Proc. 18th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'21), Shanghai, China, Oct. 2021, pp. 248-252.
• V. K. Plotnikov, “Engineering Design of ITEP Proton Linac for Nuclear Waste Transmutation”, in Proc. 18th Int. Linear Accelerator Conf. (LINAC'96), Geneva, Switzerland, Aug. 1996, paper MOP80, pp. 252-254.
• S. H. Ananian, R. H. Manukian, A. R. Matevosian, V. T. Nikogossian, and A. R. Tumanian, “The Estimation and Control of Closed Orbit in Fast Cycling Sychrotron”, in Proc. 14th Particle Accelerator Conf. (PAC'91), San Francisco, CA, USA, May 1991, pp. 1446-1448.
• J. E. Stovall, “Alignment and Steering Scenarios for the APT Linac”, in Proc. 18th Int. Linear Accelerator Conf. (LINAC'96), Geneva, Switzerland, Aug. 1996, paper THP18, pp. 686-688.
• V. Komarova, L. Sevryukova, M. Tchernov, and I. Zvonarev, “The Influence of the Injection Energy on the Acceleration RF Structure Geometry and the Beam Dynamics of SVAAP”, in Proc. 8th Int. Conf. RF Superconductivity (SRF'97), Padova, Italy, Oct. 1997, paper SRF97A31, pp. 269-275.
• S. Blanchard et al., “LHC Vacuum Supervisory Application for Run 3”, in Proc. 18th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'21), Shanghai, China, Oct. 2021, pp. 459-463.
• F. Wang, N. V. Mokhov, A. I. Drozhdin, B. Parker, R. Soundranayagam, and R. Schailey, “Consequences of Kicker Failure During HEB to Collider Injection and Possible Mitigation”, in Proc. 15th Particle Accelerator Conf. (PAC'93), Washington D.C., USA, Mar. 1993, pp. 1360-1363.
• M. N. Wilson, “Compact Synchrotron X-Ray Sources”, in Proc. 2nd European Particle Accelerator Conf. (EPAC'90), Nice, France, Jun. 1990, pp. 295-300.
• B. Urbaniec and L. Burdzanowski, “CERN Controls Configuration Service - Event-Based Processing of Controls Changes”, in Proc. 18th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'21), Shanghai, China, Oct. 2021, pp. 253-256.
• J. E. Stovall, “An Automated Admittance Measurement at LAMPF”, in Proc. 1972 Proton Linear Accelerator Conf. (LINAC'72), Los Alamos, NM, USA, Oct. 1972, paper P22, pp. 422-426.
• Z. C. Zhang et al., “Design of a Superconducting Undulator Magnet Prototype for SSRF”, in Proc. 4th Int. Particle Accelerator Conf. (IPAC'13), Shanghai, China, May 2013, paper WEPWA035, pp. 2205-2207.
• J. Halbritter, “On Extrinsic - Weak Link - Effects in the Surface Impedance of Cuprate and Classical Superconductors”, in Proc. 5th Int. Conf. RF Superconductivity (SRF'91), Hamburg, Germany, Aug. 1991, paper SRF91G04, pp. XX-XX.
• N. I. Tarantin, “NEW METHOD OF ELECTROSTATIC ACCELERATING AND STRONG QUADRUPOLE FOCUSING OF CHARGED PARTICLES ON HIGH VOLTAGE ACCELERATORS OF DIRECT ACTION AND ITS POSSIBLE APPLICATIONS”, in Proc. 19th Russian Particle Accelerator Conf. (RuPAC'04), Dubna, Russia, Oct. 2004, paper THBP26, pp. XX-XX.
• N. N. Kurapov, Ya. V. Bodryashkin, A. S. Cherkasov, I. V. Shorikov, and A. V. Telnov, “System of on-Line Energy Control of Electron Beam for Accelerator”, in Proc. 27th Russian Particle Accelerator Conference (RuPAC2021), Alushta, Crimea, Sep.-Oct. 2021, pp. 446-448.