The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SOFSEM"( http://dblp.L3S.de/Venues/SOFSEM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/sofsem

Publication years (Num. hits)
1995 (40) 1996 (42) 1997 (47) 1998 (38) 1999 (38) 2000 (35) 2001 (31) 2002 (23) 2004 (33) 2005 (54) 2006 (56) 2008 (68) 2009 (59) 2010 (65) 2011 (47) 2012 (55) 2013 (48) 2014 (45) 2015 (51) 2016 (51) 2017 (41) 2018 (49) 2019 (41)
Publication types (Num. hits)
inproceedings(1035) proceedings(22)
Venues (Conferences, Journals, ...)
SOFSEM(1057)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 142 occurrences of 132 keywords

Results
Found 1057 publication records. Showing 1057 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Milos Chromý, Petr Kucera Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shantanu Das 0001, Giuseppe Antonio Di Luna, Leszek Antoni Gasieniec Patrolling on Dynamic Ring Networks. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi 0001 On Infinite Prefix Normal Words. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ali Parsai, Serge Demeyer Do Null-Type Mutation Operators Help Prevent Null-Type Faults? Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Uwe Aßmann, Dominik Grzelak, Johannes Mey, Dmytro Pukhkaiev, René Schöne, Christopher Werner, Georg Püschel Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk). Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christos A. Kapoutsis Minicomplexity - Some Motivation, Some History, and Some Structure (Invited Talk Extended Abstract). Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manoj Gupta, Hitesh Kumar, Neeldhara Misra On the Complexity of Optimal Matching Reconfiguration. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Indranil Banerjee, Dana Richards, Igor Shinkar Sorting Networks on Restricted Topologies. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Raffaello Carosi, Simone Fioravanti, Luciano Gualà, Gianpiero Monaco Coalition Resilient Outcomes in Max k-Cut Games. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maciej Skorski Bayesian Root Cause Analysis by Separable Likelihoods. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Komusiewicz, Frank Sommer Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chong Gao, Taolue Chen, Zhilin Wu Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roland Molontay, Kitti Varga On the Complexity of Color-Avoiding Site and Bond Percolation. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastiaan B. van Rooij, Johan M. M. van Rooij Algorithms and Complexity Results for the Capacitated Vertex Cover Problem. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Barbara Catania, Rastislav Královic, Jerzy R. Nawrocki, Giovanni Pighizzini (eds.) SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Labaj, Karol Rástocný, Daniela Chudá Towards Automatic Comparison of Cloud Service Security Certifications. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benedek Nagy, Friedrich Otto Two-Head Finite-State Acceptors with Translucent Letters. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos Minimum Reload Cost Graph Factors. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Theobald From Big Data to Big Knowledge - Large-Scale Information Extraction Based on Statistical Methods (Invited Talk). Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mahsa Varshosaz, Mohammad Reza Mousavi Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Kutrib, Matthias Wendlandt Multi-stranded String Assembling Systems. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman On Matrix Ins-Del Systems of Small Sum-Norm. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladislav Makarov, Alexander Okhotin On the Expressive Power of GF(2)-Grammars. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shantanu Das 0001, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou Gathering of Robots in a Grid with Mobile Faults. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Bonchi Distance-Based Community Search (Invited Talk Extended Abstract). Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomoyuki Yamakami Behavioral Strengths and Weaknesses of Various Models of Limited Automata. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Raszyk On the Size of Logical Automata. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Donselaar Probabilistic Parameterized Polynomial Time. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden Stable Divisorial Gonality is in NP. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hirotaka Ono, Hisato Yamanaka A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frank Gurski, Carolin Rehs Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mattia D'Emidio, Gabriele Di Stefano, Alfredo Navarra Priority Scheduling in the Bamboo Garden Trimming Problem. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lane A. Hemaspaandra, David E. Narváez Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Isela Mendoza, Uéverton S. Souza, Marcos Kalinowski, Ruben Interian, Leonardo Gresta Paulino Murta An Efficient Algorithm for Combining Verification and Validation Methods. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikolajs Nahimovs Lackadaisical Quantum Walks with Multiple Marked Vertices. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jouke Witteveen, Ralph Bottesch, Leen Torenvliet A Hierarchy of Polynomial Kernels. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matús Pikuliak, Marián Simko, Mária Bieliková Towards Combining Multitask and Multilingual Learning. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dorota Osula Minimizing the Cost of Team Exploration. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Neeldhara Misra, Chinmay Sonar Robustness Radius for Chamberlin-Courant on Restricted Domains. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Kaufmann 0001 On Point Set Embeddings for k-Planar Graphs with Few Bends per Edge. Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miroslaw Staron Action Research in Software Engineering: Metrics' Research Perspective (Invited Talk). Search on Bibsonomy SOFSEM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joonatan Jalonen, Jarkko Kari Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos Sáenz-Adán, Beatriz Pérez 0001, Trung Dong Huynh, Luc Moreau 0001 UML2PROV: Automating Provenance Capture in Software Engineering. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manfred Broy On Architecture Specification. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Safa Abdellatif, Mohamed Ali Ben Hassine, Sadok Ben Yahia, Amel Bouzeghoub ARCID: A New Approach to Deal with Imbalanced Datasets Classification. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Chiara Muzi, Barbara Re 0001, Lorenzo Rossi 0001, Francesco Tiezzi Global vs. Local Semantics of BPMN 2.0 OR-Join. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bogumila Hnatkowska, Pawel Woroniecki Transformation of OWL2 Property Axioms to Groovy. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karol Rástocný, Andrej Mlyncár Automated Change Propagation from Source Code to Sequence Diagrams. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Danny Weyns, Gowri Sankar Ramachandran, Ritesh Kumar Singh Self-managing Internet of Things. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Barbara Geissmann, Paolo Penna Inversions from Sorting with Distance-Based Errors. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tim A. Hartmann Target Set Selection Parameterized by Clique-Width and Maximum Threshold. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tu Ngo, Vera Georgescu, Anne Laurent, Thérèse Libourel, Grégoire Mercier Mining Spatial Gradual Patterns: Application to Measurement of Potentially Avoidable Hospitalizations. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Haeusler, Thomas Trojer, Johannes Kessler, Matthias Farwick, Emmanuel Nowakowski, Ruth Breu Combining Versioning and Metamodel Evolution in the ChronoSphere Model Repository. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ana Paula Tomás House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elisabet Burjons, Dennis Komm, Marcel Schöngens The k-Server Problem with Advice in d Dimensions and on the Sphere. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Victor da C. Luna Freire, João Brunet, Jorge C. A. de Figueiredo Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel, Euripides Markou Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jacques Chabin, Mírian Halfeld Ferrari, Béatrice Markhoff, Thanh Binh Nguyen 0006 Validating Data from Semantic Web Providers. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan-Hendrik Lorenz Runtime Distributions and Criteria for Restarts. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Perez Martinez, Tímea László, Norbert Pataki, Csaba Rotter, Csaba Szalai Multivendor Deployment Integration for Future Mobile Networks. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Monika Henzinger The State of the Art in Dynamic Graph Algorithms. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michel R. V. Chaudron, Ana Fernandes-Saez, Regina Hebig, Truong Ho-Quang, Rodi Jolak Diversity in UML Modeling Explained: Observations, Classifications and Theorizations. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mojgan Kamali, Massimo Merro, Alice Dal Corso AODVv2: Performance vs. Loop Freedom. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Doty, Shaopeng Zhu Computational Complexity of Atomic Chemical Reaction Networks. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Franck Ravat, Jiefu Song, Olivier Teste Managing Reduction in Multidimensional Databases. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Farid M. Ablayev, Andris Ambainis, Kamil Khadiev, Aliya Khadieva Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davaajav Jargalsaikhan, Diptarama, Yohei Ueki, Ryo Yoshinaka, Ayumi Shinohara Duel and Sweep Algorithm for Order-Preserving Pattern Matching. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jirí Wiedermann (eds.) SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maxim A. Babenko, Ignat I. Kolesnichenko External Memory Algorithms for Finding Disjoint Paths in Undirected Graphs. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcella Anselmo, Dora Giammarresi, Maria Madonia Encoding Pictures with Maximal Codes of Pictures. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos Network Analysis of the Science of Science: A Case Study in SOFSEM Conference. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michal Szabados Nivat's Conjecture Holds for Sums of Two Periodic Configurations. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miroslava Hresková, Kristína Machová Michiko: Poem Models used in Automated Haiku Poetry Generation. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hellis Tamm, Margus Veanes Theoretical Aspects of Symbolic Automata. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Momège Simple Paths and Cycles Avoiding Forbidden Paths. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ioannis Dematis, Eirini D. Karapistoli, Athena Vakali Fake Review Detection via Exploitation of Spam Indicators and Reviewer Behavior Characteristics. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Huda Chuangpishit, Jurek Czyzowicz, Leszek Gasieniec, Konstantinos Georgiou, Tomasz Jurdzinski, Evangelos Kranakis Patrolling a Path Connecting a Set of Points with Unbalanced Frequencies of Visits. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Dreier, Philipp Kuinke, Ba Le Xuan, Peter Rossmanith Local Structure Theorems for Erdős-Rényi Graphs and Their Algorithmic Applications. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michele Boreale Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuki Igarashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara New Variants of Pattern Matching with Constants and Variables. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Clemens Hoffmann 0002, Hendrik Molter, Manuel Sorge The Parameterized Complexity of Centrality Improvement in Networks. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hayam Alamro, Lorraine A. K. Ayad, Panagiotis Charalampopoulos, Costas S. Iliopoulos, Solon P. Pissis Longest Common Prefixes with k-Mismatches and Applications. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter Damaschke, Alexander Schliep An Optimization Problem Related to Bloom Filters with Bit Patterns. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shahid Khan, Osman Hasan, Atif Mashkoor Formal Verification and Safety Assessment of a Hemodialysis Machine. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kamil Burda, Daniela Chudá Influence of Body Postures on Touch-Based Biometric User Authentication. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomasz Jurdzinski, Krzysztof Nowicki 0002 On Range and Edge Capacity in the Congested Clique. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomás Masopust, Markus Krötzsch Deciding Universality of ptNFAs is PSpace-Complete. Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grzegorz Gutowski, Patryk Mikos Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Selma Bouarar, Ladjel Bellatreche, Amine Roukh Eco-Data Warehouse Design Through Logical Variability. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Igor Walukiewicz Verifying Parametric Thread Creation. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Julián Alarte, David Insa, Josep Silva Webpage Menu Detection Based on DOM. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Dependable and Optimal Cyber-Physical Systems. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Önder Babur, Loek Cleophas Using n-grams for the Automated Clustering of Structural Models. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yo-Sub Han, Sang-Ki Ko Edit-Distance Between Visibly Pushdown Languages. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer Distributed Network Generation Based on Preferential Attachment in ABS. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Bläsius, Marcel Radermacher, Ignaz Rutter How to Draw a Planarization. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Othon Michail, Paul G. Spirakis Network Constructors: A Model for Programmable Matter. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1057 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license