Search dblp for Publications

export results for "toc:db/journals/iandc/iandc104.bht:"

 download as .bib file

@article{DBLP:journals/iandc/AlurCD93,
  author    = {Rajeev Alur and
               Costas Courcoubetis and
               David L. Dill},
  title     = {Model-Checking in Dense Real-time},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {1},
  pages     = {2--34},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1024},
  doi       = {10.1006/inco.1993.1024},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/AlurCD93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurH93,
  author    = {Rajeev Alur and
               Thomas A. Henzinger},
  title     = {Real-Time Logics: Complexity and Expressiveness},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {1},
  pages     = {35--77},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1025},
  doi       = {10.1006/inco.1993.1025},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/AlurH93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DurisG93,
  author    = {Pavol Duris and
               Zvi Galil},
  title     = {On the Power of Multiple Reads in a Chip},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {2},
  pages     = {277--287},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1034},
  doi       = {10.1006/inco.1993.1034},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/DurisG93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FeldmanINNRS93,
  author    = {David Feldman and
               Russell Impagliazzo and
               Moni Naor and
               Noam Nisan and
               Steven Rudich and
               Adi Shamir},
  title     = {On Dice and Coins: Models of Computation for Random Generation},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {2},
  pages     = {159--174},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1028},
  doi       = {10.1006/inco.1993.1028},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/FeldmanINNRS93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Frederickson93,
  author    = {Greg N. Frederickson},
  title     = {An Optimal Algorithm for Selection in a Min-Heap},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {2},
  pages     = {197--214},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1030},
  doi       = {10.1006/inco.1993.1030},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/Frederickson93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GoldsmithJY93,
  author    = {Judy Goldsmith and
               Deborah Joseph and
               Paul Young},
  title     = {Using Self-Reducibilities to Characterize Polynomial Time},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {2},
  pages     = {288--308},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1035},
  doi       = {10.1006/inco.1993.1035},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/GoldsmithJY93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/IsraeliJ93,
  author    = {Amos Israeli and
               Marc Jalfon},
  title     = {Uniform Self-Stabilizing Ring Orientation},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {2},
  pages     = {175--196},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1029},
  doi       = {10.1006/inco.1993.1029},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/IsraeliJ93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KannanVVY93,
  author    = {Ravi Kannan and
               H. Venkateswaran and
               V. Vinay and
               Andrew Chi{-}Chih Yao},
  title     = {A Circuit-Based Proof of Toda's Theorem},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {2},
  pages     = {271--276},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1033},
  doi       = {10.1006/inco.1993.1033},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/KannanVVY93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LuginbuhlL93,
  author    = {David R. Luginbuhl and
               Michael C. Loui},
  title     = {Hierarchies and Space Measures for Pointer Machines},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {2},
  pages     = {253--270},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1032},
  doi       = {10.1006/inco.1993.1032},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/LuginbuhlL93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Middeldorp93,
  author    = {Aart Middeldorp},
  title     = {Modular Properties of Conditional Term Rewriting Systems},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {1},
  pages     = {110--158},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1027},
  doi       = {10.1006/inco.1993.1027},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/Middeldorp93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Mitchell93,
  author    = {John Mitchell},
  title     = {Preface},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {1},
  pages     = {1},
  year      = {1993},
  timestamp = {Tue, 25 Apr 2006 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/Mitchell93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SekarR93,
  author    = {R. C. Sekar and
               I. V. Ramakrishnan},
  title     = {Programming in Equational Logic: Beyond Strong Sequentiality},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {1},
  pages     = {78--109},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1026},
  doi       = {10.1006/inco.1993.1026},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/SekarR93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ShyamasundarNP93,
  author    = {R. K. Shyamasundar and
               K. T. Narayana and
               Toniann Pitassi},
  title     = {Semantics of Nondeterministic Asynchronous Broadcast Networks},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {2},
  pages     = {215--252},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1031},
  doi       = {10.1006/inco.1993.1031},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/ShyamasundarNP93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics