dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

TIME Symposium / Workshop

TIME Home Page

19. TIME 2012: Leicester, United Kingdom

Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani (Eds.): 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2659-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

18. TIME 2011: Lübeck, Germany

Carlo Combi, Martin Leucker, Frank Wolter (Eds.): Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. IEEE 2011, ISBN 978-1-4577-1242-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

17. TIME 2010: Paris, France

Nicolas Markey, Jef Wijsen (Eds.): TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4187-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

16. TIME 2009: Bressanone-Brixen, Italy

Carsten Lutz, Jean-François Raskin (Eds.): TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. IEEE Computer Society 2009, ISBN 978-0-7695-3727-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

15. TIME 2008: Montréal, Canada

Stéphane Demri, Christian S. Jensen (Eds.): 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3181-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

14. TIME 2007: Alicante, Spain

14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain. IEEE Computer Society 2007, ISBN 978-0-7695-2836-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME 2007 Home Page

13. TIME 2006: Budapest, Hungary

13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. IEEE Computer Society 2006, ISBN 0-7695-2617-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

12. TIME 2005: Burlington, Vermont, USA

12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA. IEEE Computer Society 2005, ISBN 0-7695-2370-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

11. TIME 2004: Tatihou, Basse Normandie, France

11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France. IEEE Computer Society 2004, ISBN 0-7695-2155-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME 2004 Home Page

10. TIME 2003: Cairns, Queensland, Australia

10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia. IEEE Computer Society 2003, ISBN 0-7695-1912-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME 2003 Home Page

9. TIME 2002: Manchester, UK

9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002. IEEE Computer Society 2002, ISBN 0-7695-1474-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - Time 2002 Home Page

8. TIME 2001: Cividale del Friuli, Italy

Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001. IEEE Computer Society 2001, ISBN 0-7695-1107-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME-2001 Home Page

7. TIME 2000: Cape Breton, Nova Scotia, Canada

Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000. IEEE Computer Society 2000, ISBN 0-7695-0756-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME-2000 Home Page

6. TIME 1999: Orlando, Florida, USA

6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999. IEEE Computer Society 1999, ISBN 0-7695-0173-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME-99 Home Page

5. TIME 1998: Sanibel Island, Florida, USA

5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998. IEEE Computer Society 1998, ISBN 0-8186-8473-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME-98 Home Page

4. TIME 1997: Daytona Beach, Florida, USA

4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997. IEEE Computer Society 1997, ISBN 0-8186-7937-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME-97 Home Page

3. TIME 1996: Key West, Florida, USA

Luca Chittaro, Scott D. Goodwin, Howard J. Hamilton, Angelo Montanari (Eds.): Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996. IEEE Computer Society 1996, ISBN 0-8186-7528-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME-96 Home Page

2. TIME 1995: Melbourne Beach, Florida, USA

TIME-95 Home Page

1. TIME 1994: Pensacola, Florida, USA

Scott D. Goodwin, Howard J. Hamilton (Eds.): Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994. University of Regina, Regina, SK, Canada 1994, ISBN 0-7731-0278-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TIME-94 Home Page

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 19:51:33 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page