Search dblp for Publications

export results for "toc:db/journals/acta/acta17.bht:"

 download as .bib file

@article{DBLP:journals/acta/Arnold82,
  author       = {Andr{\'{e}} Arnold},
  title        = {Synchronized Behaviours of Processes and Rational Relations},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {21--29},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00262973},
  doi          = {10.1007/BF00262973},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Arnold82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/AsveldT82,
  author       = {Peter R. J. Asveld and
                  John V. Tucker},
  title        = {Complexity Theory and the Operational Structure of Algebraic Programming
                  Systems},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {451--476},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264163},
  doi          = {10.1007/BF00264163},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AsveldT82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/AutebertBB82,
  author       = {Jean{-}Michel Autebert and
                  Joffroy Beauquier and
                  Luc Boasson},
  title        = {Formes de langages et de grammaires},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {193--213},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00288970},
  doi          = {10.1007/BF00288970},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AutebertBB82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BaccelliF82,
  author       = {Fran{\c{c}}ois Baccelli and
                  Thierry Fleury},
  title        = {On Parsing Arithmetic Expressions in a Multiprocessing Environment},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {287--310},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264355},
  doi          = {10.1007/BF00264355},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BaccelliF82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Blum82,
  author       = {Norbert Blum},
  title        = {On the Power of Chain Rules in Context Free Grammars},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {425--433},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264161},
  doi          = {10.1007/BF00264161},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Blum82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Cristian82,
  author       = {Flaviu Cristian},
  title        = {Robust Data Types},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {365--397},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264158},
  doi          = {10.1007/BF00264158},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Cristian82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/DemersKR82,
  author       = {Alan J. Demers and
                  C. Keleman and
                  Bernd Reusch},
  title        = {On Some Decidable Properties of Finite State Translations},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {349--364},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264358},
  doi          = {10.1007/BF00264358},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/DemersKR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Doberkat82,
  author       = {Ernst{-}Erich Doberkat},
  title        = {Deleting the Root of a Heap},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {245--265},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264353},
  doi          = {10.1007/BF00264353},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Doberkat82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GergelyU82,
  author       = {Tam{\'{a}}s Gergely and
                  L{\'{a}}szl{\'{o}} {\'{U}}ry},
  title        = {A Theory of Interactive Programming},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {1--20},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00262972},
  doi          = {10.1007/BF00262972},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GergelyU82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HuddlestonM82,
  author       = {Scott Huddleston and
                  Kurt Mehlhorn},
  title        = {A New Data Structure for Representing Sorted Lists},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {157--184},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00288968},
  doi          = {10.1007/BF00288968},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HuddlestonM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Huwig82,
  author       = {Hagen Huwig},
  title        = {Ein Modell des \emph{P=NP} -Problems mit einer positiven L{\"{o}}sung},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {221--243},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00288972},
  doi          = {10.1007/BF00288972},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Huwig82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Huynh82,
  author       = {Thiet{-}Dung Huynh},
  title        = {Remarks on the Complexity of an Invariant of Context-Free Grammars},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {89--99},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00262978},
  doi          = {10.1007/BF00262978},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Huynh82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ItaiR82,
  author       = {Alon Itai and
                  Michael Rodeh},
  title        = {Representation of Graphs},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {215--219},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00288971},
  doi          = {10.1007/BF00288971},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ItaiR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/JajaS82,
  author       = {Joseph F. J{\'{a}}J{\'{a}} and
                  Janos Simon},
  title        = {Space Efficient Algorithms for Some Graph Theoretical Problems},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {411--423},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264160},
  doi          = {10.1007/BF00264160},
  timestamp    = {Fri, 02 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/JajaS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kessels82,
  author       = {Joep L. W. Kessels},
  title        = {Arbitration Without Common Modifiable Variables},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {135--141},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00288966},
  doi          = {10.1007/BF00288966},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kessels82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LeungC82,
  author       = {Clement H. C. Leung and
                  Qui Hoon Choo},
  title        = {The Effect of Fixed-Length Record Implementation on File System Response},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {399--409},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264159},
  doi          = {10.1007/BF00264159},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LeungC82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LiuLL82,
  author       = {C. L. Liu and
                  Jane W.{-}S. Liu and
                  Arthur L. Liestman},
  title        = {Scheduling with Slack Time},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {31--41},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00262974},
  doi          = {10.1007/BF00262974},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LiuLL82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Martinez82,
  author       = {Michel Martinez},
  title        = {Program Behavior Prediction and Prepaging},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {101--120},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00262979},
  doi          = {10.1007/BF00262979},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Martinez82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Miyano82,
  author       = {Satoru Miyano},
  title        = {A Hierarchy Theorem for Multihead Stack-Counter Automata},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {63--67},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00262976},
  doi          = {10.1007/BF00262976},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Miyano82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/OvermarsL82,
  author       = {Mark H. Overmars and
                  Jan van Leeuwen},
  title        = {Dynamic Multi-Dimensional Data Structures Based on Quad- and \emph{
                  {K} - {D} } Trees},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {267--285},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264354},
  doi          = {10.1007/BF00264354},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/OvermarsL82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Pritchard82,
  author       = {Paul Pritchard},
  title        = {Explaining the Wheel Sieve},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {477--485},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264164},
  doi          = {10.1007/BF00264164},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Pritchard82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Rabin82,
  author       = {Michael O. Rabin},
  title        = {The Choice Coordination Problem},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {121--134},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00288965},
  doi          = {10.1007/BF00288965},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Rabin82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/RaihaS82,
  author       = {Kari{-}Jouko R{\"{a}}ih{\"{a}} and
                  Mikko Saarinen},
  title        = {Testing Attribute Grammars for Circularity},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {185--192},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00288969},
  doi          = {10.1007/BF00288969},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/RaihaS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/RozenbergV82,
  author       = {Grzegorz Rozenberg and
                  R. Verraedt},
  title        = {Completeness of \emph{ {E} } 0 \emph{ {L} } Forms is Decidable},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {69--87},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00262977},
  doi          = {10.1007/BF00262977},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/RozenbergV82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Shore82,
  author       = {John E. Shore},
  title        = {Information Theoretic Approximations for \emph{ {M/G/} } 1 und \emph{
                  {G/G/} } 1 Queuing Systems},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {43--61},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00262975},
  doi          = {10.1007/BF00262975},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Shore82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Snyder82,
  author       = {Lawrence Snyder},
  title        = {Recognition and Selection of Idioms for Code Optimization},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {327--348},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264357},
  doi          = {10.1007/BF00264357},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Snyder82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Soisalon-SoininenW82,
  author       = {Eljas Soisalon{-}Soininen and
                  Derick Wood},
  title        = {On a Covering Relation for Context-Free Grammars},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {435--449},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264162},
  doi          = {10.1007/BF00264162},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Soisalon-SoininenW82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Staphylopatis82,
  author       = {Andreas Staphylopatis},
  title        = {Performance Considerations in the Parallel Execution of Numerical
                  Algorithms on two Processors},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {311--325},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264356},
  doi          = {10.1007/BF00264356},
  timestamp    = {Fri, 30 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Staphylopatis82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Vasudevan82,
  author       = {Sridhar Vasudevan},
  title        = {Inner Loops in Flowgraphs and Code Optimization},
  journal      = {Acta Informatica},
  volume       = {17},
  pages        = {143--155},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00288967},
  doi          = {10.1007/BF00288967},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Vasudevan82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.