CiteULike Group: StFX Centre for Logic and In... Search Register Log in

Group: StFX Centre for Logic and Information - Authors

All authors in this group's library
Aalst   Alur   Amnell   And   Anselma   Antoniou   Arenas   Arthur   Avrunin   Baader   Balser   Barcelo   Behrmann   Benes   Bengtsson   Bernstein   Bordini   Bosnacki   Bottrighi   Bowman   Brown   Bäumler   Carlini   Carter   Cassells   Cau   Cerna   Chang   Chen   Cherkaoui   Christov   Clarke   Cobleigh   Cohn   Col'on   Cummings   Dadam   David   De Michelis   Dehnert   Donzella   Draghicescu   Duan   Dumas   Dunets   D’argenio   Edmond   Ehrler   Ellis   Emerson   Eshuis   Etessami   Faconti   Fehnker   Finkbeiner   Finkel   Fisher   Fitting   Fleurke   Frederick   Georgeff   Ghandour   Giordano   Giunchiglia   Gottschalk   Gradara   Greiner   Grumberg   Haag   Halle   Haller   Hallé   He   Henneman   Henzinger   Hofstede   Holzmann   Horrocks   Houben   Howlett   Hune   Huth   Imam   Immerman   Jacky   Jain   Jeannet   Jennings   Jensen   Jha   Jifeng   Johnson   Katoen   Keane   Koubarakis   Kristensen   Kuhn   La Rosa   Larsen   Lassen   Latella   Lenz   Lewis   Li   Libkin   Liu   Lomazova   Lu   Müller   Maccaull   Manna   Mans   Marcos   Massink   Mccubbrey   Memmi   Mendling   Mertens   Miksch   Mircea   Monahan   Montani   Morris   Mulyar   Möller   Norvig   Oanea   Oinn   Oren   Osterweil   Panzarasa   Pardavila   Peled   Peterson   Pettersson   Pnueli   Puhlmann   Purvis   Qin   Rahm   Rakow   Rao   Reichert   Reif   Rice   Rinderle   Rinderle-Ma   Roomans   Russell   Ryan   Santone   Sattler   Savarimuthu   Schild   Schmitt   Schonenberg   Scott   Selman   Senger   Serebrenik   Shahar   Sidorova   Sipma   Sochor   Teijeþ   Ter   Terenziani   Thomason   Tremblay   Uribe   Vaandrager   Vaglini   Van Harmelen   Vanderaalst   Vanhee   Varekova   Veith   Verbeek   Villani   Villemaire   Voorhoeve   Weber   Weise   Wells   Weske   Westergaard   Wieringa   Wooldridge   Wynn   Yi   Zadeh   Zedan   Zhou   Zhu   Zimmerova   Zur   van Hee   van der Aalst  
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.