default search action

combined dblp search
author search
venue search
publication search

ask others

Ligia Nistor

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/NistorA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/NistorA17
Ligia Nistor, Jonathan Aldrich:
The Implementation of Object Propositions: The Oprop Verification Tool. FACS 2017: 179-197
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Nistor17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Nistor17
Ligia Nistor:
Verifying the proxy design pattern using object propositions. SPLASH (Companion Volume) 2017: 30-32
2016
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/Nistor16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/Nistor16
Ligia Nistor:
The modularity of object propositions. MODULARITY (Companion) 2016: 22
2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Nistor15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Nistor15
Ligia Nistor:
The Oprop verification tool: object propositions in action. SPLASH (Companion Volume) 2015: 89-90
2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/OmarKNCPA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/OmarKNCPA14
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich:
Safely Composable Type-Specific Languages. ECOOP 2014: 105-130
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/NistorABM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/NistorABM14
Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert:
Object Propositions. FM 2014: 497-513
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hotsos/KurilovaONCPA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotsos/KurilovaONCPA14
Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich:
Type-specific languages to fight injection attacks. HotSoS 2014: 18
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LoosPN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LoosPN11
Sarah M. Loos, André Platzer, Ligia Nistor:
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. FM 2011: 42-56
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/eScience/MalikNG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eScience/MalikNG10
Tanu Malik, Ligia Nistor, Ashish Gehani:
Tracking and Sketching Distributed Data Provenance. eScience 2010: 190-197

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.