The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anna Ingólfsdóttir: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    Equational Axioms for Probabilistic Bisimilarity. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:239-253 [Conf]
  2. Luca Aceto, Anna Ingólfsdóttir
    An Equational Axiomatization of Observation Congruence for Prefix Iteration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:195-209 [Conf]
  3. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Finite Equational Bases in Process Algebra: Results and Open Questions. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:338-367 [Conf]
  4. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain
    Bisimilarity Is Not Finitely Based over BPA with Interrupt. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:52-66 [Conf]
  5. Luca Aceto, Anna Ingólfsdóttir
    A Theory of Testing for ACP. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:78-95 [Conf]
  6. Anna Ingólfsdóttir
    Weak Semantics Based on Lighted Button Pressing Experiments. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:226-243 [Conf]
  7. Anna Ingólfsdóttir, Andrea Schalk
    A Fully Abstract Denotational Model for Observational Precongruence. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:335-361 [Conf]
  8. Daniel Gudbjartsson, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
    Single Point Algorithms in Genetic Linkage Analysis. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2003, pp:372-383 [Conf]
  9. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    Axiomatizing Tropical Semirings. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:42-56 [Conf]
  10. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    A Cook's Tour of Equational Axiomatizations for Prefix Iteration. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:20-34 [Conf]
  11. Luca Aceto, Anna Ingólfsdóttir
    Testing Hennessy-Milner Logic with Recursion. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:41-55 [Conf]
  12. Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir
    On the Axiomatizability of Priority. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:480-491 [Conf]
  13. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    A Finite Equational Base for CCS with Left Merge and Communication Merge. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:492-503 [Conf]
  14. Matthew Hennessy, Anna Ingólfsdóttir
    A Theory of Communicating Processes with Value-Passing. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:209-219 [Conf]
  15. Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
    The Complexity of Checking Consistency of Pedigree Information and Related Problems. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:174-187 [Conf]
  16. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. [Citation Graph (0, 0)][DBLP]
    STACS, 2000, pp:267-278 [Conf]
  17. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    2-Nested Simulation Is Not Finitely Equationally Axiomatizable. [Citation Graph (0, 0)][DBLP]
    STACS, 2001, pp:39-50 [Conf]
  18. Luca Aceto, Anna Ingólfsdóttir
    CPO Models for a Class of GSOS Languages. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:439-453 [Conf]
  19. Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist
    Relating semantic models for the object calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  20. Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir
    Verification of the legOS Scheduler using Uppaal. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  21. Anna Ingólfsdóttir, Rosario Pugliese
    Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal]
  22. Matthew Hennessy, Anna Ingólfsdóttir
    Communicating Processes with Value-passing and Assignments. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:5, pp:432-466 [Journal]
  23. Samson Abramsky, Luca Aceto, Anna Ingólfsdóttir
    Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:165, n:2, pp:119-122 [Journal]
  24. Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir
    Nested semantics over finite trees are equationally hard. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:191, n:2, pp:203-232 [Journal]
  25. Luca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir
    Axiomatizing Prefix Iteration with Silent Steps. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:127, n:1, pp:26-40 [Journal]
  26. Luca Aceto, Anna Ingólfsdóttir
    CPO Models for Compact GSOS Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:129, n:2, pp:107-141 [Journal]
  27. Matthew Hennessy, Anna Ingólfsdóttir
    A Theory of Communicating Processes with Value Passing [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:107, n:2, pp:202-236 [Journal]
  28. Anna Ingólfsdóttir
    A semantic theory for value-passing processes based on the late approach. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:1, pp:1-44 [Journal]
  29. Bernhard Steffen, Anna Ingólfsdóttir
    Characteristic Formulae for Processes with Divergence [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:110, n:1, pp:149-163 [Journal]
  30. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    A note on an expressiveness hierarchy for multi-exit iteration. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:87, n:1, pp:17-23 [Journal]
  31. Luca Aceto, Anna Ingólfsdóttir
    A Characterization of Finitary Bisimulation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:64, n:3, pp:127-134 [Journal]
  32. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    A Fully Equational Proof of Parikh's Theorem. [Citation Graph (0, 0)][DBLP]
    ITA, 2002, v:36, n:2, pp:129-153 [Journal]
  33. Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen
    Characteristic formulae for timed automata. [Citation Graph (0, 0)][DBLP]
    ITA, 2000, v:34, n:6, pp:565-584 [Journal]
  34. Zoltán Ésik, Anna Ingólfsdóttir
    Foreword. [Citation Graph (0, 0)][DBLP]
    ITA, 2003, v:37, n:4, pp:272- [Journal]
  35. Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
    The Complexity of Checking Consistency of Pedigree Information and Related Problems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:1, pp:42-59 [Journal]
  36. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
  37. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:3, pp:193-230 [Journal]
  38. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    Equational theories of tropical semirings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:3, n:298, pp:417-469 [Journal]
  39. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:209, n:1-2, pp:163-178 [Journal]
  40. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik
    Guest editors' foreword: Process Algebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:335, n:2-3, pp:127-129 [Journal]
  41. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    CCS with Hennessy's merge has no finite-equational axiomatization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:330, n:3, pp:377-405 [Journal]
  42. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain
    Bisimilarity is not finitely based over BPA with interrupt. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:60-81 [Journal]
  43. Anna Ingólfsdóttir
    Late and Early Semantics Coincide for Testing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:341-349 [Journal]
  44. Anna Ingólfsdóttir, Andrea Schalk
    A fully abstract denotational model for observational precongruence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:35-61 [Journal]
  45. Anna Ingólfsdóttir, Daniel Gudbjartsson
    Genetic Linkage Analysis Algorithms and Their Implementation. [Citation Graph (0, 0)][DBLP]
    , 2005, v:, n:, pp:123-144 [Journal]
  46. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    Ready to Preorder: Get Your BCCSP Axiomatization for Free! [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:65-79 [Conf]
  47. Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi
    Impossibility Results for the Equational Theory of Timed CCS. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:80-95 [Conf]
  48. Luca Aceto, Anna Ingólfsdóttir
    The Saga of the Axiomatization of Parallel Composition. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:2-16 [Conf]
  49. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  50. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
    A Finite Equational Base for CCS with Left Merge and Communication Merge [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  51. Luca Aceto, Anna Ingólfsdóttir
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:1- [Journal]

  52. Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. [Citation Graph (, )][DBLP]


  53. Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. [Citation Graph (, )][DBLP]


  54. A Rule Format for Unit Elements. [Citation Graph (, )][DBLP]


  55. Teaching Concurrency: Theory in Practice. [Citation Graph (, )][DBLP]


  56. Rule Formats for Determinism and Idempotence. [Citation Graph (, )][DBLP]


  57. Characteristic Formulae for Fixed-Point Semantics: A General Framework [Citation Graph (, )][DBLP]


  58. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002