The Leadership Quarterly: State of the journal
- 期刊名称The Leadership Quarterly
- 作者Antonakis, John; Banks, George C.; Bastardoz, Nicolas; Cole, Michael S.; Day, David V.; Eagly, Alice H.; Epitropaki, Olga; Foti, Roseanne R.; Gardner, William L.; Haslam, S. Alexander; Hogg, Michael A.; Kark, Ronit; Lowe, Kevin B.; Podsakoff, Philip M.; Spain, Seth M.; Stoker, Janka I.; Van Quaquebeke, Niels; van Vugt, Mark; Vera, Dusya; Weber, Roberto
- 印刷ISSN1048-9843
- 文件大小666.29KB
- 发表时间2019-2
- DOI10.1016/j.leaqua.2019.01.001
Monotonic Abstraction in Parameterized VerificationParosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine · 2008
Proofs as computations in linear logicGiorgio Delzanno; Maurizio Martelli · 2001
Constraint-based deductive model checkingGiorgio Delzanno; Andreas Podelski · 2001
Reachability problems in BioAmbientsGiorgio Delzanno; Gianluigi Zavattaro · 2012
PREFACEDELZANNO, GIORGIO; POTAPOV, IGOR · International Journal of Foundations of Computer Science · 2013
Model checking linear logic specificationsBOZZANO, MARCO; DELZANNO, GIORGIO; MARTELLI, MAURIZIO · Theory and Practice of Logic Programming · 2004
Parameterized verificationAbdulla, Parosh A.; Delzanno, Giorgio · International Journal on Software Tools for Technology Transfer · 2016
Deciding Reachability in Mobile Ambients with Name RestrictionGiorgio Delzanno; Roberto Montagna · 2009
SWI-PrologWIELEMAKER, JAN; SCHRIJVERS, TOM; TRISKA, MARKUS; LAGER, TORBJÖRN · Theory and Practice of Logic Programming · 2012
Probabilistic reasoning with answer setsBARAL, CHITTA; GELFOND, MICHAEL; RUSHTON, NELSON · Theory and Practice of Logic Programming · 2009
The YAP Prolog systemCOSTA, VÍTOR SANTOS; ROCHA, RICARDO; DAMAS, LUÍS · Theory and Practice of Logic Programming · 2012
Viterbi training in PRISMSATO, TAISUKE; KUBOTA, KEIICHI · Theory and Practice of Logic Programming · 2015
Unfolding for CHR programsGABBRIELLI, MAURIZIO; MEO, MARIA CHIARA; TACCHELLA, PAOLO; WIKLICKY, HERBERT · Theory and Practice of Logic Programming · 2015
Delimited continuations for prologSCHRIJVERS, TOM; DEMOEN, BART; DESOUTER, BENOIT; WIELEMAKER, JAN · Theory and Practice of Logic Programming · 2013
Greedy algorithms in DatalogGRECO, SERGIO; ZANIOLO, CARLO · Theory and Practice of Logic Programming · 2001
A tribute to Alain ColmerauerCOHEN, JACQUES · Theory and Practice of Logic Programming · 2001