Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Automatically Detecting Fallacies in System Safety ArgumentsYuan, Tangming ; Manandhar, Suresh ; Kelly, Tim ; Wells, Simon Bex, Floris ; Baroglio, Cristina ; Suarez, Merlin Teodosia ; Baldoni, Matteo ; Grasso, Floriana ; Namazi-Rad, Mohammad-Reza ; Numao, Masayuki ; Green, NancyPrinciples and Practice of Multi-Agent Systems, p.47-59 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Compact Realization of Reversible Turing Machines by 2-State Reversible Logic ElementsMorita, Kenichi ; Suyama, Rei Kopecki, Steffen ; Ibarra, Oscar H. ; Kari, LilaUnconventional Computation and Natural Computation, p.280-292 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Disjunctive Interpolants for Horn-Clause VerificationRümmer, Philipp ; Hojjat, Hossein ; Kuncak, Viktor Sharygina, Natasha ; Veith, HelmutComputer Aided Verification, p.347-363 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Scalable Offline MonitoringBasin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matúš ; Klaedtke, Felix ; Mantel, Heiko Smolka, Scott A. ; Bonakdarpour, BorzooRuntime Verification, p.31-47 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
A Uniform Substitution Calculus for Differential Dynamic LogicPlatzer, André Middeldorp, Aart ; Felty, Amy P.Automated Deduction - CADE-25, p.467-481 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
First-Order Theorem Proving and VampireKovács, Laura ; Voronkov, Andrei Sharygina, Natasha ; Veith, HelmutComputer Aided Verification, p.1-35 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
EERTREE: An Efficient Data Structure for Processing Palindromes in StringsRubinchik, Mikhail ; Shur, Arseny M. Smyth, William F. ; Lipták, ZsuzsannaCombinatorial Algorithms, 2016, Vol.9538, p.321-333 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Report on the Symbol Recognition and Spotting ContestValveny, Ernest ; Delalandre, Mathieu ; Raveaux, Romain ; Lamiroy, Bart Ogier, Jean-Marc ; Kwon, Young-BinGraphics Recognition. New Trends and Challenges, 2013, Vol.7423, p.198-207 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Towards a Logic of Information Exchange: An Inquisitive Witness SemanticsCiardelli, Ivano ; Groenendijk, Jeroen ; Roelofsen, Floris Bezhanishvili, Guram ; Löbner, Sebastian ; Marra, Vincenzo ; Richter, FrankLogic, Language, and Computation, p.51-72 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Classifying and Solving Horn Clauses for VerificationRümmer, Philipp ; Hojjat, Hossein ; Kuncak, Viktor Cohen, Ernie ; Rybalchenko, AndreyVerified Software: Theories, Tools, Experiments, p.1-21 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |