Zum Inhalt springen Roşu, Grigore Inductive Behavioral Proofs by Unhiding Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2003 Erschienen in: Electronic Notes in Theoretical Computer Science Roşu, Grigore Computer Science Logic: Complete Categorical Equational Deduction Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2001 Erschienen in: Computer Science Logic Roşu, Grigore Equational axiomatizability for coalgebra Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2001 Erschienen in: Theoretical Computer Science Roşu, Grigore A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1998 Erschienen in: Electronic Notes in Theoretical Computer Science Chen, Xiaohong; Roşu, Grigore Formal Methods in Outer Space: The $$\mathbb {K}$$ Vision for the Future of Programming Language Design and Analysis Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2021 Erschienen in: Formal Methods in Outer Space Chen, Xiaohong; Roşu, Grigore Engineering Trustworthy Software Systems: $$\mathbb {K}$$—A Semantic Framework for Programming Languages and Formal Analysis Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Engineering Trustworthy Software Systems Chen, Xiaohong; Roşu, Grigore A general approach to define binders using matching logic Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2020 Erschienen in: Proceedings of the ACM on Programming Languages Hathhorn, Chris; Rosu, Grigore Dealing With C's Original Sin Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2019 Erschienen in: IEEE Software Chen, Xiaohong; Roşu, Grigore Leveraging Applications of Formal Methods, Verification and Validation. Verification: A Language-Independent Program Verification Framework Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2018 Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Havelund, Klaus; Roşu, Grigore Runtime Verification: Runtime Verification - 17 Years Later Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2018 Erschienen in: Runtime Verification Bogdanas, Denis; Roşu, Grigore K-Java : A Complete Semantics of Java : A Complete Semantics of Java Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2015 Erschienen in: ACM SIGPLAN Notices Popescu, Andrei; Roşu, Grigore Term-generic logic Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2015 Erschienen in: Theoretical Computer Science Girlea, Codruta; Rosu, Grigore Abstract Semantics for K Module Composition Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2014 Erschienen in: Electronic Notes in Theoretical Computer Science Roşu, Grigore; Lucanu, Dorel Specification, Algebra, and Software: Behavioral Rewrite Systems and Behavioral Productivity Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2014 Erschienen in: Specification, Algebra, and Software Roşu, Grigore; Ştefănescu, Andrei Automata, Languages, and Programming: Towards a Unified Theory of Operational and Axiomatic Semantics Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Automata, Languages, and Programming Rosu, Grigore; Stefanescu, Andrei Checking reachability using matching logic Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2012 Erschienen in: ACM SIGPLAN Notices Ellison, Chucky; Rosu, Grigore An executable formal semantics of C with applications Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2012 Erschienen in: ACM SIGPLAN Notices Roşu, Grigore; Ştefănescu, Andrei FM 2012: Formal Methods: From Hoare Logic to Matching Logic Reachability Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: FM 2012: Formal Methods Sokolsky, Oleg; Roşu, Grigore Introduction to the special issue on runtime verification Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 2012 Erschienen in: Formal Methods in System Design Meseguer, José; Roşu, Grigore The rewriting logic semantics project: A progress report Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2013 Erschienen in: Information and Computation
Roşu, Grigore Inductive Behavioral Proofs by Unhiding Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2003 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Roşu, Grigore Computer Science Logic: Complete Categorical Equational Deduction Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2001 Erschienen in: Computer Science Logic
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Roşu, Grigore Equational axiomatizability for coalgebra Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2001 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Roşu, Grigore A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1998 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Chen, Xiaohong; Roşu, Grigore Formal Methods in Outer Space: The $$\mathbb {K}$$ Vision for the Future of Programming Language Design and Analysis Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2021 Erschienen in: Formal Methods in Outer Space
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Chen, Xiaohong; Roşu, Grigore Engineering Trustworthy Software Systems: $$\mathbb {K}$$—A Semantic Framework for Programming Languages and Formal Analysis Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Engineering Trustworthy Software Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Chen, Xiaohong; Roşu, Grigore A general approach to define binders using matching logic Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2020 Erschienen in: Proceedings of the ACM on Programming Languages
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hathhorn, Chris; Rosu, Grigore Dealing With C's Original Sin Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2019 Erschienen in: IEEE Software
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Chen, Xiaohong; Roşu, Grigore Leveraging Applications of Formal Methods, Verification and Validation. Verification: A Language-Independent Program Verification Framework Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2018 Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Havelund, Klaus; Roşu, Grigore Runtime Verification: Runtime Verification - 17 Years Later Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2018 Erschienen in: Runtime Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bogdanas, Denis; Roşu, Grigore K-Java : A Complete Semantics of Java : A Complete Semantics of Java Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2015 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Popescu, Andrei; Roşu, Grigore Term-generic logic Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2015 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Girlea, Codruta; Rosu, Grigore Abstract Semantics for K Module Composition Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2014 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Roşu, Grigore; Lucanu, Dorel Specification, Algebra, and Software: Behavioral Rewrite Systems and Behavioral Productivity Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2014 Erschienen in: Specification, Algebra, and Software
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Roşu, Grigore; Ştefănescu, Andrei Automata, Languages, and Programming: Towards a Unified Theory of Operational and Axiomatic Semantics Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Automata, Languages, and Programming
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Rosu, Grigore; Stefanescu, Andrei Checking reachability using matching logic Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2012 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ellison, Chucky; Rosu, Grigore An executable formal semantics of C with applications Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2012 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Roşu, Grigore; Ştefănescu, Andrei FM 2012: Formal Methods: From Hoare Logic to Matching Logic Reachability Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: FM 2012: Formal Methods
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sokolsky, Oleg; Roşu, Grigore Introduction to the special issue on runtime verification Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 2012 Erschienen in: Formal Methods in System Design
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Meseguer, José; Roşu, Grigore The rewriting logic semantics project: A progress report Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2013 Erschienen in: Information and Computation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (166) Wert ausschließen Bücher (16) Wert ausschließen Konferenzberichte (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (63) Wert ausschließen Ohne Angabe (119) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (100) Wert ausschließen Nicht zu entscheiden (83) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (66) Wert ausschließen Mathematik (6) Wert ausschließen Technik (3) Wert ausschließen Allgemeines (2) Wert ausschließen Biologie (1) Wert ausschließen Chemie und Pharmazie (1) Wert ausschließen Medizin (1) Wert ausschließen Philosophie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Roşu, Grigore (131) Wert ausschließen Rosu, Grigore (43) Wert ausschließen Havelund, Klaus (19) Wert ausschließen Şerbănuţă, Traian Florin (18) Wert ausschließen Lucanu, Dorel (17) Wert ausschließen Chen, Feng (15) Wert ausschließen Meseguer, José (15) Wert ausschließen Chen, Xiaohong (11) Wert ausschließen Sen, Koushik (8) Wert ausschließen Ellison, Chucky (7) Wert ausschließen Fisman, Dana (7) Wert ausschließen Goguen, Joseph (6) Wert ausschließen Agha, Gul (5) Wert ausschließen Grigore Rosu (5) Wert ausschließen Hills, Mark (5) Wert ausschließen Jin, Dongyun (5) Wert ausschließen Popescu, Andrei (5) Wert ausschließen Zhang, Yi (5) Wert ausschließen Arusoaie, Andrei (4) Wert ausschließen Ciobâcă, Ştefan (4) Wert ausschließen Goriac, Eugen-Ioan (4) Wert ausschließen Hathhorn, Chris (4) Wert ausschließen Moore, Brandon (4) Wert ausschließen Park, Daejun (4) Wert ausschließen Rusu, Vlad (4) Wert ausschließen Sokolsky, Oleg (4) Wert ausschließen Ştefănescu, Andrei (4) Wert ausschließen Caltais, Georgiana (3) Wert ausschließen Finkbeiner, Bernd (3) Wert ausschließen Griffith, Dennis (3) Wert ausschließen Guth, Dwight (3) Wert ausschließen Meredith, Patrick O'Neil (3) Wert ausschließen Meredith, Patrick O’Neil (3) Wert ausschließen Peña, Lucas (3) Wert ausschließen ROŞU, GRIGORE (3) Wert ausschließen Trinh, Minh-Thai (3) Wert ausschließen Alturki, Musab A. (2) Wert ausschließen Artho, Cyrille (2) Wert ausschließen Barringer, Howard (2) Wert ausschließen Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky (2) Wert ausschließen Daian, Philip (2) Wert ausschließen Eker, Steven (2) Wert ausschließen Falcone, Yliès (2) Wert ausschließen Farzan, Azadeh (2) Wert ausschließen Goldberg, Allen (2) Wert ausschließen Huang, Jeff (2) Wert ausschließen Lazar, David (2) Wert ausschließen Legunsen, Owolabi (2) Wert ausschließen Li, Yilong (2) Wert ausschließen Lin, Kai (2) Wert ausschließen Lin, Zhengyao (2) Wert ausschließen Lowry, Mike (2) Wert ausschließen Luo, Qingzhou (2) Wert ausschließen Meredith, Patrick (2) Wert ausschließen Mereuta, Radu (2) Wert ausschließen Pasareanu, Corina (2) Wert ausschließen Reger, Giles (2) Wert ausschließen Rodrigues, Nishant (2) Wert ausschließen Roșu, Grigore (2) Wert ausschließen Saxena, Manasvi (2) Wert ausschließen Schulte, Wolfram (2) Wert ausschließen Stefănescu, Andrei (2) Wert ausschließen Venkatesan, Ram Prasad (2) Wert ausschließen Visser, Willem (2) Wert ausschließen Şerbănuţă, Traian (2) Wert ausschließen Şerbănuţă, Traian-Florin (2) Wert ausschließen ACM Special Interest Group on Artificial Intelligence (1) Wert ausschließen ACM Special Interest Group on Software Engineering (1) Wert ausschließen AMAST 12 2008 Urbana, Ill (1) Wert ausschließen Adrian, Turek-Rahoveanu (1) Wert ausschließen Aizawa, Akiko (1) Wert ausschließen Al Awar, Nader (1) Wert ausschließen Andrei Stefanescu (1) Wert ausschließen Andrei, Jean (1) Wert ausschließen Association for Computing Machinery (1) Wert ausschließen Association for Computing Machinery Special Interest Group on Artificial Intelligence (1) Wert ausschließen Association for Computing Machinery Special Interest Group on Software Engineering (1) Wert ausschließen Association for Computing Machinery-Digital Library (1) Wert ausschließen Avădanei, Lidia (1) Wert ausschließen Avădanei, Vasile (1) Wert ausschließen BAKHSHI, RENA (1) Wert ausschließen Baboescu, Florin (1) Wert ausschließen Ball, Thomas (1) Wert ausschließen Bartocci, Ezio (1) Wert ausschließen Bensalem, Saddek (1) Wert ausschließen Berce, Cristian (1) Wert ausschließen Berindan‐Neagoe, Ioana (1) Wert ausschließen Bjørner, Nikolaj S. (1) Wert ausschließen Bogdan, Alexandru (1) Wert ausschließen Bogdanas, Denis (1) Wert ausschließen Bojan, Anca (1) Wert ausschließen Bonakdarpour, Borzoo (1) Wert ausschließen Bozga, Raluca Elisabeta (1) Wert ausschließen Brandon Moore (1) Wert ausschließen Buss, Samuel (1) Wert ausschließen Bădileanu, Marina (1) Wert ausschließen Băleanu, Daniela Nicoleta (1) Wert ausschließen CAˇZAˇNESCU, VIRGIL EMIL (1) Wert ausschließen Cecilia, Alexandri (1) Wert ausschließen Chen, Jing (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (55) Wert ausschließen Elsevier BV (CrossRef) (34) Wert ausschließen Springer International Publishing (CrossRef) (25) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (19) Wert ausschließen Verbunddaten SWB (16) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (12) Wert ausschließen BASE - Bielefeld Academic Search Engine (10) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (8) Wert ausschließen Lizenzfreie Online-Ressourcen (8) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (3) Wert ausschließen DOAJ Directory of Open Access Journals (2) Wert ausschließen Wiley (CrossRef) (2) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen Editura Universitatii Alexandru Ioan Cuza din Iasi (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover) (1) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen