Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
83 | Yingxu Wang 0001, Qing He, Chris Kliewer, Tony Khoo, Vincent Chiew, Wendy Nikoforuk, Lian Chen |
Product and Process Metrics: A Software Engineering Measurement Expert System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002, Proceedings, pp. 337-350, 2002, Springer, 3-540-00234-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
SEMEST, Software engineering, measurement, metrics, expert system, SEMS |
78 | Young-whan Bang, Yeun-hee Kang, Gang-Soo Lee |
CC-SEMS: A CC Based Information System Security Evaluation Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, pp. 964-973, 2004, Springer, 3-540-29067-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
70 | Kiyotaka Kohno, Yujiro Inouye, Mitsuru Kawamoto |
Robust super-exponential methods for blind deconvolution of MIMO-IIR systems with Gaussian noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
70 | Mitsuru Kawamoto, Kiyotaka Kohno, Yujiro Inouye |
Robust Super-exponential methods for deflationary blind source separation of instantaneous mixtures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 53(5), pp. 1933-1937, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Markku Oivo, Victor R. Basili |
Representing Software Engineering Models: The TAME Goal Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(10), pp. 886-898, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
software engineering models representation, TAME goal oriented approach, reasoning framework, top-down goal-oriented characterization, ES-TAME, object-oriented metamodel concept, reusable software engineering models, dynamic viewpoints, selective inheritance, goal-question-metric paradigm, modeling, software engineering, artificial intelligence, object-oriented programming, knowledge representation, knowledge representation, software reusability, prototype system |
47 | Irène Kowarski, M. Lopez |
The Document Concept in a Data Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, Orlando, Florida, USA, June 2-4, 1982., pp. 276-283, 1982, ACM Press, 978-0-89791-073-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Domenico Amalfitano, Nicola Amatucci, Vincenzo De Simone, Anna Rita Fasolino, Porfirio Tramontana |
Toward Reverse Engineering of VBA Based Excel Spreadsheet Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 30-31, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Felienne Hermans, Richard F. Paige, Peter Sestoft (eds.) |
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri |
Spreadsheets for Stream Partitions and Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 39-40, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Paul Mireault |
Structured Spreadsheet Modeling and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 32-38, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Daniel Kulesz, Fabian Toth, Fabian Beck 0001 |
Live-Inspection of Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 28-29, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Alexandru Toader, Andrea Kohlhase, Michael Kohlhase |
Assessment for Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 14-20, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Bas Jansen |
Enron versus EUSES: A Comparison of Two Spreadsheet Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 41-47, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | No'am Newman |
Spreadsheets in an ERP Environment - Not What the Doctor Ordered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 3-4, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Sohon Roy |
Business Rule Mining from Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 5-6, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Pedro Maia, Jorge Mendes 0001, Jácome Cunha, Henrique Rebêlo, João Saraiva |
Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 7-13, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Dietmar Jannach, Thomas Schmitz 0002 |
Using Calculation Fragments for Spreadsheet Testing and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 1-2, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Andrea Kohlhase, Michael Kohlhase, Ana Guseva |
Context in Spreadsheet Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMS@ICSE ![In: Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., pp. 21-27, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
31 | Azeem Irshad, Mohammed Alreshoodi |
SEMS-5G: A Secure and Efficient Multi-Server Authentication Scheme for 5G Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 49062-49077, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
31 | Sejin Kim, Jungwoo Kim, Yongjoo Jang, Jaeha Kung, Sungjin Lee 0001 |
SEMS: Scalable Embedding Memory System for Accelerating Embedding-Based DNNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 21(2), pp. 157-160, July - December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Guangyou Nan, Jinyu Wei, Haiju Hu |
Analysis of the multi-agent's relationship in collaborative innovation network for science and technology SEMs based on evolutionary game theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Technol. Manag. ![In: Int. J. Inf. Technol. Manag. 18(1), pp. 1-15, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Samuel Sungmin Cho, Benjamin Gooder, Myoungkyu Song |
Size Efficient Messaging System (SEMS) Using Probabilistic Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2019 IEEE International Conference on Electro Information Technology, EIT 2019, Brookings, SD, USA, May 20-22, 2019, pp. 225-229, 2019, IEEE, 978-1-7281-0927-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Birgit Hofer, Jorge Mendes 0001 |
Proceedings of the 5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.09174, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
31 | Ilya Shpitser, Robin J. Evans 0002, Thomas S. Richardson 0001 |
Acyclic Linear SEMs Obey the Nested Markov Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, UAI 2018, Monterey, California, USA, August 6-10, 2018, pp. 735-745, 2018, AUAI Press. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
31 | Mustafa Kaiiali, Armagan Ozkaya, Halis Altun, Hatem Haddad, Marc Alier |
Designing a Secure Exam Management System (SEMS) for M-Learning Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Learn. Technol. ![In: IEEE Trans. Learn. Technol. 9(3), pp. 258-271, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Hamid Abbasi 0001, Laura Bennet, Alistair J. Gunn, Charles P. Unsworth |
Identifying stereotypic evolving micro-scale seizures (SEMS) in the hypoxic-ischemic EEG of the pre-term fetal sheep with a Wavelet Type-II Fuzzy classifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016, pp. 973-976, 2016, IEEE, 978-1-4577-0220-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Milazzo, Dániel Varró, Manuel Wimmer (eds.) |
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![Springer, 978-3-319-50229-8 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Phan Thu Nhat Vo, Maria Spichkova |
Model-Based Generation of Natural Language Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 221-231, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Thomas Schmitz 0002, Birgit Hofer, Dietmar Jannach, Franz Wotawa |
Fragment-Based Diagnosis of Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 372-387, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Nieves Atienza, Rocío González-Díaz, Matteo Rucco |
Separating Topological Noise from Features Using Persistent Entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 3-12, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Ricardo Teixeira, Vasco Amaral 0001 |
On the Emergence of Patterns for Spreadsheets Data Arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 333-345, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Khanh-Hoang Doan, Martin Gogolla, Frank Hilken |
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 207-220, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Paul Mireault |
Implementing Nested FOR Loops as Spreadsheet Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 401-414, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Amleto Di Salle, Francesco Gallo, Claudio Pompilio |
Composition of Advanced ( \mu )Services for the Next Generation of the Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 436-444, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Peter Herrmann, Jan Olaf Blech |
Formal Model-Based Development in Industrial Automation with Reactive Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 253-261, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz |
Programming Communication with the User in Multiplatform Spreadsheet Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 356-371, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Mohamed Aymen Ben HajKacem, Chiheb-Eddine Ben N'cir, Nadia Essoussi |
An Accelerated MapReduce-Based K-prototypes for Big Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 13-25, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Ivaylo Hristakiev, Detlef Plump |
Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 145-160, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene |
Visual Notation and Patterns for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 163-178, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Ricardo Moreira |
SheetGit: A Tool for Collaborative Spreadsheet Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 415-420, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Julia Krämer, Heike Wehrheim |
A Formal Approach to Error Localization and Correction in Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 445-457, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Maria Spichkova |
"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"? ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 242-252, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Giovanni Pardini, Paolo Milazzo |
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 67-82, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Approximating Parikh Images for Generating Deterministic Graph Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 112-128, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Antonio Cerone |
Refinement Mining: Using Data to Sift Plausible Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 26-41, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Andrea Corradini 0001 |
On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 101-111, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Jorge Mendes 0001, Kha N. Do, João Saraiva |
Towards an Automated Classification of Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 346-355, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Michael Löwe |
SPO-Rewriting of Constrained Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 129-144, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech |
Spatio-Temporal Models for Formal Analysis and Property-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 196-206, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Juan Maria Rivas, J. Javier Gutiérrez, Mario Aldea Rivas, César Cuevas, Michael González Harbour, José María Drake, Julio L. Medina, Laurent Rioux, Rafik Henia, Nicolas Sordon |
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 303-316, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Martyn Ellison, Radu Calinescu, Richard F. Paige |
Towards Platform Independent Database Modelling in Enterprise Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 42-50, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Antonio Cerone |
Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 232-241, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Marina Mongiello, Tommaso Di Noia, Francesco Nocera, Eugenio Di Sciascio, Angelo Parchitelli |
Context-Aware Design of Reflective Middleware in the Internet of Everything. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 423-435, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Zinovy Diskin, Harald König |
Incremental Consistency Checking of Heterogeneous Multimodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 274-288, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Steffen Zschaler, Lawrence Mandow |
Towards Model-Based Optimisation: Using Domain Knowledge Explicitly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 317-329, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Felienne Hermans, Tijs van der Storm |
TrueGrid: Code the Table, Tabulate the Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 388-393, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Raphaël Chenouard, Chris Hartmann, Alain Bernard, Emmanuel Mermoz |
Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 265-273, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Riccardo Guidotti, Giulio Rossetti, Dino Pedreschi |
Audio Ergo Sum - A Personal Data Model for Musical Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 51-66, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Martin Gogolla, Jordi Cabot |
Continuing a Benchmark for UML and OCL Design and Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 289-302, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Ulyana Tikhonova, Maarten Manders, Rimco Boudewijns |
Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 179-195, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Martin Gogolla, Antonio Vallecillo |
Views on UML Interactions as Spreadsheet Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 394-400, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Daniël Reijsbergen |
Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 83-97, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Mirko D'Angelo, Mauro Caporuscio |
Pure Edge Computing Platform for the Future Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, pp. 458-469, 2016, Springer, 978-3-319-50229-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Felienne Hermans, Richard F. Paige, Peter Sestoft |
2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2, pp. 1005-1006, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Hamideh Mokhtari Hasanabad, Leila Behboudi, Masumeh Sadat Abtahi |
The Effectiveness of Website Quality and SEMs' Successful in Iran. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Innov. Digit. Econ. ![In: Int. J. Innov. Digit. Econ. 5(4), pp. 66-75, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Mei-Ying Wu, Yung-Chih Wang |
The Benefits of using Unified Communications Systems for SEMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Electron. Bus. Manag. ![In: Int. J. Electron. Bus. Manag. 12(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
31 | Hei Chan, Manabu Kuroki |
Identification of Causal Effects in Linear SEMs using the Instrumental Variable Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
31 | Hei Chan, Manabu Kuroki |
Using Descendants as Instrumental Variables for the Identification of Direct Causal Effects in Linear SEMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: Proceedings of the Thirteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2010, Chia Laguna Resort, Sardinia, Italy, May 13-15, 2010, pp. 73-80, 2010, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
31 | Spyridon Papastergiou, Despina Polemi |
A Secure and Trustful E-Ordering Architecture (TOES) for Small and Medium Size Enterprises (SEMs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Secur. Priv. ![In: Int. J. Inf. Secur. Priv. 2(2), pp. 14-30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Daniel Jasper, Christian Dahmen, Sergej Fatikow |
CameraMan - Robot Cell with Flexible Vision Feedback for Automated Nanohandling inside SEMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA, pp. 51-56, 2007, IEEE, 978-1-4244-1154-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Ferdinand Schmoeckel, Heinz Wörn |
Remotely Controllable Mobile Microrobots Acting as Nano Positioners and Intelligent Tweezers in Scanning Electron Microscopes (SEMs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2001 IEEE International Conference on Robotics and Automation, ICRA 2001, May 21-26, 2001, Seoul, Korea, pp. 3909-3913, 2001, IEEE, 0-7803-6578-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Yingxu Wang 0001 |
Formal Description of Object-Oriented Software Measurement and Metrics in SEMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: 7th International Conference on Object Oriented Information Systems, OOIS 2001, Calgary, Canada, August 27-29, 2001. Proceedings, pp. 123-132, 2001, Springer, 978-1-85233-546-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Joseph A. Brown, Sheridan K. Houghten, Daniel A. Ashlock |
Edit metric decoding: a new hope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 233-242, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
edit metric code, side effect machine, genetic algorithms, bioinformatics, finite state machine |
23 | Wang Jingxin, Zhiying Wang 0003, Kui Dai |
Security Event Management System based on Mobile Agent Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: IEEE International Conference on Intelligence and Security Informatics, ISI 2007, New Brunswick, New Jersey, USA, May 23-24, 2007, Proceedings, pp. 166-171, 2007, IEEE, 1-4244-1329-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|