Reference Search

Favourites

For Word

[n]	I. Ben-Zvi et al., “Magnetic Field Measurements of a Superconducting Undulator for a Harmonic Generation FEL Experiment at the NSLS”, in Proc. PAC'93, Washington D.C., USA, Mar. 1993, pp. 1602-1605. 

[n]	J. Staples, “Beam Dynamics and Vane Geometry in the LBL Heavy Ion RFQ”, in Proc. PAC'83, Santa Fe, NM, USA, Mar. 1983, pp. 3533-3536. 

[n]	M. Roehrs, C. Gerth, M. Huening, and H. Schlarb, “Energy-time Correlation Measurements Using a Vertically Deflecting RF Structure”, in Proc. EPAC'06, Edinburgh, UK, Jun. 2006, paper MOPCH014, pp. 80-82. 

[n]	S. R. Jang et al., “Development status of solid-state switches for thyratron replacement”, presented at the LINAC'24, Chicago, IL, USA, Aug. 2024, paper TUPB082, unpublished. 

[n]	J. J. Li, Y. X. Qiu, L. Liao, K. Zhou, L. Hu, and J. Zhuang, “The Information System of Proton Beam in CSNS”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, paper WEPHA087, pp. XX-XX. 

[n]	X. Liu et al., “Multi-objective bayesian optimization of multi-stage OK-SASE for efficient high-energy XFEL operation”, presented at the IPAC'26, Deauville, France, May 2026, paper TUP2635, unpublished. 

[n]	H. Lovelace III et al., “Update on injection optics into the Electron Ion Collider Hadron Storage Ring”, presented at the IPAC'26, Deauville, France, May 2026, paper MOP1303, unpublished. 

[n]	C. Di Giulio, B. Buonomo, F. Cardelli, D. Di Giovenale, L. G. Foggetta, and D. Moriggi, “The Frascati DA?NE LINAC and the Beam Test Facility (BTF) Setups for Irradiation”, in Proc. IPAC'22, Bangkok, Thailand, Jun. 2022, pp. 2457-2460. doi:10.18429/JACoW-IPAC2022-THPOST010

[n]	J. Y. Choe and W. Namkung, “Design Study of Cusptron Amplifier for Accelerators”, in Proc. PAC'85, Vancouver, Canada, May 1985, pp. 2882-2885. 

[n]	H. Y. He, H. Song, J. M. Liu, R. H. Liu, and G. Y. Wang, “Design of Remote Helium Mass Spectrometer Leak Detector”, in Proc. MEDSI'20, Chicago, USA, Jul. 2021, pp. 123. doi:10.18429/JACoW-MEDSI2020-TUPA02

[n]	H. Y. He, J. M. Liu, and D. H. Zhu, “Study of Remote Helium Mass Spectrometer Leak Detection in Accelerator”, in Proc. IPAC'21, Campinas, Brazil, May 2021, pp. 2441-2442. doi:10.18429/JACoW-IPAC2021-TUPAB393

[n]	F. C. Badets et al., “A 4-Channel, 7 ns-Delay Tuning Range, 400 fs-Step, 1.8 ps RMS Jitter, Delay Generator Implemented in a 180 nm CMOS Technology”, in Proc. ICALEPCS'19, New York, NY, USA, Oct. 2019, pp. 734. doi:10.18429/JACoW-ICALEPCS2019-TUBPR02

[n]	G. Doucas, M. Dumitru, M. F. Kimmitt, T. Kormann, G. Korschinek, and C. Stan-Sion, “A Photoelectron Source for the Study of Smith-Purcell Radiation”, in Proc. EPAC'96, Sitges, Spain, Jun. 1996, paper WEP140G, pp. 748-752. 

[n]	A. Kasparian et al., “AI-ready lattice representation and ML optimization for the BNL booster-to-AGS transfer line”, presented at the IPAC'26, Deauville, France, May 2026, paper MOP6311, unpublished. 

[n]	U. Pudasaini et al., “Nb3Sn Multicell Cavity Coating at JLab”, in Proc. IPAC'18, Vancouver, Canada, Apr.-May 2018, pp. 1798-1803. doi:10.18429/JACoW-IPAC2018-WEYGBF3

[n]	R. Becker et al., “A Comparison of High Current Ion Beam Matching from an Ion Source to a RFQ by Electrostatic and by Magnetic Lenses”, in Proc. EPAC'04, Lucerne, Switzerland, Jul. 2004, paper TUPLT024, pp. 1192-1194. 

For LaTeX

%\cite{Ben-Zvi:PAC93} \bibitem{Ben-Zvi:PAC93} I. Ben-Zvi \emph{et al.}, \textquotedblleft{Magnetic Field Measurements of a Superconducting Undulator for a Harmonic Generation FEL Experiment at the NSLS}\textquotedblright, in \emph{Proc. PAC’93}, Washington D.C., USA, Mar. 1993, pp. 1602--1605. %\cite{Staples:PAC83} \bibitem{Staples:PAC83} J. Staples, \textquotedblleft{Beam Dynamics and Vane Geometry in the LBL Heavy Ion RFQ}\textquotedblright, in \emph{Proc. PAC’83}, Santa Fe, NM, USA, Mar. 1983, pp. 3533--3536. %\cite{Roehrs:EPAC06-MOPCH014} \bibitem{Roehrs:EPAC06-MOPCH014} M. Roehrs, C. Gerth, M. Huening, and H. Schlarb, \textquotedblleft{Energy-time Correlation Measurements Using a Vertically Deflecting RF Structure}\textquotedblright, in \emph{Proc. EPAC’06}, Edinburgh, UK, Jun. 2006, paper MOPCH014, pp. 80--82. %\cite{Jang:LINAC24-TUPB082} \bibitem{Jang:LINAC24-TUPB082} S. R. Jang \emph{et al.}, \textquotedblleft{Development status of solid-state switches for thyratron replacement}\textquotedblright, presented at the LINAC’24, Chicago, IL, USA, Aug. 2024, paper TUPB082, unpublished. %\cite{JJLi:ICALEPCS19-WEPHA087} \bibitem{JJLi:ICALEPCS19-WEPHA087} J. J. Li, Y. X. Qiu, L. Liao, K. Zhou, L. Hu, and J. Zhuang, \textquotedblleft{The Information System of Proton Beam in CSNS}\textquotedblright, in \emph{Proc. ICALEPCS’19}, New York, NY, USA, Oct. 2019, paper WEPHA087, pp. XX--XX. %\cite{Liu:IPAC26-TUP2635} \bibitem{Liu:IPAC26-TUP2635} X. Liu \emph{et al.}, \textquotedblleft{Multi-objective bayesian optimization of multi-stage OK-SASE for efficient high-energy XFEL operation}\textquotedblright, presented at the IPAC’26, Deauville, France, May 2026, paper TUP2635, unpublished. %\cite{Lovelace III:IPAC26-MOP1303} \bibitem{Lovelace III:IPAC26-MOP1303} H. Lovelace III \emph{et al.}, \textquotedblleft{Update on injection optics into the Electron Ion Collider Hadron Storage Ring}\textquotedblright, presented at the IPAC’26, Deauville, France, May 2026, paper MOP1303, unpublished. %\cite{Di Giulio:IPAC22-THPOST010} \bibitem{Di Giulio:IPAC22-THPOST010} C. Di Giulio, B. Buonomo, F. Cardelli, D. Di Giovenale, L. G. Foggetta, and D. Moriggi, \textquotedblleft{The Frascati DA?NE LINAC and the Beam Test Facility (BTF) Setups for Irradiation}\textquotedblright, in \emph{Proc. IPAC’22}, Bangkok, Thailand, Jun. 2022, pp. 2457--2460. \doi{10.18429/JACoW-IPAC2022-THPOST010} %\cite{Choe:PAC85} \bibitem{Choe:PAC85} J. Y. Choe and W. Namkung, \textquotedblleft{Design Study of Cusptron Amplifier for Accelerators}\textquotedblright, in \emph{Proc. PAC’85}, Vancouver, Canada, May 1985, pp. 2882--2885. %\cite{HYHe:MEDSI20-TUPA02} \bibitem{HYHe:MEDSI20-TUPA02} H. Y. He, H. Song, J. M. Liu, R. H. Liu, and G. Y. Wang, \textquotedblleft{Design of Remote Helium Mass Spectrometer Leak Detector}\textquotedblright, in \emph{Proc. MEDSI’20}, Chicago, USA, Jul. 2021, pp. 123. \doi{10.18429/JACoW-MEDSI2020-TUPA02} %\cite{HYHe:IPAC21-TUPAB393} \bibitem{HYHe:IPAC21-TUPAB393} H. Y. He, J. M. Liu, and D. H. Zhu, \textquotedblleft{Study of Remote Helium Mass Spectrometer Leak Detection in Accelerator}\textquotedblright, in \emph{Proc. IPAC’21}, Campinas, Brazil, May 2021, pp. 2441--2442. \doi{10.18429/JACoW-IPAC2021-TUPAB393} %\cite{Badets:ICALEPCS19-TUBPR02} \bibitem{Badets:ICALEPCS19-TUBPR02} F. C. Badets \emph{et al.}, \textquotedblleft{A 4-Channel, 7 ns-Delay Tuning Range, 400 fs-Step, 1.8 ps RMS Jitter, Delay Generator Implemented in a 180 nm CMOS Technology}\textquotedblright, in \emph{Proc. ICALEPCS’19}, New York, NY, USA, Oct. 2019, pp. 734. \doi{10.18429/JACoW-ICALEPCS2019-TUBPR02} %\cite{Doucas:EPAC96-WEP140G} \bibitem{Doucas:EPAC96-WEP140G} G. Doucas, M. Dumitru, M. F. Kimmitt, T. Kormann, G. Korschinek, and C. Stan-Sion, \textquotedblleft{A Photoelectron Source for the Study of Smith-Purcell Radiation}\textquotedblright, in \emph{Proc. EPAC’96}, Sitges, Spain, Jun. 1996, paper WEP140G, pp. 748--752. %\cite{Kasparian:IPAC26-MOP6311} \bibitem{Kasparian:IPAC26-MOP6311} A. Kasparian \emph{et al.}, \textquotedblleft{AI-ready lattice representation and ML optimization for the BNL booster-to-AGS transfer line}\textquotedblright, presented at the IPAC’26, Deauville, France, May 2026, paper MOP6311, unpublished. %\cite{Pudasaini:IPAC18-WEYGBF3} \bibitem{Pudasaini:IPAC18-WEYGBF3} U. Pudasaini \emph{et al.}, \textquotedblleft{Nb3Sn Multicell Cavity Coating at JLab}\textquotedblright, in \emph{Proc. IPAC’18}, Vancouver, Canada, Apr.-May 2018, pp. 1798--1803. \doi{10.18429/JACoW-IPAC2018-WEYGBF3} %\cite{Becker:EPAC04-TUPLT024} \bibitem{Becker:EPAC04-TUPLT024} R. Becker \emph{et al.}, \textquotedblleft{A Comparison of High Current Ion Beam Matching from an Ion Source to a RFQ by Electrostatic and by Magnetic Lenses}\textquotedblright, in \emph{Proc. EPAC’04}, Lucerne, Switzerland, Jul. 2004, paper TUPLT024, pp. 1192--1194.

For BibTeX

@inproceedings{ben-zvi:pac93, author = {I. Ben-Zvi and others}, title = {{Magnetic Field Measurements of a Superconducting Undulator for a Harmonic Generation FEL Experiment at the NSLS}}, booktitle = {Proc. PAC'93}, pages = {1602--1605}, paper = {}, venue = {Washington D.C., USA, Mar. 1993}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{staples:pac83, author = {J. Staples}, title = {{Beam Dynamics and Vane Geometry in the LBL Heavy Ion RFQ}}, booktitle = {Proc. PAC'83}, pages = {3533--3536}, paper = {}, venue = {Santa Fe, NM, USA, Mar. 1983}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{roehrs:epac06-mopch014, author = {M. Roehrs and C. Gerth and M. Huening and H. Schlarb}, title = {{Energy-time Correlation Measurements Using a Vertically Deflecting RF Structure}}, booktitle = {Proc. EPAC'06}, pages = {80--82}, paper = {MOPCH014}, venue = {Edinburgh, UK}, series = {European Particle Accelerator Conference}, number = {10}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {7}, year = {2006}, language = {english} } @unpublished{jang:linac24-tupb082, author = {S. R. Jang and others}, title = {{Development status of solid-state switches for thyratron replacement}}, booktitle = {Proc. LINAC'24}, pages = {}, paper = {TUPB082}, venue = {Chicago, IL, USA}, intype = {presented at the}, series = {Linear Accelerator Conference}, number = {32}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {8}, year = {2024}, issn = {2226-0366}, isbn = {978-3-95-450219-6}, note = {presented at LINAC'24, Chicago, IL, USA, Aug. 2024, paper TUPB082, unpublished}, language = {english} } @inproceedings{jjli:icalepcs19-wepha087, author = {J. J. Li and Y. X. Qiu and L. Liao and K. Zhou and L. Hu and J. Zhuang}, title = {{The Information System of Proton Beam in CSNS}}, booktitle = {Proc. ICALEPCS'19}, paper = {WEPHA087}, 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} } @unpublished{liu:ipac26-tup2635, author = {X. Liu and others}, title = {{Multi-objective bayesian optimization of multi-stage OK-SASE for efficient high-energy XFEL operation}}, pages = {}, paper = {TUP2635}, venue = {Deauville, France, May 2026}, intype = {presented at the}, series = {International Particle Accelerator Conference}, number = {16}, publisher = {JACoW Publishing, Geneva, Switzerland}, note = {presented at IPAC'26, Deauville, France, May 2026, paper TUP2635, unpublished}, language = {english} } @unpublished{lovelace iii:ipac26-mop1303, author = {H. Lovelace III and others}, title = {{Update on injection optics into the Electron Ion Collider Hadron Storage Ring}}, pages = {}, paper = {MOP1303}, venue = {Deauville, France, May 2026}, intype = {presented at the}, series = {International Particle Accelerator Conference}, number = {16}, publisher = {JACoW Publishing, Geneva, Switzerland}, note = {presented at IPAC'26, Deauville, France, May 2026, paper MOP1303, unpublished}, language = {english} } @inproceedings{di giulio:ipac22-thpost010, author = {C. Di Giulio and B. Buonomo and F. Cardelli and D. Di Giovenale and L. G. Foggetta and D. Moriggi}, title = {{The Frascati DA?NE LINAC and the Beam Test Facility (BTF) Setups for Irradiation}}, booktitle = {Proc. IPAC'22}, pages = {2457--2460}, paper = {THPOST010}, venue = {Bangkok, Thailand}, series = {International Particle Accelerator Conference}, number = {13}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {7}, year = {2022}, issn = {2673-5490}, isbn = {978-3-95-450227-1}, doi = {10.18429/JACoW-IPAC2022-THPOST010}, url = {https://jacow.org/IPAC2022/papers/THPOST010.pdf}, language = {english} } @inproceedings{choe:pac85, author = {J. Y. Choe and W. Namkung}, title = {{Design Study of Cusptron Amplifier for Accelerators}}, booktitle = {Proc. PAC'85}, pages = {2882--2885}, paper = {}, venue = {Vancouver, Canada, May 1985}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} } @inproceedings{hyhe:medsi20-tupa02, author = {H. Y. He and H. Song and J. M. Liu and R. H. Liu and G. Y. Wang}, title = {{Design of Remote Helium Mass Spectrometer Leak Detector}}, booktitle = {Proc. MEDSI'20}, pages = {123}, paper = {TUPA02}, venue = {Chicago, USA, Jul. 2021}, number = {11}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-MEDSI2020-TUPA02}, url = {https://jacow.org/medsi2020/papers/TUPA02.pdf}, language = {english} } @inproceedings{hyhe:ipac21-tupab393, author = {H. Y. He and J. M. Liu and D. H. Zhu}, title = {{Study of Remote Helium Mass Spectrometer Leak Detection in Accelerator}}, booktitle = {Proc. IPAC'21}, pages = {2441--2442}, paper = {TUPAB393}, venue = {Campinas, Brazil, May 2021}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-IPAC2021-TUPAB393}, url = {https://jacow.org/ipac2021/papers/TUPAB393.pdf}, language = {english} } @inproceedings{badets:icalepcs19-tubpr02, author = {F. C. Badets and others}, title = {{A 4-Channel, 7 ns-Delay Tuning Range, 400 fs-Step, 1.8 ps RMS Jitter, Delay Generator Implemented in a 180 nm CMOS Technology}}, booktitle = {Proc. ICALEPCS'19}, pages = {734}, paper = {TUBPR02}, 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-TUBPR02}, url = {https://jacow.org/icalepcs2019/papers/TUBPR02.pdf}, language = {english} } @inproceedings{doucas:epac96-wep140g, author = {G. Doucas and M. Dumitru and M. F. Kimmitt and T. Kormann and G. Korschinek and C. Stan-Sion}, title = {{A Photoelectron Source for the Study of Smith-Purcell Radiation}}, booktitle = {Proc. EPAC'96}, pages = {748--752}, paper = {WEP140G}, venue = {Sitges, Spain}, series = {European Particle Accelerator Conference}, number = {5}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {9}, year = {1996}, language = {english} } @unpublished{kasparian:ipac26-mop6311, author = {A. Kasparian and others}, title = {{AI-ready lattice representation and ML optimization for the BNL booster-to-AGS transfer line}}, pages = {}, paper = {MOP6311}, venue = {Deauville, France, May 2026}, intype = {presented at the}, series = {International Particle Accelerator Conference}, number = {16}, publisher = {JACoW Publishing, Geneva, Switzerland}, note = {presented at IPAC'26, Deauville, France, May 2026, paper MOP6311, unpublished}, language = {english} } @inproceedings{pudasaini:ipac18-weygbf3, author = {U. Pudasaini and others}, title = {{Nb3Sn Multicell Cavity Coating at JLab}}, booktitle = {Proc. IPAC'18}, pages = {1798--1803}, paper = {WEYGBF3}, venue = {Vancouver, Canada, Apr.-May 2018}, publisher = {JACoW Publishing, Geneva, Switzerland}, doi = {10.18429/JACoW-IPAC2018-WEYGBF3}, url = {http://accelconf.web.cern.ch/ipac2018/papers/WEYGBF3.pdf}, language = {english} } @inproceedings{becker:epac04-tuplt024, author = {R. Becker and others}, title = {{A Comparison of High Current Ion Beam Matching from an Ion Source to a RFQ by Electrostatic and by Magnetic Lenses}}, booktitle = {Proc. EPAC'04}, pages = {1192--1194}, paper = {TUPLT024}, venue = {Lucerne, Switzerland}, series = {European Particle Accelerator Conference}, number = {9}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {9}, year = {2004}, url = {http://accelconf.web.cern.ch/e04/papers/TUPLT024.pdf}, language = {english} }

References

• I. Ben-Zvi et al., “Magnetic Field Measurements of a Superconducting Undulator for a Harmonic Generation FEL Experiment at the NSLS”, in Proc. 15th Particle Accelerator Conf. (PAC'93), Washington D.C., USA, Mar. 1993, pp. 1602-1605.
• J. Staples, “Beam Dynamics and Vane Geometry in the LBL Heavy Ion RFQ”, in Proc. 10th Particle Accelerator Conf. (PAC'83), Santa Fe, NM, USA, Mar. 1983, pp. 3533-3536.
• M. Roehrs, C. Gerth, M. Huening, and H. Schlarb, “Energy-time Correlation Measurements Using a Vertically Deflecting RF Structure”, in Proc. 10th European Particle Accelerator Conf. (EPAC'06), Edinburgh, UK, Jun. 2006, paper MOPCH014, pp. 80-82.
• S. R. Jang et al., “Development status of solid-state switches for thyratron replacement”, presented at the 32nd Linear Accelerator Conf. (LINAC'24), Chicago, IL, USA, Aug. 2024, paper TUPB082, unpublished.
• J. J. Li, Y. X. Qiu, L. Liao, K. Zhou, L. Hu, and J. Zhuang, “The Information System of Proton Beam in CSNS”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, paper WEPHA087, pp. XX-XX.
• X. Liu et al., “Multi-objective bayesian optimization of multi-stage OK-SASE for efficient high-energy XFEL operation”, presented at the 17th Int. Particle Accelerator Conf. (IPAC'26), Deauville, France, May 2026, paper TUP2635, this conference.
• H. Lovelace III et al., “Update on injection optics into the Electron Ion Collider Hadron Storage Ring”, presented at the 17th Int. Particle Accelerator Conf. (IPAC'26), Deauville, France, May 2026, paper MOP1303, this conference.
• C. Di Giulio, B. Buonomo, F. Cardelli, D. Di Giovenale, L. G. Foggetta, and D. Moriggi, “The Frascati DA?NE LINAC and the Beam Test Facility (BTF) Setups for Irradiation”, in Proc. 13th Int. Particle Accelerator Conf. (IPAC'22), Bangkok, Thailand, Jun. 2022, pp. 2457-2460.
• J. Y. Choe and W. Namkung, “Design Study of Cusptron Amplifier for Accelerators”, in Proc. 11th Particle Accelerator Conf. (PAC'85), Vancouver, Canada, May 1985, pp. 2882-2885.
• H. Y. He, H. Song, J. M. Liu, R. H. Liu, and G. Y. Wang, “Design of Remote Helium Mass Spectrometer Leak Detector”, in Proc. 11th Mechanical Engineering Design of Synchrotron Radiation Equipment and Instrumentation Conf. (MEDSI'20), Chicago, USA, Jul. 2021, pp. 123.
• H. Y. He, J. M. Liu, and D. H. Zhu, “Study of Remote Helium Mass Spectrometer Leak Detection in Accelerator”, in Proc. 12th Int. Particle Accelerator Conf. (IPAC'21), Campinas, Brazil, May 2021, pp. 2441-2442.
• F. C. Badets et al., “A 4-Channel, 7 ns-Delay Tuning Range, 400 fs-Step, 1.8 ps RMS Jitter, Delay Generator Implemented in a 180 nm CMOS Technology”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 734.
• G. Doucas, M. Dumitru, M. F. Kimmitt, T. Kormann, G. Korschinek, and C. Stan-Sion, “A Photoelectron Source for the Study of Smith-Purcell Radiation”, in Proc. 5th European Particle Accelerator Conf. (EPAC'96), Sitges, Spain, Jun. 1996, paper WEP140G, pp. 748-752.
• A. Kasparian et al., “AI-ready lattice representation and ML optimization for the BNL booster-to-AGS transfer line”, presented at the 17th Int. Particle Accelerator Conf. (IPAC'26), Deauville, France, May 2026, paper MOP6311, this conference.
• U. Pudasaini et al., “Nb3Sn Multicell Cavity Coating at JLab”, in Proc. 9th Int. Particle Accelerator Conf. (IPAC'18), Vancouver, Canada, Apr.-May 2018, pp. 1798-1803.
• R. Becker et al., “A Comparison of High Current Ion Beam Matching from an Ion Source to a RFQ by Electrostatic and by Magnetic Lenses”, in Proc. 9th European Particle Accelerator Conf. (EPAC'04), Lucerne, Switzerland, Jul. 2004, paper TUPLT024, pp. 1192-1194.