Research Output per year
Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit
Polynomials
Engineering & Materials Science
Cryptography
Engineering & Materials Science
Millimeter waves
Engineering & Materials Science
Communication
Engineering & Materials Science
Semantics
Engineering & Materials Science
Hardness
Engineering & Materials Science
Data structures
Engineering & Materials Science
Experiments
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Research Output 1966 2019
Existential monadic second order logic on random rooted trees
Holroyd, A. E., Levy, A., Podder, M. & Spencer, J., Jan 1 2019, In : Discrete Mathematics. 342, 1, p. 152-167 16 p.Research output: Contribution to journal › Article
Monadic Second-order Logic
Random Trees
Rooted Trees
Coloring
Finiteness
Simple pattern-only heuristics lead to fast subgraph matching strategies on very large networks
Aparo, A., Bonnici, V., Micale, G., Ferro, A., Shasha, D., Pulvirenti, A. & Giugno, R., Jan 1 2019, Practical Applications of Computational Biology and Bioinformatics, 12th International Conference. Rocha, M., Mohamad, M. S., De Paz, J. F., Fdez-Riverola, F. & Gonzalez, P. (eds.). Springer-Verlag, p. 131-138 8 p. (Advances in Intelligent Systems and Computing; vol. 803).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Computational complexity
Abstract Interpretation of Stateful Networks
Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. & Velner, Y., Jan 1 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer-Verlag, p. 86-106 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Abstract Interpretation
Scalability
Vertex of a graph
Isolation
Polynomials