Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Erik Zawadzki

Erik Peter Zawadzki

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

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

2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/GhorbalJZPGC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/GhorbalJZPGC14
Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell:
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. J. Aerosp. Inf. Syst. 11(10): 702-713 (2014)

Conference and Workshop Papers

see FAQ

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

2015
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZawadzkiL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZawadzkiL15
Erik Peter Zawadzki, Sébastien Lahaie:
Nonparametric Scoring Rules. AAAI 2015: 3635-3641
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/JeanninGKGSZP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/JeanninGKGSZP15
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer:
Formal verification of ACAS X, an industrial airborne collision avoidance system. EMSOFT 2015: 127-136
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JeanninGKGSZP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JeanninGKGSZP15
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer:
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. TACAS 2015: 21-36
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cloud/AmurRAKSBZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloud/AmurRAKSBZ13
Hrishikesh Amur, Wolfgang Richter, David G. Andersen, Michael Kaminsky, Karsten Schwan, Athula Balachandran, Erik Zawadzki:
Memory-efficient groupby-aggregate using compressed buffer trees. SoCC 2013: 18:1-18:16
[c2]
- view
- export record
  dblp key:
  - conf/ijcai/ZawadzkiPG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ZawadzkiPG13
Erik Peter Zawadzki, André Platzer, Geoffrey J. Gordon:
A Generalization of SAT and #SAT for Robust Policy Evaluation. IJCAI 2013: 2583-2590
2011
[c1]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jmlr/ZawadzkiGP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmlr/ZawadzkiGP11
Erik Zawadzki, Geoffrey J. Gordon, André Platzer:
An Instantiation-Based Theorem Prover for First-Order Programming. AISTATS 2011: 855-863

Informal and Other Publications

see FAQ

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

2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZawadzkiLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZawadzkiLL14
Erik Zawadzki, Asher Lipson, Kevin Leyton-Brown:
Empirically Evaluating Multiagent Learning Algorithms. CoRR abs/1401.8074 (2014)

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.