Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: William C. Rounds
@inproceedings{DBLP:journals/entcs/SongCR06,
author = {Hosung Song and
Kevin J. Compton and
William C. Rounds},
editor = {Ranko Lazic and
Rajagopal Nagarajan},
title = {{SPHIN:} {A} model checker for reconfigurable hybrid systems based
on {SPIN}},
booktitle = {Proceedings of the 5th International Workshop on Automated Verification
of Critical Systems, AVoCS 2005, University of Warwick, UK, September
12-13, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {145},
pages = {167--183},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.011},
doi = {10.1016/J.ENTCS.2005.10.011},
timestamp = {Thu, 15 Dec 2022 14:59:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SongCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangR04,
author = {Guo{-}Qiang Zhang and
William C. Rounds},
title = {Reasoning with power defaults},
journal = {Theor. Comput. Sci.},
volume = {323},
number = {1-3},
pages = {321--350},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.04.008},
doi = {10.1016/J.TCS.2004.04.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ZhangR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Rounds04,
author = {William C. Rounds},
editor = {Rajeev Alur and
George J. Pappas},
title = {A Spatial Logic for the Hybrid p-Calculus},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {508--522},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_34},
doi = {10.1007/978-3-540-24743-2\_34},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Rounds04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RoundsS03,
author = {William C. Rounds and
Hosung Song},
editor = {Oded Maler and
Amir Pnueli},
title = {The Phi-Calculus: {A} Language for Distributed Control of Reconfigurable
Embedded Systems},
booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop,
{HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2623},
pages = {435--449},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X\_32},
doi = {10.1007/3-540-36580-X\_32},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RoundsS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RoundsZ01,
author = {William C. Rounds and
Guo{-}Qiang Zhang},
title = {Clausal Logic and Logic Programming in Algebraic Domains},
journal = {Inf. Comput.},
volume = {171},
number = {2},
pages = {183--200},
year = {2001},
url = {https://doi.org/10.1006/inco.2001.3073},
doi = {10.1006/INCO.2001.3073},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RoundsZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KlavinsRZ98,
author = {Eric Klavins and
William C. Rounds and
Guo{-}Qiang Zhang},
editor = {Jack Mostow and
Chuck Rich},
title = {Experimenting with Power Default Reasoning},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {846--852},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-120.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KlavinsRZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/RoundsZ97,
author = {William C. Rounds and
Guo{-}Qiang Zhang},
title = {Logical Considerations on Default Semantics},
journal = {Ann. Math. Artif. Intell.},
volume = {20},
number = {1-4},
pages = {195--226},
year = {1997},
url = {https://doi.org/10.1023/A:1018932411629},
doi = {10.1023/A:1018932411629},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/RoundsZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZhangR97,
author = {Guo{-}Qiang Zhang and
William C. Rounds},
title = {Nonmonotonic Consequences in Default Domain Theory},
journal = {Ann. Math. Artif. Intell.},
volume = {20},
number = {1-4},
pages = {227--265},
year = {1997},
url = {https://doi.org/10.1023/A:1018988629376},
doi = {10.1023/A:1018988629376},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ZhangR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangR97,
author = {Guo{-}Qiang Zhang and
William C. Rounds},
title = {Defaults in Domain Theory},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {155--182},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00238-1},
doi = {10.1016/S0304-3975(96)00238-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ZhangR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ZhangHCR97,
author = {Guo{-}Qiang Zhang and
Chang Huang and
William C. Rounds},
title = {A Modal Logic for Reasoning about Belief},
booktitle = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
7-10 January 1997, Maui, Hawaii, {USA}},
pages = {383},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HICSS.1997.663196},
doi = {10.1109/HICSS.1997.663196},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/ZhangHCR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZhangR97,
author = {Guo{-}Qiang Zhang and
William C. Rounds},
title = {Complexity of Power Default Reasoning},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {328--339},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614959},
doi = {10.1109/LICS.1997.614959},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ZhangR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ZhangR97,
author = {Guo{-}Qiang Zhang and
William C. Rounds},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Power Defaults},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {152--169},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_11},
doi = {10.1007/3-540-63255-7\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ZhangR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhangR97,
author = {Guo{-}Qiang Zhang and
William C. Rounds},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Resolution in the Smyth powerdomain},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {409},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80146-X},
doi = {10.1016/S1571-0661(05)80146-X},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhangR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/97/Rounds97,
author = {William C. Rounds},
editor = {Johan van Benthem and
Alice ter Meulen},
title = {Feature Logics},
booktitle = {Handbook of Logic and Language},
pages = {475--533},
publisher = {North Holland / Elsevier},
year = {1997},
url = {https://doi.org/10.1016/b978-044481714-3/50012-6},
doi = {10.1016/B978-044481714-3/50012-6},
timestamp = {Wed, 26 Jun 2019 18:32:30 +0200},
biburl = {https://dblp.org/rec/books/el/97/Rounds97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RoundsZ95,
author = {William C. Rounds and
Guo{-}Qiang Zhang},
title = {Domain Theory Meets Default Logic},
journal = {J. Log. Comput.},
volume = {5},
number = {1},
pages = {1--25},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.1.1},
doi = {10.1093/LOGCOM/5.1.1},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RoundsZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/YoungR93,
author = {Mark A. Young and
William C. Rounds},
editor = {Lenhart K. Schubert},
title = {A Logical Semantics for Nonmonotonic Sorts},
booktitle = {31st Annual Meeting of the Association for Computational Linguistics,
22-26 June 1993, Ohio State University, Columbus, Ohio, USA, Proceedings},
pages = {209--215},
publisher = {{ACL}},
year = {1993},
url = {https://aclanthology.org/P93-1028/},
doi = {10.3115/981574.981602},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/YoungR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/RoundsZ93,
author = {William C. Rounds and
Guo{-}Qiang Zhang},
title = {Constraints in Nonmonotonic Reasoning},
booktitle = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
Rhode Island},
pages = {247--257},
year = {1993},
timestamp = {Fri, 09 Aug 2019 11:23:42 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/RoundsZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DorreR92,
author = {Jochen D{\"{o}}rre and
William C. Rounds},
title = {On Subsumption and Semiunifaction in Feature Algebras},
journal = {J. Symb. Comput.},
volume = {13},
number = {4},
pages = {441--461},
year = {1992},
url = {https://doi.org/10.1016/S0747-7171(08)80107-1},
doi = {10.1016/S0747-7171(08)80107-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DorreR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DorreR90,
author = {Jochen D{\"{o}}rre and
William C. Rounds},
title = {On Subsumption and Semiunification in Feature Algebras},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {300--310},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113756},
doi = {10.1109/LICS.1990.113756},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DorreR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS97,
author = {Jochen D{\"{o}}rre and
William C. Rounds},
title = {On Subsumption and Semiunifaction in Feature Algebras},
journal = {{IWBS} Report},
volume = {97},
year = {1989},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/Rounds88,
author = {William C. Rounds},
title = {{LFP} {A} Logic for Linguistic Descriptions and an Analysis of its
Complexity},
journal = {Comput. Linguistics},
volume = {14},
number = {3},
pages = {1--9},
year = {1988},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/Rounds88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/KacMR87,
author = {Michael B. Kac and
Alexis Manaster{-}Ramer and
William C. Rounds},
title = {Simultaneous-Distributive Coordination and Context-Freeness},
journal = {Comput. Linguistics},
volume = {13},
number = {1-2},
pages = {25--30},
year = {1987},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/KacMR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/RoundsM87,
author = {William C. Rounds and
Alexis Manaster{-}Ramer},
editor = {Candy L. Sidner},
title = {A Logical Version of Functional Grammar},
booktitle = {25th Annual Meeting of the Association for Computational Linguistics,
Stanford University, Stanford, California, USA, July 6-9, 1987},
pages = {89--96},
publisher = {{ACL}},
year = {1987},
url = {https://aclanthology.org/P87-1013/},
doi = {10.3115/981175.981188},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/RoundsM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/MoshierR87,
author = {M. Drew Moshier and
William C. Rounds},
editor = {Candy L. Sidner},
title = {On the Succinctness Properties of Unordered Context-Free Grammars},
booktitle = {25th Annual Meeting of the Association for Computational Linguistics,
Stanford University, Stanford, California, USA, July 6-9, 1987},
pages = {112--116},
publisher = {{ACL}},
year = {1987},
url = {https://aclanthology.org/P87-1016/},
doi = {10.3115/981175.981191},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/MoshierR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MoshierR87,
author = {M. Drew Moshier and
William C. Rounds},
title = {A Logic for Partially Specified Data Structures},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {156--167},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41639},
doi = {10.1145/41625.41639},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MoshierR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/RoundsK86,
author = {William C. Rounds and
Robert T. Kasper},
title = {A Complete Logical Calculus for Record Structures Representing Linguistic
Information},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {38--43},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/RoundsK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Rounds85,
author = {William C. Rounds},
title = {On the Relationship between Scott Domains, Synchronization Trees,
and Metric Spaces},
journal = {Inf. Control.},
volume = {66},
number = {1/2},
pages = {6--28},
year = {1985},
url = {https://doi.org/10.1016/S0019-9958(85)80009-7},
doi = {10.1016/S0019-9958(85)80009-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Rounds85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rounds84,
author = {William C. Rounds},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {Applications of Topology to Semantics of Communicating Processes},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {360--372},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_17},
doi = {10.1007/3-540-15670-4\_17},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/Rounds84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GolsonR83,
author = {William G. Golson and
William C. Rounds},
title = {Connections Between Two Theories of Concurrency: Metric Spaces and
Synchronization Trees},
journal = {Inf. Control.},
volume = {57},
number = {2/3},
pages = {102--124},
year = {1983},
url = {https://doi.org/10.1016/S0019-9958(83)80039-4},
doi = {10.1016/S0019-9958(83)80039-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GolsonR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrookesR83,
author = {Stephen D. Brookes and
William C. Rounds},
editor = {Josep D{\'{\i}}az},
title = {Behavioural Equivalence Relations Induced by Programming Logics},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {97--108},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036900},
doi = {10.1007/BFB0036900},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrookesR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/RoundsB81,
author = {William C. Rounds and
Stephen D. Brookes},
title = {Possible Futures, Acceptances, Refusals, and Communicating Processes},
booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
Tennessee, USA, 28-30 October 1981},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {https://doi.org/10.1109/SFCS.1981.36},
doi = {10.1109/SFCS.1981.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/RoundsB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scc/GourlayRS79,
author = {John S. Gourlay and
William C. Rounds and
Richard Statman},
editor = {Gilles Kahn},
title = {On Properties Preserved by Contraction of Concurrent Systems},
booktitle = {Semantics of Concurrent Computation, Proceedings of the International
Symposium, Evian, France, July 2-4, 1979},
series = {Lecture Notes in Computer Science},
volume = {70},
pages = {51--65},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/BFb0022463},
doi = {10.1007/BFB0022463},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/scc/GourlayRS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OgdenRR78,
author = {William F. Ogden and
William E. Riddle and
William C. Rounds},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Thomas G. Szymanski},
title = {Complexity of Expressions Allowing Concurrency},
booktitle = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
of Programming Languages, Tucson, Arizona, USA, January 1978},
pages = {185--194},
publisher = {{ACM} Press},
year = {1978},
url = {https://doi.org/10.1145/512760.512780},
doi = {10.1145/512760.512780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/OgdenRR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/JazayeriOR75,
author = {Mehdi Jazayeri and
William F. Ogden and
William C. Rounds},
title = {The Intrinsically Exponential Complexity of the Circularity Problem
for Attribute Grammars},
journal = {Commun. {ACM}},
volume = {18},
number = {12},
pages = {697--706},
year = {1975},
url = {https://doi.org/10.1145/361227.361231},
doi = {10.1145/361227.361231},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/JazayeriOR75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rounds75,
author = {William C. Rounds},
title = {A Grammatical Characterization of Exponential-Time Languages},
booktitle = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
California, USA, October 13-15, 1975},
pages = {135--143},
publisher = {{IEEE} Computer Society},
year = {1975},
url = {https://doi.org/10.1109/SFCS.1975.1},
doi = {10.1109/SFCS.1975.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rounds75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JazayeriOR75,
author = {Mehdi Jazayeri and
William F. Ogden and
William C. Rounds},
editor = {Robert M. Graham and
Michael A. Harrison and
John C. Reynolds},
title = {On the Complexity of the Circularity Test for Attribute Grammars},
booktitle = {Conference Record of the Second {ACM} Symposium on Principles of Programming
Languages, Palo Alto, California, USA, January 1975},
pages = {119--129},
publisher = {{ACM} Press},
year = {1975},
url = {https://doi.org/10.1145/512976.512989},
doi = {10.1145/512976.512989},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JazayeriOR75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/relsoft/WalterSORSSBBAG75,
author = {Kenneth G. Walter and
Samuel I. Schaen and
William F. Ogden and
William C. Rounds and
D. G. Shumway and
D. D. Schaeffer and
K. J. Biba and
Franklyn T. Bradshaw and
S. R. Ames and
J. M. Gilligan},
editor = {Martin L. Shooman and
Raymond T. Yeh},
title = {Structured specification of a Security Kernel},
booktitle = {Proceedings of the International Conference on Reliable Software 1975,
Los Angeles, California, USA, April 21-23, 1975},
pages = {285--293},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800027.808450},
doi = {10.1145/800027.808450},
timestamp = {Mon, 21 Feb 2022 14:26:04 +0100},
biburl = {https://dblp.org/rec/conf/relsoft/WalterSORSSBBAG75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC7,
editor = {William C. Rounds and
Nancy Martin and
Jack W. Carlyle and
Michael A. Harrison},
title = {Proceedings of the 7th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1975, Albuquerque, New Mexico, {USA}},
publisher = {{ACM}},
year = {1975},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC7.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rounds73,
author = {William C. Rounds},
title = {Complexity of Recognition in Intermediate-Level Languages},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {145--158},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.5},
doi = {10.1109/SWAT.1973.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rounds73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/OgdenR72,
author = {William F. Ogden and
William C. Rounds},
editor = {Patrick C. Fischer and
H. Paul Zeiger and
Jeffrey D. Ullman and
Arnold L. Rosenberg},
title = {Compositions of n Tree Transducers},
booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1972, Denver, Colorado, {USA}},
pages = {198--206},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800152.804915},
doi = {10.1145/800152.804915},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/OgdenR72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Rounds70,
author = {William C. Rounds},
title = {Mappings and Grammars on Trees},
journal = {Math. Syst. Theory},
volume = {4},
number = {3},
pages = {257--287},
year = {1970},
url = {https://doi.org/10.1007/BF01695769},
doi = {10.1007/BF01695769},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Rounds70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Rounds70,
author = {William C. Rounds},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed
Languages},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {109--116},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805156},
doi = {10.1145/800161.805156},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Rounds70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Rounds69,
author = {William C. Rounds},
editor = {Patrick C. Fischer and
Seymour Ginsburg and
Michael A. Harrison},
title = {Context-Free Grammars on Trees},
booktitle = {Proceedings of the 1st Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1969, Marina del Rey, CA, {USA}},
pages = {143--148},
publisher = {{ACM}},
year = {1969},
url = {https://doi.org/10.1145/800169.805428},
doi = {10.1145/800169.805428},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Rounds69.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.
last updated on 2023-09-27 22:44 CEST 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:
