
% from typeinst.tex
@article{jour,
	author = {Smith, Temple F. AND Waterman, Michael S.},
	title = {Identification of Common Molecular Subsequences},
	journal = {J. Mol. Biol.},
	volume = {147},
	pages = {195--197},
	date = {1981-07-14},
	doi = {10.1016/0022-2836(81)90087-5},
}

@inproceedings{lncschap,
	author = {May, Patrick AND Ehrlich, Hans-Christian AND Steinke, Thomas},
	title = {ZIB Structure Prediction Pipeline: Composing a Complex Biological Workflow through Web Services},
	editor = {Nagel, Wolfgang E. AND Walter, Wolfgang V. AND Lehner, Wolfgang},
	eventtitle = {Euro-Par 2006},
	series = {LNCS},
	volume = {4128},
	pages = {1148--1158},
	publisher = {Springer},
	location = {Heidelberg},
	date = {2006},
	doi = {10.1007/11823285_121},
}

@book{book,
	author = {Foster, Ian AND Kesselman, Carl},
	title = {The Grid: Blueprint for a New Computing Infrastructure},
	publisher = {Morgan Kaufmann},
	location = {San Francisco},
	date = {1999},
	isbn = {1-55860-475-8},
}

@inproceedings{proceeding1,
	author = {Czajkowski, Karl AND Fitzgerald, Steven AND Foster, Ian AND Kesselman, Carl},
	title = {Grid Information Services for Distributed Resource Sharing},
	eventtitle = {10th IEEE International Symposium on High Performance Distributed Computing},
	pages = {181--184},
	publisher = {IEEE Press, New York},
	date = {2001},
	doi = {10.1109/HPDC.2001.945188},
}

@report{proceeding2,
	author = {Foster, Ian AND Kesselman, Carl AND Nick, J. AND Tuecke, S.},
	title = {The Physiology of the Grid: an Open Grid Services Architecture for Distributed Systems
Integration},
	type = {Technical report},
	institution = {Global Grid Forum},
	date = {2002},
	url = {http://toolkit.globus.org/alliance/publications/papers.php#OGSA},
}

@online{url,
	title = {National Center for Biotechnology Information},
	url = {http://www.ncbi.nlm.nih.gov},
}

% from llncs.dem

@article{clar:eke,
	author = {Clarke, Frank AND Ekeland, I.},
	title = {Nonlinear oscillations and boundary-value problems for Hamiltonian systems},
	journal = {Arch. Rat. Mech. Anal.},
	volume = {78},
	pages = {315--333},
	date = {1982},
	doi = {10.1007/BF00249584},
}

@article{clar:eke:2,
	author = {Clarke, Frank AND Ekeland, I.},
	title = {Solutions p\'{e}riodiques, du p\'{e}riode donn\'{e}e, des \'{e}quations hamiltoniennes},
	journal = {Note CRAS Paris},
	volume = {287},
	pages = {1013--1015},
	date = {1978},
}

@article{mich:tar,
	author = {Michalek, R. AND Tarantello, G.},
	title = {Subharmonic solutions with prescribed minimal period for nonautonomous Hamiltonian systems},
	journal = {J. Diff. Eq.},
	volume = {72},
	pages = {28--55},
	date = {1988},
}

@article{tar,
	author = {Tarantello, G.},
	title = {Subharmonic solutions for Hamiltonian systems via a $\bbbz_{p}$ pseudoindex theory},
	journal = {Annali di Matematica Pura},
	pubstate = {to appear},
}

@article{rab,
	author = {Rabinowitz, P.},
	title = {On subharmonic solutions of a Hamiltonian system},
	journal = {Comm. Pure Appl. Math.},
	volume = {33},
	pages = {609--633},
	date = {1980},
}

@misc{georgiev2015sqema,
  title = {SQEMA with Universal Modality},
  author = {Georgiev, Dimiter},
  year = {2015},
  url = {https://store.fmi.uni-sofia.bg/fmi/logic/sqema/sqema_gwt_20180317_2/Dimiter_Georgiev_PLS.pdf},
}

