|
Heading |
Type |
Sample Title
|
1 |
Pnueli, Amir, 1941-2009
Pnueli, Amir.
אמיר פנואלי
أمير بنولي
פנואלי, אמיר, 1941-2009
Pnueli, A. (Amir), 1941-
Pnueli, A.
|
Personal |
Compilation of nonprocedural specifications ... 1981 Compositionality : the significant difference : international symposium, COMPOS
...
Compilation of nonprocedural specifications ... 1981 Temporal Logic in Specification Altrincham, UK, April 8-10, 1987 Proceedings Compilation of nonprocedural specifications ... 1981
|
2 |
Spin
International SPIN Workshop
|
Corporate |
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May
...
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May
...
|
3 |
Emerson, E. Allen
E. Allen Emerson American computer scientist
Emerson, E. Allen 1954-
|
Personal |
CAV 2000
Computer aided verification : 12th international conference, CAV 2000, Chicago,
...
|
4 |
Edelkamp, Stefan
Edelkamp, Stefan, 1969-
Stefan Edelkamp
|
Personal |
Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intell
...
Heuristic search : theory and applications
|
5 |
Namjoshi, Kedar S.
Kedar S. Namjoshi
|
Personal |
ATVA 2007
|
6 |
Mediamatters.org
Media Matters for America.
Media Matters for America Washington, DC
Media Matters for America media watchdog
|
Corporate |
The Fox effect : how Roger Ailes turned a network into a propaganda machine Lies, incorporated : the world of post-truth politics
|
7 |
Fundação Calouste Gulbenkian Comissão Revisora de Contas
|
Corporate |
Relatório ... 1959:
|
8 |
VMCAI 2005 (2005 : Paris, France)
VMCAI 6 2005 Paris
International Conference on Verification, Model Checking, and Abstract Interpret
...
|
Corporate |
Verification, model checking, and abstract interpretation, c2005:
|
9 |
VMCAI
|
Corporate |
Verification, model checking, and abstract interpretation : 9th international co
...
|
10 |
VMCAI (Conference) (16th : 2015 : Mumbai, India)
VMCAI 16. 2015 Mumbai
VMCAI (Conférence) (16e : 2015 : Mumbai, Inde)
|
Corporate |
Verification, model checking, and abstract interpretation, 2015:
|
11 |
VMCAI 2003 (2003 : New York, N.Y.)
VMCAI 4 2003 New York, NY
VMCAI 2003 (2003 : New York, NY)
|
Corporate |
VMCAI 2003 (2003 : New York, NY). Verification, model checking, and abstract int
...
VMCAI 2003 (2003 : New York, NY). Verification, model checking, and abstract int
...
|
12 |
VMCAI 2007 (2007 : Nice, France)
|
Corporate |
Verification, model checking, and abstract interpretation, c2007:
|
13 |
VMCAI 2008 (2008 : San Francisco, Calif.)
|
Corporate |
Verification, model checking, and abstract interpretation, c2008:
|
14 |
VMCAI (Conference) (14th : 2013 : Rome, Italy)
International Conference on Verification, Model Checking, and Abstract Interpret
...
|
Corporate |
Verification, model checking, and abstract interpretation, [2013]: Verification, model checking, and abstract interpretation, [2013]:
|
15 |
VMCAI (Conference) (17th : 2016 : Saint Petersburg, Fla.)
VMCAI 17. 2016 Saint Petersburg, Fla.
VMCAI (Conférence) (17e : 2016 : Saint Petersburg, Flor.)
|
Corporate |
Verification, model checking, and abstract interpretation, [2016]:
|
16 |
VMCAI (Conference) (23rd : 2022 : Philadelphia, Pa.)
VMCAI 23. 2022 Philadelphia, Pa.
|
Corporate |
Verification, model checking, and abstract interpretation, [2022]:
|
17 |
VMCAI 2012 (2012 : Philadelphia, Pa.)
VMCAI 13 2012 Philadelphia, Pa.
|
Corporate |
Verification, model checking and abstract interpretation, c2012:
|
18 |
VMCAI (Conference) (15th : 2014 : San Diego, Calif.)
VMCAI 15 2014 San Diego, Calif.
|
Corporate |
Verification, model checking, and abstract interpretation, [2014]:
|
19 |
Tunisia. Hayʼah al-Waqtīyah li-Murāqabat Dustūrīyat Mashārīʻ al-Qawānīn
الهيئة الوقتية لمراقبة دستورية مشاريع القوانين
|
Corporate |
Qarārāt al-Hayʼah al-Waqtīyah li-Murāqabat Dustūrīyat Mashārīʻ al-Qawān
...
|
20 |
VMCAI 11 2010 Madrid
International Conference on Verification, Model Checking, and Abstract Interpret
...
|
Corporate |
Verification, model checking, and abstract interpretation : 11th international c
...
|
21 |
VMCAI 2002 (2002 : Venice, Italy)
|
Corporate |
Verification, model checking, and abstract interpretation : third international
...
|
22 |
VMCAI (Conference) (19th : 2018 : Los Angeles, Calif.)
VMCAI 19. 2018 Los Angeles, Calif.
|
Corporate |
Verification, model checking, and abstract interpretation, [2018]:
|
23 |
VMCAI (Conference) (21st : 2020 : New Orleans, La.)
VMCAI 21. 2020 New Orleans, La.
|
Corporate |
Verification, model checking, and abstract interpretation, [2020]:
|
24 |
VMCAI (Conference) (18th : 2017 : Paris, France)
VMCAI 18. 2017 Paris
|
Corporate |
Verification, model checking, and abstract interpretation, [2017]:
|
25 |
VMCAI 12 2011 Austin, Tex.
VMCAI 2011 (2011 : Austin, Tex.)
|
Corporate |
Verification, model checking and abstract interpretation, c2011:
|
26 |
Ellington, Duke 1899-1974 | I'm checking out - goom bye
|
Work |
|
27 |
SC-Square Workshop 4. 2019 Bern
|
Corporate |
|
28 |
ROCKS 2012 Vahrn
|
Corporate |
Stochastic model checking rigorous dependability analysis using model checking t
...
|
29 |
International Workshop on Satisfiability Checking and Symbolic Computation 7. 20
...
|
Corporate |
|
30 |
VMCAI 8 2007 Nizza
VMCAI 2007 (8 ; 2007 ; Nicea).
|
Corporate |
|
31 |
International Workshop on Satisfiability Checking and Symbolic Computation 8. 20
...
|
Corporate |
|
32 |
International Workshop on Verification, Model Checking, and Abstract Interpretat
...
VMCAI (Atelier)
|
Corporate |
|
33 |
Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020,. | Model checking | Chinese |
...
|
Expression |
|
34 |
International SPIN Workshop 11 2004 Barcelona
|
Corporate |
|
35 |
International SPIN Workshop 6 1999 Toulouse
|
Corporate |
|
36 |
Congress for Intelligent Combining of Design, Casting, Computer Simulation, Chec
...
|
Corporate |
|
37 |
Seminar on Directed Model Checking 2006 Dagstuhl
|
Corporate |
|
38 |
International Workshop on Satisfiability Checking and Symbolic Computation 6. 20
...
|
Corporate |
|
39 |
Congress for Intelligent Combining of Design, Casting, Computer Simulation, Chec
...
|
Corporate |
|
40 |
VMCAI 2004 (2004 : Venice, Italy)
|
Corporate |
VMCAI 2004 (2004 : Venice, Italy). Verification, model checking, and abstract in
...
|
41 |
MoChArt 4 2006 Riva del Garda
|
Corporate |
|
42 |
Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020,. | Model checking | Chinese |
...
|
Expression |
|
43 |
Schnurre, Wolfdietrich 1920-1989 | Reusenheben
|
Work |
|
44 |
International SPIN Workshop 13 2006 Wien
|
Corporate |
|
45 |
MoChArt 5 2008 Patras
|
Corporate |
|
46 |
VMCAI 2006 (2006 : Charleston, S.C.)
|
Corporate |
Verification, model checking, and abstract interpretation, 2006:
|
47 |
Workshop on Compiler-Assisted Correctness Checking and Performance Optimization
...
|
Corporate |
|
48 |
Workshop on Multimodal Fact Checking and Hate Speech Detection 2. 2023 Washingto
...
|
Corporate |
|
49 |
SPIN 29. 2023 Paris
|
Corporate |
|
50 |
International SPIN Workshop (25th : 2018 : Málaga, Spain)
|
Corporate |
Model checking software, [2018]:
|
51 |
SPIN 19 2012 Oxford
|
Corporate |
|
52 |
SPIN 20 2013 Stony Brook, NY
|
Corporate |
|
53 |
SPIN 23. 2016 Eindhoven
|
Corporate |
|
54 |
International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)
|
Corporate |
Model checking software, 2013:
|
55 |
New York (State). Legislature. Joint Legislative Committee Studying the Problem
...
|
Corporate |
Report to the Legislature of the State of New York, 1946:
|
56 |
United States. | Emergency Price Control Act of 1942
|
Work |
|
57 |
International SPIN Workshop (26th : 2019 : Beijing, China)
|
Corporate |
Model checking software, [2019]:
|
58 |
International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands)
|
Corporate |
Model checking software, [2016]:
|
59 |
New York (State). Legislature. Joint Legislative Committee Studying the Problem
...
|
Corporate |
Report to the Legislature of the State of New York, 1945:
|
60 |
International SPIN Workshop 18 2011 Snowbird, Utah
|
Corporate |
|
61 |
SPIN 2011 (18 : 2011 : Snowbird, US)
|
Corporate |
Model checking software: 18th international SPIN workshop, Snowbird, UT, USA, Ju
...
|
62 |
C3PO 1. 2020 Online
|
Corporate |
|
63 |
International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa)
|
Corporate |
Model checking software, [2015]:
|
64 |
New York (State). Legislature. Joint Legislative Committee Studying the Problem
...
|
Corporate |
Report to the Legislature of the State of New York, 1947:
|
65 |
Workshop on Software Model Checking 3 2005 Edinburgh
|
Corporate |
|
66 |
International SPIN Workshop 15 2008 Los Angeles, Calif.
|
Corporate |
|
67 |
Verhovskij, Boris Isaakovič. | Primenenie radioaktivnyh izotopov dlâ kontrolâ pr
...
|
Expression |
|
68 |
Workshop on Model Checking and Artificial Intelligence
|
Corporate |
|
69 |
MoChArt 2010 (2010 : Atlanta, Ga.)
|
Corporate |
Model checking and artificial intelligence, c2011:
|
70 |
VMCAI 25. 2024 London
|
Corporate |
|
71 |
International SPIN Workshop 5 1999 Trient
|
Corporate |
|
72 |
Bérard, Béatrice. | Vérification de logiciels : techniques et outils du model
...
|
Expression |
|
73 |
VMCAI 14 2013 Rom
|
Corporate |
|
74 |
VMCAI 5 2004 Venedig
|
Corporate |
|
75 |
Vink, Amanda,. | Fun with chemistry : testing and checking | Spanish | (Jiménez
...
|
Expression |
|
76 |
Clasky, Leonard. | Finding the best conductor : testing and checking | Spanish |
...
|
Expression |
|
77 |
International conference on verification, model checking and abstract interpreta
...
|
Corporate |
Verification, model checking, and abstract interpretation : 6th international co
...
|
78 |
International Conference on Verification, Model Checking, and Abstract Interpret
...
|
Corporate |
Verification, model checking, and abstract interpretation : 10th international c
...
|
79 |
VMCAI 10 2009 Savannah, Ga.
|
Corporate |
|
80 |
Colas, Emily. | Just checking : scenes from the life of an obsessive-compulsive
...
|
Expression |
|
81 |
VMCAI (Conference) (20th : 2019 : Cascais, Portugal)
|
Corporate |
Verification, Model Checking, and Abstract Interpretation, [2019]:
|
82 |
VMCAI 7 2006 Charleston, SC
|
Corporate |
|
83 |
VMCAI 3 2002 Venedig
|
Corporate |
|
84 |
SPIN 25. 2018 Málaga
|
Corporate |
|
85 |
MoChArt 2010 (6 : 2010 : Atlanta)
|
Corporate |
Model checking and artificial intelligence: 6th workshop, MoChArt 2010, Atlanta,
...
|
86 |
International SPIN Workshop 17 2010 Enschede
|
Corporate |
|
87 |
VMCAI 20. 2019 Cascais
|
Corporate |
|
88 |
International Conference on Verification, Model Checking, and Abstract Interpret
...
|
Corporate |
Verification, model checking, and abstract interpretation: 12th international co
...
|
89 |
ROCKS Autumn School on Rigorous Dependability Analysis Using Model Checking Tech
...
|
Corporate |
|
90 |
SPIN 26. 2019 Peking
|
Corporate |
|
91 |
International Conference on Verification, Model Checking, and Abstract Interpret
...
|
Corporate |
Verification, model checking, and abstract interpretation : 5th international co
...
|
92 |
New York (State) Joint Legislative Committee Studying the Problem of Checking Er
...
|
Corporate |
|
93 |
VMCAI 24. 2023 Boston
|
Corporate |
|
94 |
SPIN 22. 2015 Stellenbosch
|
Corporate |
|
95 |
VMCAI 9 2008 San Francisco, Calif.
|
Corporate |
|
96 |
McClure, Leigh,. | Molly makes electricity : testing and checking | Spanish | (J
...
|
Expression |
|
97 |
International SPIN Workshop 14 2007 Berlin
|
Corporate |
|
98 |
Vink, Amanda,. | Kara is a chemist : testing and checking | Spanish | (Jiménez
...
|
Expression |
|
99 |
International SPIN Workshop (28th : 2022 : Online)
|
Corporate |
Model checking software, 2022:
|
100 |
VMCAI 2009 (2009 : Savannah, Ga.)
|
Corporate |
Verification, model checking, and abstract interpretation, c2009:
|