Resultados de 1 a 10 de 523 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (265)
- Revistas revisadas por pares (276)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Fields of Logic and Computation IIBeklemishev Andreas Blass; Nachum Dershowitz; Bernd Finkbeiner; Wolfram SchulteSpringer International Publishing 2015Acesso online |
| 2 |
Material Type: Livro
|
|
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, ProceedingsFinkbeiner, Bernd ; Mariani, LeonardoCham: Springer International Publishing 2019Sem texto completo |
| 3 |
Material Type: Ata de Congresso
|
|
BoSy: An Experimentation Framework for Bounded SynthesisFaymonville, Peter ; Finkbeiner, Bernd ; Tentrup, Leander Majumdar, Rupak ; Kunčak, ViktorComputer Aided Verification, p.325-332 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
| 4 |
Material Type: Livro
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IIIFinkbeiner, Bernd ; Kovács, Laura Finkbeiner, Bernd ; Kovács, LauraCham: Springer Nature 2024Sem texto completo |
| 5 |
Material Type: Livro
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IFinkbeiner, Bernd ; Kovács, Laura Finkbeiner, Bernd ; Kovács, LauraCham: Springer Nature 2024Sem texto completo |
| 6 |
Material Type: Artigo
|
|
Synthesis from hyperpropertiesFinkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip ; Stenger, Marvin ; Tentrup, LeanderActa informatica, 2020-04, Vol.57 (1-2), p.137-163 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
HyperATL: A Logic for Hyperproperties in Multi-Agent SystemsBeutner, Raven ; Finkbeiner, BerndLogical methods in computer science, 2023-01, Vol.19, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Introduction to the special issue of the 19th International Conference on Runtime VerificationFinkbeiner, Bernd ; Mariani, LeonardoInternational journal on software tools for technology transfer, 2021-08, Vol.23 (4), p.545-546 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Compositional synthesis of modular systemsFinkbeiner, Bernd ; Passing, NoemiInnovations in systems and software engineering, 2022, Vol.18 (3), p.455-469 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Live synthesisFinkbeiner, Bernd ; Klein, Felix ; Metzger, NiklasInnovations in systems and software engineering, 2022, Vol.18 (3), p.443-454 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
Resultados de 1 a 10 de 523 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (265)
- Revistas revisadas por pares (276)
Refinar Meus Resultados
Tipo de Recurso
- Book Chapters (262)
- Artigos (166)
- Anais de Congresso (86)
- Livros (8)
- Reports (1)
-
Mais opções
Assunto
- Computer Science (257)
- Science & Technology (244)
- Technology (244)
- Computer Science, Theory & Methods (224)
- Computer Science, Software Engineering (153)
- Computer Science - Logic In Computer Science (96)
- Logic (69)
- Temporal Logic (64)
- Science & Technology - Other Topics (64)
- Software Engineering (61)
- Algorithms (50)
- Synthesis (47)
- Computer Science, Hardware & Architecture (44)
- Computer Science, Artificial Intelligence (42)
- Specifications (33)
- Information Flow (29)
- Model Check (26)
- Computer Programming / Software Development (23)
- Software (18)
- Atomic Proposition (16)
-
Mais opções
Autor/Criador
- Blass, A (1)
- Finkbeiner, B (1)
- Dershowitz, N (1)
- Beklemishev (1)
- Schulte, W (1)
-
Mais opções
Data de Publicação
- Antes de2004 (9)
- 2004Até2008 (24)
- 2009Até2013 (73)
- 2014Até2019 (177)
- Após 2019 (233)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (256)
- SpringerLINK Lecture Notes in Computer Science (251)
- Springer Books (200)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (199)
- ROAD: Directory of Open Access Scholarly Resources (133)
- arXiv.org (107)
- Open Access: Freely Accessible Journals by multiple vendors (106)
- SpringerLink Fully Open Access Books (79)
- Springer Nature - Springer Computer Science eBooks 2015 English International (62)
- SpringerLINK Lecture Notes in Computer Science (2014) (62)
- EZB Free E-Journals (32)
- Science Citation Index Expanded (Web of Science) (24)
- Springer Nature - Complete Springer Journals (20)
- Springer Nature - Springer Journals All 2022 (17)
- DOAJ Directory of Open Access Journals (17)
- EBSCOhost Computers and Applied Sciences Complete (15)
- ACM Digital Library Complete (14)
- Elsevier ScienceDirect Journals (12)
- IEEE Electronic Library (IEL) Conference Proceedings (11)
- Springer Nature OA Free Journals (10)
-
Mais opções
Nome da Publicação
- arXiv.org (105)
- Arxiv (73)
- Electronic Proceedings In Theoretical Computer Science (13)
- International Journal On Software Tools For Technology Transfer (8)
- Electronic Notes In Theoretical Computer Science (8)
- Electronic Proceedings In Theoretical Computer Science, Eptcs (6)
- Formal Methods In System Design (4)
- Logical Methods In Computer Science (3)
- Innovations In Systems And Software Engineering (3)
- Acta Informatica (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 