Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Laura K. Dillon

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with P. M. Melliar-Smith

> Home > Persons > Laura K. Dillon

Publications

1997
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/MoserRKMD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/MoserRKMD97
Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon:
A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Trans. Softw. Eng. Methodol. 6(1): 31-79 (1997)
1996
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MoserMRKD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MoserMRKD96
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
Automated Deduction in a Graphical Temporal Logic. J. Appl. Non Class. Logics 6(1): 29-47 (1996)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RamakrishnaMMDK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RamakrishnaMMDK96
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty:
Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theor. Comput. Sci. 166(1&2): 1-47 (1996)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RamakrishnaMMDK96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RamakrishnaMMDK96a
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty:
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. Theor. Comput. Sci. 170(1-2): 1-46 (1996)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/MoserMRKD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MoserMRKD96
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
The Real-Time Graphical Interval Logic Toolset. CAV 1996: 446-449
1995
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KuttyMMRD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KuttyMMRD95
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon:
Axiomatizations of Interval Logics. Fundam. Informaticae 24(4): 313-331 (1995)
1994
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DillonKMMR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DillonKMMR94
Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
A Graphical Interval Logic for Specifying Concurrent Systems. ACM Trans. Softw. Eng. Methodol. 3(2): 131-165 (1994)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/DillonKMMR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/DillonKMMR94
Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna:
Visual Specifications for Temporal Reasoning. J. Vis. Lang. Comput. 5(1): 61-81 (1994)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ictl/KuttyMMDR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictl/KuttyMMDR94
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna:
First-Order Future Interval Logic. ICTL 1994: 195-209
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ictl/Melliar-SmithMRKD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictl/Melliar-SmithMRKD94
P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
A System for Automated Deduction in Graphical Interval Logic. ICTL 1994: 540-542
1993
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KuttyRMDM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KuttyRMDM93
George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith:
A Graphical Interval Logic Toolset for Verifying Concurrent Systems. CAV 1993: 138-153
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/RamakrishnaDMMK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/RamakrishnaDMMK93
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty:
A Real-Time Interval Logic and Its Decision Procedure. FSTTCS 1993: 173-192
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/RamakrishnaMMDK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/RamakrishnaMMDK93
Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty:
Really visual temporal reasoning. RTSS 1993: 262-273
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/KuttyDMMR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/KuttyDMMR93
George Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
Visual Tools for Temporal Reasoning. VL 1993: 152-159
1992
[j7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/RamakrishnaMDMK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/RamakrishnaMDMK92
Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, George Kutty:
An automata-theoretic decision procedure for propositional temporal logic with since and until. Fundam. Informaticae 17(3): 271-282 (1992)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/RamakrishnaDMMK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/RamakrishnaDMMK92
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty:
An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS 1992: 51-67
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DillonKMMR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DillonKMMR92
Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224

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.