Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/time/time2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/time/AravantinosCP11,
author = {Vincent Aravantinos and
Ricardo Caferra and
Nicolas Peltier},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Linear Temporal Logic and Propositional Schemata, Back and Forth},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {80--87},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.11},
doi = {10.1109/TIME.2011.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/AravantinosCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BaaziziBC11,
author = {Mohamed Amine Baazizi and
Nicole Bidoit{-}Tollu and
Dario Colazzo},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Efficient Encoding of Temporal {XML} Documents},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {15--22},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.17},
doi = {10.1109/TIME.2011.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BaaziziBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BasinHKZ11,
author = {David A. Basin and
Mat{\'{u}}s Harvan and
Felix Klaedtke and
Eugen Zalinescu},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Monitoring Usage-Control Policies in Distributed Systems},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {88--95},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.14},
doi = {10.1109/TIME.2011.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BasinHKZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMGMS11,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {The Dark Side of Interval Temporal Logic: Sharpening the Undecidability
Border},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {131--138},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.21},
doi = {10.1109/TIME.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMMS11,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {The Light Side of Interval Temporal Logic: The Bernays-Sch{\"{o}}nfinkel's
Fragment of {CDT}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {123--130},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.20},
doi = {10.1109/TIME.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CombiS11,
author = {Carlo Combi and
Pietro Sala},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Temporal Functional Dependencies Based on Interval Relations},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {23--30},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.15},
doi = {10.1109/TIME.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CombiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CondottaD11,
author = {Jean{-}Fran{\c{c}}ois Condotta and
Dominique D'Almeida},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Consistency of Qualitative Constraint Networks from Tree Decompositions},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {149--156},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.22},
doi = {10.1109/TIME.2011.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CondottaD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS11,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {On Relaxing Metric Information in Linear Temporal Logic},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {72--79},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.9},
doi = {10.1109/TIME.2011.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FuriaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GasconMD11,
author = {R{\'{e}}gis Gascon and
Fr{\'{e}}d{\'{e}}ric Mallet and
Julien Deantoni},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Logical Time and Temporal Logics: Comparing {UML} {MARTE/CCSL} and
{PSL}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {141--148},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.10},
doi = {10.1109/TIME.2011.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/GasconMD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GoreTW11,
author = {Rajeev Gor{\'{e}} and
Jimmy Thomson and
Florian Widmann},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {An Experimental Comparison of Theorem Provers for {CTL}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {49--56},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.16},
doi = {10.1109/TIME.2011.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/GoreTW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GruningerO11,
author = {Michael Gr{\"{u}}ninger and
Darren Ong},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Verification of Time Ontologies with Points and Intervals},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {31--38},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.27},
doi = {10.1109/TIME.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/GruningerO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HansenB11,
author = {Michael R. Hansen and
Aske Wiid Brekling},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {115--122},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.26},
doi = {10.1109/TIME.2011.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/HansenB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Lisitsa11,
author = {Alexei Lisitsa},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Temporal Access to the Iteration Sequences: {A} Unifying Approach
to Fixed Point Logics},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {57--63},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.28},
doi = {10.1109/TIME.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Lisitsa11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Moszkowski11,
author = {Ben C. Moszkowski},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Compositional Reasoning Using Intervals and Time Reversal},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {107--114},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.25},
doi = {10.1109/TIME.2011.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Moszkowski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Piterman11,
author = {Nir Piterman},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {p-Automata and Obligation Games},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {3--6},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.23},
doi = {10.1109/TIME.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Piterman11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Reynolds11,
author = {Mark Reynolds},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {A Tableau for Until and Since over Linear Time},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {41--48},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.29},
doi = {10.1109/TIME.2011.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Reynolds11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/RigoL11,
author = {Stefan Rigo and
Alberto Lavelli},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {MulTiSEX - {A} Multi-language Timex Sequential Extractor},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {163--170},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.13},
doi = {10.1109/TIME.2011.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/RigoL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Schellhorn11,
author = {Gerhard Schellhorn},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Extending {ITL} with Interleaved Programs for Interactive Verification},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {7},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.31},
doi = {10.1109/TIME.2011.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Schellhorn11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SchellhornTER11,
author = {Gerhard Schellhorn and
Bogdan Tofan and
Gidon Ernst and
Wolfgang Reif},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Interleaved Programs and Rely-Guarantee Reasoning with {ITL}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {99--106},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.12},
doi = {10.1109/TIME.2011.12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/SchellhornTER11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ScheweT11,
author = {Sven Schewe and
Cong Tian},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Synthesising Classic and Interval Temporal Logic},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {64--71},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.19},
doi = {10.1109/TIME.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ScheweT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Shilov11,
author = {Nikolay V. Shilov},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Algorithm Design Template Base on Temporal {ADT}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {157--162},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.18},
doi = {10.1109/TIME.2011.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Shilov11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Venable11,
author = {Kristen Brent Venable},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Temporal Preferences},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {8--9},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.24},
doi = {10.1109/TIME.2011.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Venable11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Wijsen11,
author = {Jef Wijsen},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Towards a Foundation of Data Currency},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {10--11},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.30},
doi = {10.1109/TIME.2011.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Wijsen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2011,
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/6063703/proceeding},
isbn = {978-1-4577-1242-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 11:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
