default search action

combined dblp search
author search
venue search
publication search

ask others

Nina Narodytska

> Home > Persons

Person information

affiliation: VMware Research, USA
affiliation (former): Samsung Research America, Mountain View, USA
affiliation (former): University of New South Wales, Sydney, Australia

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

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

2011
[b1]
- view
  - electronic edition @ unsw.edu.au
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/basesearch/Narodytska11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Narodytska11
Nina Narodytska:
Reformulation of global constraints. University of New South Wales, Sydney, Australia, 2011

Journal Articles

see FAQ

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

2024
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BessiereCDHKLNQSTW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BessiereCDHKLNQSTW24
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. 328: 104075 (2024)
2023
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BessiereCDHKNQSTW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BessiereCDHKNQSTW23
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Learning constraints through partial queries. Artif. Intell. 319: 103896 (2023)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/IzzaHINCM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/IzzaHINCM23
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
On computing probabilistic abductive explanations. Int. J. Approx. Reason. 159: 108939 (2023)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/PatelJN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/PatelJN23
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska:
Towards Future-Based Explanations for Deep RL Network Controllers. SIGMETRICS Perform. Evaluation Rev. 51(2): 100-102 (2023)
2022
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/WuBSNS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/WuBSNS22
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh:
Scalable verification of GNN-based job schedulers. Proc. ACM Program. Lang. 6(OOPSLA2): 1036-1065 (2022)
2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/NarodytskaPSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/NarodytskaPSW16
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh:
Three generalizations of the FOCUS constraint. Constraints An Int. J. 21(4): 495-532 (2016)
2014
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/DaviesKNWX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/DaviesKNWX14
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia:
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Artif. Intell. 217: 20-42 (2014)
2013
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FellowsFHNR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FellowsFHNR13
Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond:
Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable. Theor. Comput. Sci. 472: 81-89 (2013)
2011
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/anor/KatsirelosNW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/anor/KatsirelosNW11
George Katsirelos, Nina Narodytska, Toby Walsh:
The weighted Grammar constraint. Ann. Oper. Res. 184(1): 179-207 (2011)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BordeauxKNV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BordeauxKNV11
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. 40: 657-676 (2011)
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/SinzHNWGSJORDGLFN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/SinzHNWGSJORDGLFN07
Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther M. Gelle, Mihaela Sabin, Ulrich Junker, Barry O'Sullivan, Rick Rabiser, Deepak Dhungana, Paul Grünbacher, Klaus Lehner, Christian Federspiel, Daniel Naus:
Configuration. IEEE Intell. Syst. 22(1): 78-90 (2007)

Conference and Workshop Papers

see FAQ

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

2024
[c80]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/PatelJN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/PatelJN24
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska:
CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems. AAAI 2024: 14563-14571
[c79]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/0001BN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/0001BN24
Haoze Wu, Clark W. Barrett, Nina Narodytska:
Lemur: Integrating Large Language Models in Automated Program Verification. ICLR 2024
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/saiv/MangalNGHRJP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saiv/MangalNGHRJP14
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV 2024: 49-77
2023
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/YuISN023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/YuISN023
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI 2023: 4123-4131
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/JanotaN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/JanotaN23
Mikolas Janota, Nina Narodytska:
The FMCAD 2023 Student Forum. FMCAD 2023: 1-2
2022
[c75]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ShrotriNIM0V22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ShrotriNIM0V22
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi:
Constraint-Driven Explanations for Black-Box ML Models. AAAI 2022: 8304-8314
[c74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sat/NarodytskaB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NarodytskaB22
Nina Narodytska, Nikolaj S. Bjørner:
Analysis of Core-Guided MaxSat Using Cores and Correction Sets. SAT 2022: 26:1-26:20
2021
[c73]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/0001GCIN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/0001GCIN21
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explanations for Monotonic Classifiers. ICML 2021: 7469-7479
[c72]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Ignatiev0NS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Ignatiev0NS21
Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey:
Reasoning-Based Learning of Interpretable ML Models. IJCAI 2021: 4458-4465
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/DethiseCN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/DethiseCN21
Arnaud Dethise, Marco Canini, Nina Narodytska:
Analyzing Learning-Based Networked Systems with Formal Verification. INFOCOM 2021: 1-10
2020
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/IgnatievNA020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/IgnatievNA020
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva:
From Contrastive to Abductive Explanations and Back Again. AI*IA 2020: 335-355
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/ZhangSGGLN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ZhangSGGLN20
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska:
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. ECAI 2020: 1690-1697
[c68]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/NarodytskaZGW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/NarodytskaZGW20
Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh:
In Search for a SAT-friendly Binarized Neural Network Architecture. ICLR 2020
[c67]
- view
  - electronic edition @ neurips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/0001GCIN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/0001GCIN20
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. NeurIPS 2020
[c66]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/SureshLKJNRGOJG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/SureshLKJNRGOJG20
Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch:
Building Scalable and Flexible Cluster Managers Using Declarative Programming. OSDI 2020: 827-844
2019
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/IgnatievNM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/IgnatievNM19
Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
Abduction-Based Explanations for Machine Learning Models. AAAI 2019: 1511-1519
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/NarodytskaRGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/NarodytskaRGS19
Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc:
BDD-Based Algorithms for Packet Classification. FMCAD 2019: 64-68
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/SureshLNRSO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/SureshLNRSO19
Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki:
Synthesizing Cluster Management Code for Distributed Systems. HotOS 2019: 45-50
[c62]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/NieNP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/NieNP19
Weili Nie, Nina Narodytska, Ankit Patel:
RelGAN: Relational Generative Adversarial Networks for Text Generation. ICLR (Poster) 2019
[c61]
- view
- export record
  dblp key:
  - conf/nips/IgnatievNM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/IgnatievNM19
Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
On Relating Explanations and Adversarial Examples. NeurIPS 2019: 15857-15867
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GershuniAGNNRRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GershuniAGNNRRS19
Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv:
Simple and precise static analysis of untrusted Linux kernel extensions. PLDI 2019: 1069-1084
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NarodytskaSMIM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NarodytskaSMIM19
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva:
Assessing Heuristic Machine Learning Explanations with Model Counting. SAT 2019: 267-278
2018
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NarodytskaKRSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NarodytskaKRSW18
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh:
Verifying Properties of Binarized Deep Neural Networks. AAAI 2018: 6615-6624
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/IgnatievPNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/IgnatievPNM18
Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva:
A SAT-Based Approach to Learn Explainable Decision Sets. IJCAR 2018: 627-645
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Narodytska18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Narodytska18
Nina Narodytska:
Formal Verification of Deep Neural Networks. FMCAD 2018: 1
[c55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/NarodytskaBMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/NarodytskaBMS18
Nina Narodytska, Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv:
Core-Guided Minimal Correction Set and Core Enumeration. IJCAI 2018: 1353-1361
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/NarodytskaIPM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/NarodytskaIPM18
Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva:
Learning Optimal Decision Trees with SAT. IJCAI 2018: 1362-1368
[c53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Kasiviswanathan18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Kasiviswanathan18
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin:
Network Approximation using Tensor Sketching. IJCAI 2018: 2319-2325
[c52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Narodytska18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Narodytska18
Nina Narodytska:
Formal Analysis of Deep Binarized Neural Networks. IJCAI 2018: 5692-5696
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KorneevNPTBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KorneevNPTBS18
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. SAT 2018: 438-449
2017
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/cvpr/NarodytskaK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cvpr/NarodytskaK17
Nina Narodytska, Shiva Prasad Kasiviswanathan:
Simple Black-Box Adversarial Attacks on Deep Neural Networks. CVPR Workshops 2017: 1310-1318
2016
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LeggNR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LeggNR16
Alexander Legg, Nina Narodytska, Leonid Ryzhyk:
A SAT-Based Counterexample Guided Method for Unbounded Synthesis. CAV (2) 2016: 364-382
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/ReingoldN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ReingoldN16
Omer Reingold, Nina Narodytska:
Adaptive Condorcet-Based Stopping Rules Can Be Efficient. ECAI 2016: 1704-1705
[c47]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsBBK0KKLNP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV 2016: 149-177
2015
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EenLNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EenLNR15
Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk:
SAT-Based Strategy Extraction in Reachability Games. AAAI 2015: 3738-3745
[c45]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AzizGMMNW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AzizGMMNW15
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Manipulating the Probabilistic Serial Rule. AAMAS 2015: 1451-1459
[c44]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/LoreggiaNRVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LoreggiaNRVW15
Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Controlling Elections by Replacing Candidates or Votes. AAMAS 2015: 1737-1738
[c43]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BjornerN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BjornerN15
Nikolaj S. Bjørner, Nina Narodytska:
Maximum Satisfiability Using Cores and Correction Sets. IJCAI 2015: 246-252
[c42]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/AzizGMMNW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AzizGMMNW15
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Equilibria Under the Probabilistic Serial Rule. IJCAI 2015: 1105-1112
2014
[c41]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/LoreggiaNRVW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LoreggiaNRVW14
Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. MPREF@AAAI 2014
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/OrenNB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/OrenNB14
Joel Oren, Nina Narodytska, Craig Boutilier:
A Game-Theoretic Analysis of Catalog Optimization. AAAI 2014: 1463-1470
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NarodytskaB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NarodytskaB14
Nina Narodytska, Fahiem Bacchus:
Maximum Satisfiability Using Core-Guided MaxSAT Resolution. AAAI 2014: 2717-2723
[c38]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GaspersNNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GaspersNNW14
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and necessary winner problem in social polls. AAMAS 2014: 613-620
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/NarodytskaLBRW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NarodytskaLBRW14
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker:
Solving Games without Controllable Predecessor. CAV 2014: 533-540
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/NarodytskaW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/NarodytskaW14
Nina Narodytska, Toby Walsh:
The Computational Impact of Partial Votes on Strategic Voting. ECAI 2014: 657-662
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/MatteiNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/MatteiNW14
Nicholas Mattei, Nina Narodytska, Toby Walsh:
How Hard Is It to Control an Election by Breaking Ties? ECAI 2014: 1067-1068
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/BessiereHKKNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/BessiereHKKNW14
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh:
Reasoning about Constraint Models. PRICAI 2014: 795-808
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BacchusN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BacchusN14
Fahiem Bacchus, Nina Narodytska:
Cores in Core Based MaxSat Algorithms: An Analysis. SAT 2014: 7-15
2013
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AzizGMNW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AzizGMNW13
Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote. AAAI 2013: 74-80
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KalinowskiNWX13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KalinowskiNWX13
Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia:
Strategic Behavior when Allocating Indivisible Goods Sequentially. AAAI 2013: 452-458
[c30]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/NarodytskaW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/NarodytskaW13
Nina Narodytska, Toby Walsh:
Manipulating two stage voting rules. AAMAS 2013: 423-430
[c29]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GaspersKNW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GaspersKNW13
Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh:
Coalitional manipulation for Schulze's rule. AAMAS 2013: 431-438
[c28]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GaspersNNW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GaspersNNW13
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and necessary winner problem in social polls. AAMAS 2013: 1131-1132
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/NarodytskaW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/NarodytskaW13
Nina Narodytska, Toby Walsh:
Breaking Symmetry with Different Orderings. CP 2013: 545-561
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/NarodytskaW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/NarodytskaW13
Nina Narodytska, Toby Walsh:
An Adaptive Model Restarts Heuristic. CPAIOR 2013: 369-377
[c25]
- view
- export record
  dblp key:
  - conf/ijcai/KalinowskiNW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KalinowskiNW13
Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure. IJCAI 2013: 227-233
[c24]
- view
- export record
  dblp key:
  - conf/ijcai/BessiereCHKLNQW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BessiereCHKLNQW13
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Constraint Acquisition via Partial Queries. IJCAI 2013: 475-481
[c23]
- view
- export record
  dblp key:
  - conf/ijcai/ChuGNSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChuGNSW13
Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh:
On the Complexity of Global Scheduling Constraints under Structural Restrictions. IJCAI 2013: 503-509
[c22]
- view
- export record
  dblp key:
  - conf/ijcai/NarodytskaP0W13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/NarodytskaP0W13
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh:
Three Generalizations of the FOCUS Constraint. IJCAI 2013: 630-636
2012
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DaviesNW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DaviesNW12
Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? AAAI 2012: 1333-1339
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/BordeauxN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/BordeauxN12
Lucas Bordeaux, Nina Narodytska:
On the Violation of Circuits in Decomposable Negation Normal Form. Australasian Conference on Artificial Intelligence 2012: 194-205
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/HaanNW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/HaanNW12
Ronald de Haan, Nina Narodytska, Toby Walsh:
The RegularGcc Matrix Constraint. Australasian Conference on Artificial Intelligence 2012: 206-217
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/KatsirelosNW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/KatsirelosNW12
George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. CP 2012: 332-347
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/NarodytskaWX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/NarodytskaWX12
Nina Narodytska, Toby Walsh, Lirong Xia:
Combining Voting Rules Together. ECAI 2012: 612-617
2011
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DaviesKNW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DaviesKNW11
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. AAAI 2011: 657-662
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NarodytskaWX11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NarodytskaWX11
Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. AAAI 2011: 713-718
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BessiereNQW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BessiereNQW11
Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
The AllDifferent Constraint with Precedences. CPAIOR 2011: 36-52
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/FellowsFHNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FellowsFHNR11
Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond:
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable. IJCAI 2011: 522-527
2010
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BessiereKNQW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BessiereKNQW10
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Propagating Conjunctions of AllDifferent Constraints. AAAI 2010: 27-32
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BessiereKNQW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BessiereKNQW10
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NValue Constraint. CP 2010: 114-128
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/KatsirelosNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/KatsirelosNW10
George Katsirelos, Nina Narodytska, Toby Walsh:
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CP 2010: 305-320
2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/KatsirelosMNW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/KatsirelosMNW09
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh:
Restricted Global Grammar Constraints. CP 2009: 501-508
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/KatsirelosNW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/KatsirelosNW09
George Katsirelos, Nina Narodytska, Toby Walsh:
Reformulating Global Grammar Constraints. CPAIOR 2009: 132-147
[c7]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BessiereKNW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BessiereKNW09
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints. IJCAI 2009: 412-418
[c6]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BessiereKNQW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BessiereKNQW09
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI 2009: 419-424
2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/MaherNQW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/MaherNQW08
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP 2008: 159-174
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/KatsirelosNW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/KatsirelosNW08
George Katsirelos, Nina Narodytska, Toby Walsh:
The Weighted CfgConstraint. CPAIOR 2008: 323-327
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/csclp/KatsirelosNW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csclp/KatsirelosNW08
George Katsirelos, Nina Narodytska, Toby Walsh:
Combining Symmetry Breaking and Global Constraints. CSCLP 2008: 84-98
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BrandNQSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BrandNQSW07
Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh:
Encodings of the Sequence Constraint. CP 2007: 210-224
[c1]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/NarodytskaW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/NarodytskaW07
Nina Narodytska, Toby Walsh:
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. IJCAI 2007: 149-154

Parts in Books or Collections

see FAQ

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

2016
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BessiereDHKLMNQW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BessiereDHKLMNQW16
Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
New Approaches to Constraint Acquisition. Data Mining and Constraint Programming 2016: 51-76

Editorship

see FAQ

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

2024
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/saiv/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saiv/2024
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling:
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings. Lecture Notes in Computer Science 14846, Springer 2024, ISBN 978-3-031-65111-3 [contents]
2023
[e2]
- view
- export record
  dblp key:
  - conf/cav/2023fomlas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2023fomlas
Nina Narodytska, Guy Amir, Guy Katz, Omri Isac:
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023. Kalpa Publications in Computing 16, EasyChair 2023 [contents]
2022
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2022nsv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2022nsv
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi:
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Lecture Notes in Computer Science 13466, Springer 2022, ISBN 978-3-031-21221-5 [contents]

Informal and Other Publications

see FAQ

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

2024
[i55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-19837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-19837
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR abs/2403.19837 (2024)
[i54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-05153
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-05153
Nina Narodytska, Shay Vargaftik:
Lucy: Think and Reason to Solve Text-to-SQL. CoRR abs/2407.05153 (2024)
2023
[i53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-12403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-12403
Sagar Patel, Junyang Zhang, Sangeetha Abdu Jyothi, Nina Narodytska:
Prioritized Trace Selection: Towards High-Performance DRL-based Network Controllers. CoRR abs/2302.12403 (2023)
[i52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-13483
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-13483
Sagar Patel, Sangeetha Abdu Jyothi, Nina Narodytska:
CrystalBox: Future-Based Explanations for DRL Network Controllers. CoRR abs/2302.13483 (2023)
[i51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-04870
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-04870
Haoze Wu, Clark W. Barrett, Nina Narodytska:
Lemur: Integrating Large Language Models in Automated Program Verification. CoRR abs/2310.04870 (2023)
2022
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-13576
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-13576
Parikshit Gopalan, Nina Narodytska, Omer Reingold, Vatsal Sharan, Udi Wieder:
KL Divergence Estimation with Multi-group Attribution. CoRR abs/2202.13576 (2022)
[i49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-03153
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-03153
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh:
Scalable Verification of GNN-based Job Schedulers. CoRR abs/2203.03153 (2022)
[i48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-09569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-09569
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
Provably Precise, Succinct and Efficient Explanations for Decision Trees. CoRR abs/2205.09569 (2022)
[i47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-09551
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-09551
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating The Impossible, Whatever Remains Must Be True. CoRR abs/2206.09551 (2022)
[i46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-05990
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-05990
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
On Computing Probabilistic Abductive Explanations. CoRR abs/2212.05990 (2022)
2021
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-00154
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-00154
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explanations for Monotonic Classifiers. CoRR abs/2106.00154 (2021)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-00546
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-00546
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
Efficient Explanations With Relevant Sets. CoRR abs/2106.00546 (2021)
2020
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-06649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-06649
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Partial Queries for Constraint Acquisition. CoRR abs/2003.06649 (2020)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-05803
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-05803
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. CoRR abs/2008.05803 (2020)
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-11067
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-11067
Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva:
On Relating 'Why?' and 'Why Not?' Explanations. CoRR abs/2012.11067 (2020)
2019
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-02509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-02509
Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
On Validating, Repairing and Refining Heuristic ML Explanations. CoRR abs/1907.02509 (2019)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-03130
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-03130
Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv:
Automating Cluster Management with Weave. CoRR abs/1909.03130 (2019)
2018
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08795
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08795
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR abs/1802.08795 (2018)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-09938
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-09938
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella:
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR abs/1805.09938 (2018)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-10656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10656
Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
Abduction-Based Explanations for Machine Learning Models. CoRR abs/1811.10656 (2018)
2017
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-06662
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-06662
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh:
Verifying Properties of Binarized Deep Neural Networks. CoRR abs/1709.06662 (2017)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-07850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-07850
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin:
Deep Neural Network Approximation using Tensor Sketching. CoRR abs/1710.07850 (2017)
2016
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NarodytskaK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NarodytskaK16
Nina Narodytska, Shiva Prasad Kasiviswanathan:
Simple Black-Box Adversarial Perturbations for Deep Networks. CoRR abs/1612.06299 (2016)
2015
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AzizGMMNW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AzizGMMNW15
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Manipulating the Probabilistic Serial Rule. CoRR abs/1501.06626 (2015)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AzizGMMNW15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AzizGMMNW15a
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Equilibria Under the Probabilistic Serial Rule. CoRR abs/1502.04888 (2015)
2014
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BordeauxKNV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BordeauxKNV14
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. CoRR abs/1401.3887 (2014)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AzizGMNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AzizGMNW14
Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Strategic aspects of the probabilistic serial rule for the allocation of goods. CoRR abs/1401.6523 (2014)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NarodytskaW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NarodytskaW14
Nina Narodytska, Toby Walsh:
The Computational Impact of Partial Votes on Strategic Voting. CoRR abs/1405.7714 (2014)
2013
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-1669
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-1669
Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and Necessary Winner Problem in Social Polls. CoRR abs/1302.1669 (2013)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1303-6107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-6107
Nina Narodytska, Peter Skocovsky, Toby Walsh:
Global SPACING Constraint (Technical Report). CoRR abs/1303.6107 (2013)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-0844
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-0844
Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh:
Coalitional Manipulation for Schulze's Rule. CoRR abs/1304.0844 (2013)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-5892
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5892
Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure. CoRR abs/1304.5892 (2013)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-5970
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5970
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh:
Three Generalizations of the FOCUS Constraint. CoRR abs/1304.5970 (2013)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-6174
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-6174
Nicholas Mattei, Nina Narodytska, Toby Walsh:
How hard is it to control an election by breaking ties? CoRR abs/1304.6174 (2013)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NarodytskaW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NarodytskaW13
Nina Narodytska, Toby Walsh:
Breaking Symmetry with Different Orderings. CoRR abs/1306.5053 (2013)
2012
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1201-0564
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-0564
Ronald de Haan, Nina Narodytska, Toby Walsh:
The RegularGcc Matrix Constraint. CoRR abs/1201.0564 (2012)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1203-3051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-3051
Nina Narodytska, Toby Walsh, Lirong Xia:
Combining Voting Rules Together. CoRR abs/1203.3051 (2012)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-3918
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-3918
Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? CoRR abs/1204.3918 (2012)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1207-1811
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1811
George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. CoRR abs/1207.1811 (2012)
2011
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1103-3745
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-3745
Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
The AllDifferent Constraint with Precedences. CoRR abs/1103.3745 (2011)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1105-5667
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-5667
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. CoRR abs/1105.5667 (2011)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-5312
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-5312
Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. CoRR abs/1106.5312 (2011)
2010
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-2626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-2626
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Propagating Conjunctions of AllDifferent Constraints. CoRR abs/1004.2626 (2010)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1007-0602
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-0602
George Katsirelos, Nina Narodytska, Toby Walsh:
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CoRR abs/1007.0602 (2010)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1007-0603
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-0603
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NVALUE constraint. CoRR abs/1007.0603 (2010)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1007-5104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-5104
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
An Empirical Study of Borda Manipulation. CoRR abs/1007.5104 (2010)
2009
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0903-0475
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-0475
George Katsirelos, Nina Narodytska, Toby Walsh:
Reformulating Global Grammar Constraints. CoRR abs/0903.0475 (2009)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0903-0479
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-0479
George Katsirelos, Nina Narodytska, Toby Walsh:
Combining Symmetry Breaking and Global Constraints. CoRR abs/0903.0479 (2009)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0905-3755
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-3755
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints. CoRR abs/0905.3755 (2009)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0905-3757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-3757
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints. CoRR abs/0905.3757 (2009)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0906-5233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-5233
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh:
Restricted Global Grammar Constraints. CoRR abs/0906.5233 (2009)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0909-3273
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-3273
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NVALUE constraint. CoRR abs/0909.3273 (2009)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0909-4452
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-4452
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CoRR abs/0909.4452 (2009)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0909-4456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-4456
George Katsirelos, Nina Narodytska, Toby Walsh:
The Weighted CFG Constraint. CoRR abs/0909.4456 (2009)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0909-5099
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-5099
George Katsirelos, Nina Narodytska, Toby Walsh:
Breaking Generator Symmetry. CoRR abs/0909.5099 (2009)

Coauthor Index

see FAQ

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.