The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Michael Fisher: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cláudia Nalon, Clare Dixon, Michael Fisher
    Resolution for Synchrony and No Learning. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:231-248 [Conf]
  2. Michael Fisher, Alexei Lisitsa
    Monodic ASMs and Temporal Verification. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:95-110 [Conf]
  3. Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge
    Model checking agentspeak. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:409-416 [Conf]
  4. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    State-Space Reduction Techniques in Agent Verification. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:896-903 [Conf]
  5. Michael Fisher, Chiara Ghidini
    The abc of rational agent modelling. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:849-856 [Conf]
  6. Michael Fisher
    If Z Is the Answer, What Could the Question Possibly Be? [Citation Graph (0, 0)][DBLP]
    ATAL, 1996, pp:65-66 [Conf]
  7. Michael Fisher
    Representing Abstract Agent Architectures. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:227-241 [Conf]
  8. Marco Mulder, Jan Treur, Michael Fisher
    Agent Modelling in METATEM and DESIRE. [Citation Graph (0, 0)][DBLP]
    ATAL, 1997, pp:193-207 [Conf]
  9. Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
    Model checking multi-agent systems with MABLE. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:952-959 [Conf]
  10. Howard Barringer, Michael Fisher, Graham Gough
    Fair SMG and Linear Time Model Checking. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:133-150 [Conf]
  11. Anatoli Degtyarev, Michael Fisher, Boris Konev
    Monodic Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:397-411 [Conf]
  12. Michael Fisher
    A Normal Form for First-Order Temporal Formulae. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:370-384 [Conf]
  13. Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge
    Model Checking Multi-Agent Programs with CASP. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:110-113 [Conf]
  14. Michael Fisher
    Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:129-142 [Conf]
  15. Michael Fisher, Chiara Ghidini, Benjamin Hirsch
    Programming Groups of Rational Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA IV, 2004, pp:16-33 [Conf]
  16. Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta
    Organising Software in Active Environments. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:265-280 [Conf]
  17. Adam Kellett, Michael Fisher
    Concurrent METATEM as a Coordination Language. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:418-421 [Conf]
  18. Michael Fisher, Chiara Ghidini, Benjamin Hirsch
    Organising Computation through Dynamic Grouping. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:117-136 [Conf]
  19. Michael Wooldridge, Michael Fisher
    A First-Order Branching Time Logic of Multi-Agent System. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:234-238 [Conf]
  20. Michael Fisher
    Representing and Executing Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
    ECAI Workshop on Agent Theories, Architectures, and Languages, 1994, pp:307-323 [Conf]
  21. Nivea de C. Ferreira, Michael Fisher, Wiebe van der Hoek
    Logical Implementation of Uncertain Agents. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:536-547 [Conf]
  22. Michael Fisher, Michael Wooldridge
    Specifying and Verifying Distributed Intelligence Systems. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:13-28 [Conf]
  23. R. I. Scott, Michael Fisher, John A. Keane
    Parallel Temporal Tableaux. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1998, pp:852-861 [Conf]
  24. Michael Fisher
    Direct Execution of Agent Specifications. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:163- [Conf]
  25. Michael Fisher, Chiara Ghidini, Benjamin Hirsch
    Organising Logic-Based Agents. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:15-27 [Conf]
  26. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Verification within the KARO Agent Theory. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:33-47 [Conf]
  27. Michael Fisher, Michael Wooldridge, Clare Dixon
    A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:178-192 [Conf]
  28. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher
    Normal Forms and Proofs in Combined Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:73-87 [Conf]
  29. Michael Fisher
    Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    ICMAS, 2000, pp:127-134 [Conf]
  30. Clare Dixon, Michael Fisher, Howard Barringer
    A Graph-Based Approach to Resolution in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:415-429 [Conf]
  31. Michael Fisher
    A Survey of Concurrent METATEM - the Language and its Applications. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:480-505 [Conf]
  32. Michael Wooldridge, Michael Fisher
    A Decision Procedure for a Temporal Belief Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:317-331 [Conf]
  33. Michael Fisher
    A Resolution Method for Temporal Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:99-104 [Conf]
  34. Michael Fisher
    Towards a Semantics for Concurrent METATEM. [Citation Graph (0, 0)][DBLP]
    Executable Modal and Temporal Logics, 1993, pp:86-102 [Conf]
  35. Michael Fisher
    Implementing BDI-like Systems by Direct Execution. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:316-321 [Conf]
  36. Michael Fisher, Chiara Ghidini
    Programming Resource-Bounded Deliberative Agents. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:200-205 [Conf]
  37. Michael Fisher, Richard Owens
    An Introduction to Executable Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Executable Modal and Temporal Logics, 1993, pp:1-20 [Conf]
  38. Clare Dixon, Michael Fisher, Boris Konev
    Tractable Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:318-323 [Conf]
  39. Nivea de C. Ferreira, Michael Fisher, Wiebe van der Hoek
    Practical Reasoning for Uncertain Agents. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:82-94 [Conf]
  40. Anatoli Degtyarev, Michael Fisher
    Towards First-Order Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:18-32 [Conf]
  41. M. Carmen Fernández Gago, Michael Fisher, Clare Dixon
    Algorithms for Guiding Clausal Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    KI, 2002, pp:235-252 [Conf]
  42. Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter
    Meta-Reasoning in Executable Temporal Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:40-49 [Conf]
  43. James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
    Searching for Invariants Using Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:86-101 [Conf]
  44. Michael Fisher, Richard Owens
    From the Past to the Future: Executing Temporal Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:369-380 [Conf]
  45. Boris Konev, Anatoli Degtyarev, Michael Fisher
    Handling Equality in Monodic Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:214-228 [Conf]
  46. Michael Fisher, Michael Wooldridge
    Distributed Problem-Solving as Concurrent Theorem Proving. [Citation Graph (0, 0)][DBLP]
    MAAMAW, 1997, pp:128-140 [Conf]
  47. Alexander Bolotov, Clare Dixon, Michael Fisher
    Clausal Resolution for CTL*. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:137-148 [Conf]
  48. Michael Fisher
    Concurrent METATEM - A Language for Modelling Reactive Systems. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:185-196 [Conf]
  49. Michael Fisher, Robert Johnson, John A. Keane
    Graph Structure Management in Parallel Symbolic Systems. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Systems, 1995, pp:210-215 [Conf]
  50. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Verifiable Multi-agent Programs. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2003, pp:72-89 [Conf]
  51. Michael Fisher
    MetateM: The Story so Far. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2005, pp:3-22 [Conf]
  52. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
    METATEM: A Framework for Programming in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:94-129 [Conf]
  53. Clare Dixon, Michael Fisher
    Tableaux for Synchronous Systems of Knowledge and Time with Interactions. [Citation Graph (0, 0)][DBLP]
    SCAI, 1997, pp:28-39 [Conf]
  54. Anatoli Degtyarev, Michael Fisher, Boris Konev
    A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:85-99 [Conf]
  55. Adam Kellett, Michael Fisher
    Automata Representations for Concurrent METATEM. [Citation Graph (0, 0)][DBLP]
    TIME, 1997, pp:12-19 [Conf]
  56. Clare Dixon, Michael Fisher
    Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. [Citation Graph (0, 0)][DBLP]
    TIME, 2000, pp:69-78 [Conf]
  57. Clare Dixon, Michael Fisher
    The Set of Support Strategy in Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    TIME, 1998, pp:113-120 [Conf]
  58. Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
    Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:148-151 [Conf]
  59. Clare Dixon, Cláudia Nalon, Michael Fisher
    Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:62-71 [Conf]
  60. Alexander Bolotov, Michael Fisher
    A Resolution Method For CTL Branching-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 1997, pp:20-27 [Conf]
  61. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Reasoning about agents in the KARO framework. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:206-213 [Conf]
  62. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
    Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:72-82 [Conf]
  63. Clare Dixon, Michael Fisher, Boris Konev
    Is There a Future for Deductive Temporal Verification? [Citation Graph (0, 0)][DBLP]
    TIME, 2006, pp:11-18 [Conf]
  64. Michael Fisher, Chiara Ghidini
    Agents with Bounded Temporal Resources. [Citation Graph (0, 0)][DBLP]
    Foundations and Applications of Multi-Agent Systems, 2002, pp:169-184 [Conf]
  65. Michael Fisher, Boris Konev, Alexei Lisitsa
    Practical Infinite-State Verification with Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    VISSAS, 2005, pp:91-100 [Conf]
  66. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Verifying Multi-agent Programs by Model Checking. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2006, v:12, n:2, pp:239-256 [Journal]
  67. Michael Fisher
    Temporal Development Methods for Agent-Based. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2004, v:10, n:1, pp:41-66 [Journal]
  68. Clare Dixon, Michael Fisher, Alexander Bolotov
    Clausal resolution in a logic of rational agency. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:139, n:1, pp:47-89 [Journal]
  69. Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke
    Combinations of Modal Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 2002, v:17, n:1, pp:1-20 [Journal]
  70. Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat
    Guest editorial: Temporal representation and reasoning. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:231-234 [Journal]
  71. Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling
    Introduction. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:131-133 [Journal]
  72. Clare Dixon, Alexander Bolotov, Michael Fisher
    Alternating automata and temporal logic normal forms. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:263-285 [Journal]
  73. Anatoli Degtyarev, Michael Fisher, Boris Konev
    Monodic temporal resolution [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  74. Michael Fisher, Clare Dixon, Martin Peim
    Clausal Temporal Resolution [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  75. Paolo Ballarini, Michael Fisher, Michael Wooldridge
    Automated Game Analysis via Probabilistic Model Checking: a case study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:125-137 [Journal]
  76. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Model Checking Rational Agents. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2004, v:19, n:5, pp:46-52 [Journal]
  77. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
    METATEM: An Introduction. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:533-549 [Journal]
  78. Michael Fisher
    A Model Checker for Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:3, pp:299-319 [Journal]
  79. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
    Mechanising first-order temporal resolution. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:55-86 [Journal]
  80. Michael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons
    Model Checking for Multiagent Systems: the Mable Language and its Applications. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:2, pp:195-226 [Journal]
  81. Michael Fisher, Michael Wooldridge
    On the Formal Specification and Verification of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:37-66 [Journal]
  82. Clare Dixon, Cláudia Nalon, Michael Fisher
    Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2004, v:14, n:4, pp:397-445 [Journal]
  83. Michael Wooldridge, Clare Dixon, Michael Fisher
    A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1998, v:8, n:3, pp:- [Journal]
  84. Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge
    Logic-Based Agent Verification. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:193-195 [Journal]
  85. M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
    First-Order Temporal Verification in Practice. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:34, n:3, pp:295-321 [Journal]
  86. Alexander Bolotov, Michael Fisher
    A clausal resolution method for CTL branching-time temporal logic. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:77-93 [Journal]
  87. Michael Fisher
    Temporal Semantics for Concurrent Metatem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:5/6, pp:627-648 [Journal]
  88. Alexander Bolotov, Michael Fisher, Clare Dixon
    On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:4, pp:561-581 [Journal]
  89. Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:1, pp:1- [Journal]
  90. Clare Dixon, Michael Fisher, Michael Wooldridge
    Resolution for Temporal Logics of Knowledge. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:3, pp:345-372 [Journal]
  91. Michael Fisher
    A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:4, pp:429-456 [Journal]
  92. Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
    Equality and Monodic First-Order Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:2, pp:147-156 [Journal]
  93. Anatoli Degtyarev, Michael Fisher, Boris Konev
    Monodic temporal resolution. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:1, pp:108-150 [Journal]
  94. Michael Fisher, Clare Dixon, Martin Peim
    Clausal temporal resolution. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:1, pp:12-56 [Journal]
  95. Clare Dixon, Michael Fisher, Boris Konev
    Temporal Logic with Capacity Constraints. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:163-177 [Conf]
  96. Michael Fisher, Wiebe van der Hoek
    Logics in AI: post-proceedings JELIA06 (Editorial). [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:227-229 [Journal]
  97. Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
    Efficient First-Order Temporal Logic for Infinite-State Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  98. Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
    Temporal Logics of Knowledge and their Applications in Security. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:186, n:, pp:27-42 [Journal]

  99. A flexible framework for verifying agent programs. [Citation Graph (, )][DBLP]


  100. Language Constructs for Multi-agent Programming. [Citation Graph (, )][DBLP]


  101. Taming the Complexity of Temporal Epistemic Reasoning. [Citation Graph (, )][DBLP]


  102. Automated Verification of Multi-Agent Programs. [Citation Graph (, )][DBLP]


  103. A Common Semantic Basis for BDI Languages. [Citation Graph (, )][DBLP]


  104. Programming Verifiable Heterogeneous Agent Systems. [Citation Graph (, )][DBLP]


  105. Practical First-Order Temporal Reasoning. [Citation Graph (, )][DBLP]


  106. Formal verification of human-robot teamwork. [Citation Graph (, )][DBLP]


  107. A Common Basis for Agent Organisation in BDI Languages. [Citation Graph (, )][DBLP]


  108. Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. [Citation Graph (, )][DBLP]


  109. Agent Based Approaches to Engineering Autonomous Space Software [Citation Graph (, )][DBLP]


  110. Proceedings FM-09 Workshop on Formal Methods for Aerospace [Citation Graph (, )][DBLP]


Search in 0.089secs, Finished in 0.094secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002