|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 794 occurrences of 648 keywords
|
|
|
Results
Found 3835 publication records. Showing 3835 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Stefan Schneegass, Oliver Amft (eds.) |
Smart Textiles - Fundamentals, Design, and Interaction ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DBLP DOI BibTeX RDF |
|
13 | Eveline T. Feteris |
Fundamentals of Legal Argumentation, A Survey of Theories on the Justification of Judicial Decisions - Updated and Revised Edition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
13 | Andreas L. Schulz, Marie L. Woldeit, Frank W. Ohl |
Neurobiological Fundamentals of Strategy Change: A Core Competence of Companion-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Companion Technology ![In: Companion Technology - A Paradigm Shift in Human-Technology Interaction, pp. 145-166, 2017, Springer, 978-3-319-43664-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Gerard O'Regan |
Concise Guide to Formal Methods - Theory, Fundamentals and Industry Applications ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
13 | Gerard O'Regan |
Concise Guide to Software Engineering - From Fundamentals to Application Methods ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
13 | John T. Baldwin 0001 |
Fundamentals of Stability Theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
13 | Gregor Grambow, Roy Oberhauser, Manfred Reichert |
On the Fundamentals of Intelligent Process-Aware Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Intelligent Process-Aware Information Systems ![In: Advances in Intelligent Process-Aware Information Systems - Concepts, Methods, and Technologies., pp. 1-13, 2017, Springer International Publishing, 978-3-319-52179-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Arndt Lüder, Nicole Schmidt, Kristofer Hell, Hannes Röpke, Jacek Zawisza |
Fundamentals of Artifact Reuse in CPPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multi-Disciplinary Engineering for Cyber-Physical Production Systems ![In: Multi-Disciplinary Engineering for Cyber-Physical Production Systems, Data Models and Software Solutions for Handling Complex Engineering Projects., pp. 113-138, 2017, Springer, 978-3-319-56344-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Miguel Heredia Conde |
Compressive Sensing for the Photonic Mixer Device - Fundamentals, Methods and Results ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
13 | Femke Elise van Beek |
Making Sense of Haptics - Fundamentals of Perception and Implications for Device Design ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
13 | Raimundas Matulevicius |
Fundamentals of Secure System Modelling ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
13 | Daniel Souza Makiyama, Plinio Thomaz Aquino Jr. |
Fundamentals of a Components Sharing Network to Accelerate JavaScript Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017., pp. 1303-1306, 2017, 978-83-946253-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Reneta P. Barneva, Valentin E. Brimkov, João Manuel R. S. Tavares (eds.) |
Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications - 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompIMAGE ![, 978-3-319-54608-7 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Constantin Wagner, Christian von Trotha, Florian Palm, Ulrich Epple |
Fundamentals for the next generation of automation solutions of the fourth industrial revolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 11th Asian Control Conference, ASCC 2017, Gold Coast, Australia, December 17-20, 2017, pp. 2657-2662, 2017, IEEE, 978-1-5090-1573-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Oksana M. Markova |
Засоби хмарних технологій навчання основ математичної інформатики студентів технічних університетів (The tools of cloud technology for learning of fundamentals of mathematical informatics for students of technical universities). (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTE ![In: Proceedings of the 5th Workshop on Cloud Technologies in Education, CTE 2017, Kryvyi Rih, Ukraine, April 28, 2017., pp. 27-33, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Luxton-Reilly, Brett A. Becker, Yingjun Cao, Roger McDermott, Claudio Mirolo, Andreas Mühling, Andrew Petersen 0001, Kate Sanders 0001, Simon, Jacqueline L. Whalley |
Developing Assessments to Determine Mastery of Programming Fundamentals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE-WGR ![In: Proceedings of the 2017 ITiCSE Working Group Reports, ITiCSE-WGR 2017, Bologna, Italy, July 3-5, 2017., pp. 47-69, 2017, ACM, 978-1-4503-5627-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Luxton-Reilly, Brett A. Becker, Yingjun Cao, Roger McDermott, Claudio Mirolo, Andreas Mühling, Andrew Petersen 0001, Kate Sanders 0001, Simon, Jacqueline L. Whalley |
Developing Assessments to Determine Mastery of Programming Fundamentals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5, 2017, pp. 388, 2017, ACM, 978-1-4503-4704-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Rafael Pérez Jiménez, José Rabadán, Victor Guerra, Lidia Aguiar, Julio Francisco Rufo Torres |
Fundamentals of Indoor Vlp: Providing Autonomous Mobility for Visually Impaired People. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOBI ![In: International Conference and Workshop on Bioinspired Intelligence, IWOBI 2017, Funchal, Portugal, July 10-12, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-0850-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | E. McCune |
Fundamentals for Energy-Efficient Massive MIMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC Workshops ![In: 2017 IEEE Wireless Communications and Networking Conference Workshops, WCNC Workshops 2017, San Francisco, CA, USA, March 19-22, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-5908-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Mehdi Dastani, Marjan Sirjani (eds.) |
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![Springer, 978-3-319-68971-5 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Radu-Daniel Vatavu |
Fundamentals of Gesture Production, Recognition, and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts., pp. 1174-1177, 2017, ACM, 978-1-4503-4656-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Andreas L. Schulz, Marie L. Woldeit, Marcel Brosch, Frank W. Ohl |
Neurobiological fundamentals of strategy change - A core competence of a companion system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCT ![In: International Conference on Companion Technology, ICCT 2017, Ulm, Germany, September 11-13, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-1160-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ralf Klasing, Marc Zeitoun (eds.) |
Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 978-3-662-55750-1 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Benedict Bender, Norbert Gronau |
Coring on Digital Platforms - Fundamentals and Examples from the Mobile Device Sector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems - Transforming Society with Digital Innovation, ICIS 2017, Seoul, South Korea, December 10-13, 2017, 2017, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Hui Pan 0002 |
A/D converter fundamentals and trends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICC ![In: 2017 IEEE Custom Integrated Circuits Conference, CICC 2017, Austin, TX, USA, April 30 - May 3, 2017, pp. 1-102, 2017, IEEE, 978-1-5090-5191-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Antoni Perez-Poch, David López 0001 |
Just-in-time teaching improves engagement and academic results among students at risk of failure in computer science fundamentals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: 2017 IEEE Frontiers in Education Conference, FIE 2017, Indianapolis, IN, USA, October 18-21, 2017, pp. 1-7, 2017, IEEE Computer Society, 978-1-5090-5920-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Michael D. Godlevsky, Sergey V. Orekhov, Elena Orekhova |
Theoretical Fundamentals of Search Engine Optimization Based on Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI ![In: Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017., pp. 23-32, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Quang Vinh Nguyen, Ulrich Engelke |
Big data visual analytics: fundamentals, techniques, and tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ASIA (Courses) ![In: SIGGRAPH Asia 2017 Courses, Bangkok, Thailand, November 27 - 30, 2017, pp. 2:1-2:203, 2017, ACM, 978-1-4503-5403-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Masato Kagawa, Nihan Karatas, Michio Okada |
Communication Fundamentals within a Triadic Interaction in a Cooperative Play Mediated by INAMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAI ![In: Proceedings of the 5th International Conference on Human Agent Interaction, HAI 2017, Bielefeld, Germany, October 17 - 20, 2017, pp. 491-494, 2017, ACM, 978-1-4503-5113-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Saffet Vatansever, Ismail Butun |
A broad overview of GPS fundamentals: Now and future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCWC ![In: IEEE 7th Annual Computing and Communication Workshop and Conference, CCWC 2017, Las Vegas, NV, USA, January 9-11, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-4228-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Karin Elizabeth Wolff |
Throwing the baby out with the bathwater? The role of fundamentals in 21st century engineering education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: 2017 IEEE Global Engineering Education Conference, EDUCON 2017, Athens, Greece, April 25-28, 2017, pp. 111-118, 2017, IEEE, 978-1-5090-5467-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Isabela Gasparini, Marcelo Soares Pimenta, José Palazzo M. de Oliveira, Ricardo Miranda |
Coupling Cultural Context to a User Model of Adaptive E-Learning: Fundamentals, Approach and Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HEFA ![In: Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions - First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Maceió, Brazil, March 20-24, 2017, Revised Selected Papers, pp. 107-123, 2017, Springer, 978-3-319-97933-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Hao Chen 0010 |
Mutual Information Accumulation over Wireless Networks: Fundamentals and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
13 | Shahab Pourtalebi |
System-level feature-based modeling of cyber-physical systems: A theoretical framework and methodological fundamentals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
13 | Dongyi Chen, Michael Lawo |
Smart Textiles and Smart Personnel Protective Equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 333-357, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Mehmann |
Textile Antennas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 139-159, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Roshan Lalintha Peiris |
Integrated Non-light-Emissive Animatable Textile Displays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 71-101, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jonna Häkkilä |
Designing for Smart Clothes and Wearables - User Experience Design Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 259-278, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Schneegass, Oliver Amft |
Introduction to Smart Textiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 1-15, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Derman Vatansever Bayramol, Navneet Soin, Tahir Shah, Elias Siores, Dimitroula Matsouka, Savvas Vassiliadis |
Energy Harvesting Smart Textiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 199-231, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Max Pfeiffer, Michael Rohs |
Haptic Feedback for Wearables and Textiles Based on Electrical Muscle Stimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 103-137, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jingyuan Cheng, Bo Zhou 0005, Paul Lukowicz, Fernando Seoane, Matija Varga, Andreas Mehmann, Peter Chabrecek, Werner Gaschler, Karl Gönner, Hansjürgen Horter, Stefan Schneegass, Mariam Hassib, Albrecht Schmidt 0001, Martin Freund, Rui Zhang 0027, Oliver Amft |
Textile Building Blocks: Toward Simple, Modularized, and Standardized Smart Textile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 303-331, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Matija Varga |
Electronics Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 161-184, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Michaela Honauer |
Designing (Inter)Active Costumes for Professional Stages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 279-302, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Karl Gönner, Hansjürgen Horter, Peter Chabrecek, Werner Gaschler |
Precision Fabric Production in Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 17-30, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Heike Leutheuser, Nadine R. Lang, Stefan Gradl, Matthias Struck, Andreas Tobola, Christian Hofmann, Lars Anneken, Björn M. Eskofier |
Textile Integrated Wearable Technologies for Sports and Medical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 359-382, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Federico Lorussi, Nicola Carbonaro, Danilo De Rossi, Alessandro Tognetti |
Strain- and Angular-Sensing Fabrics for Human Motion Analysis in Daily Life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 49-70, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ramyah Gowrishankar, Katharina Bredies, Salu Ylirisku |
A Strategy for Material-Specific e-Textile Interaction Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 233-257, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Mehmann, Matija Varga, Gerhard Tröster |
Reversible Contacting for Smart Textiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 185-198, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Aurora De Acutis, Danilo De Rossi |
e-Garments: Future as "Second Skin"? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 383-396, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Bo Zhou 0005, Paul Lukowicz |
Textile Pressure Force Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Textiles ![In: Smart Textiles - Fundamentals, Design, and Interaction, pp. 31-47, 2017, Springer, 978-3-319-50123-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
A Formal Model for Multi SPLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 67-83, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Guillermina Cledou, José Proença, Luís Soares Barbosa |
Composing Families of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 51-66, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ali Parsai, Alessandro Murgia, Serge Demeyer |
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 148-163, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Masoumeh Taromirad, Mohammad Reza Mousavi 0001 |
Gray-Box Conformance Testing for Symbolic Reactive State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 228-243, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri |
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 132-147, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Nils Timm, Stefan Gruner, Prince Sibanda |
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 244-259, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Filippo Bonchi, Matias David Lee, Jurriaan Rot |
Bisimilarity of Open Terms in Stream GSOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 35-50, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi |
Purpose-Based Policy Enforcement in Actor-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 196-211, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu |
Translating Active Objects into Colored Petri Nets for Communication Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 84-99, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Mahdi Houshmand, Samad Paydar |
TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 164-179, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Alex P. Klinkhamer, Ali Ebnenasir |
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 100-115, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Eva Kühn |
Flexible Transactional Coordination in the Peer Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 116-131, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün |
Debugging of Concurrent Systems Using Counterexample Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 20-34, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Beniamino Accattoli, Giulio Guerrieri |
Implementing Open Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 1-19, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | José Proença, Carlos Baquero |
Quality-Aware Reactive Programming for the Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 180-195, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan |
Automatic Transition System Model Identification for Network Applications from Packet Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 212-227, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Indranil Banerjee, Dana Richards |
New Results on Routing via Matchings on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 69-81, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Christof Löding, Christopher Spinrath |
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 341-354, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Albert Atserias, Phokion G. Kolaitis, Simone Severini |
Generalized Satisfiability Problems via Operator Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 56-68, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix |
Contextuality in Multipartite Pseudo-Telepathy Graph Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 41-55, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Dariusz Dereniowski, Andrzej Lingas, Mia Persson, Dorota Urbanska, Pawel Zylinski |
The Snow Team Problem - (Clearing Directed Subgraphs by Mobile Agents). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 190-203, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Gianluca De Marco, Tomasz Jurdzinski, Michal Rózanski, Grzegorz Stachowiak |
Subquadratic Non-adaptive Threshold Group Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 177-189, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Till Fluschnik, Marco Morik, Manuel Sorge |
The Complexity of Routing with Few Collisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 257-270, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Holger Petersen 0001 |
Busy Beaver Scores and Alphabet Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 409-417, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 326-340, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Endre Boros, Ondrej Cepek, Kazuhisa Makino |
Strong Duality in Horn Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 123-135, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Colcombet, Laure Daviaud, Florian Zuleger |
Automata and Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 3-10, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jérémie Cabessa, Olivier Finkel |
Expressive Power of Evolving Neural Networks Working on Infinite Input Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 150-163, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Dima Grigoriev, Vladimir V. Podolskii |
Tropical Combinatorial Nullstellensatz and Fewnomials Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 284-297, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Tomasz Jurdzinski, Michal Rózanski |
Deterministic Oblivious Local Broadcast in the SINR Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 312-325, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Nicolas Bousquet, Arnaud Mary, Aline Parreau |
Token Jumping in Minor-Closed Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 136-149, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Juraj Hromkovic, Peter Rossmanith |
What One Has to Know When Attacking P vs. NP (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 11-28, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Bärtschi, Thomas Tschager |
Energy-Efficient Fast Delivery by Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 82-95, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Markus Bläser, B. V. Raghavendra Rao, Jayalal Sarma |
Testing Polynomial Equivalence by Scaling Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 111-122, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Kord Eickmeyer, Ken-ichi Kawarabayashi |
FO Model Checking on Map Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 204-216, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Bentert, Till Fluschnik, André Nichterlein, Rolf Niedermeier |
Parameterized Aspects of Triangle Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 96-110, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Anca Muscholl |
A Tour of Recent Results on Word Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 29-33, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | George Manoussakis |
Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 355-366, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Simon Perdrix, Luc Sanselme |
Determinism and Computational Power of Real Measurement-Based Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 395-408, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Éric Pin |
Some Results of Zoltán Ésik on Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 34-37, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pushkar S. Joglekar, B. V. Raghavendra Rao, Siddharth S. Sivakumar |
On Weak-Space Complexity over Complex Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 298-311, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Maxime Crochemore, Alice Héliou, Gregory Kucherov, Laurent Mouchard, Solon P. Pissis, Yann Ramusat |
Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 164-176, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas |
Reliable Communication via Semilattice Properties of Partial Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 367-380, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Charis Papadopoulos, Spyridon Tzimas |
Polynomial-Time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 381-394, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Shen |
Automatic Kolmogorov Complexity and Normality Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 418-430, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Christian Engels, B. V. Raghavendra Rao, Karteek Sreenivasaiah |
On \varSigma \wedge \varSigma \wedge \varSigma Circuits: The Role of Middle \varSigma Fan-In, Homogeneity and Bottom Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 230-242, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin |
Decidable Weighted Expressions with Presburger Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 243-256, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Ganty, Elena Gutiérrez |
Parikh Image of Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 271-283, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Joost Engelfriet, Andreas Maletti |
Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 217-229, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
|
|