|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29 occurrences of 25 keywords
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
127 | Michel Zitt, Suzy Ramanana-Rahary, Elise Bassecoulard |
Bridging citation and reference distributions: Part I - The referencing-structure function and its application to co-citation and co-item studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 57(1), pp. 93-118, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
107 | Michela Degl'Innocenti, Gian-Luigi Ferrari 0002, Giuliano Pacini, Franco Turini |
RSF: A Formalism for Executable Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1235-1246, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules |
106 | Julien Hué, Odile Papini, Éric Würbel |
Syntactic Propositional Belief Bases Fusion with Removed Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 66-77, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
76 | Giancarlo Nota, Giuliano Pacini |
Querying of Executable Software Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 705-716, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping |
64 | Jing Yang 0001, Matthew O. Ward, Elke A. Rundensteiner |
InterRing: An Interactive Tool for Visually Navigating and Manipulating Hierarchical Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 2002 IEEE Symposium on Information Visualization (InfoVis 2002), 27 October - 1 November 2002, Boston, MA, USA, pp. 77-84, 2002, IEEE Computer Society, 0-7695-1751-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Radial space-filling hierarchy visualization, multi-focus distortion, structure-based brushing |
42 | Umut Orguner, Fredrik Gustafsson |
Risk-Sensitive Particle Filters for Mitigating Sample Impoverishment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(10-2), pp. 5001-5012, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Juan Frausto Solís, Marco Antonio Cruz-Chavez |
A Reduced Codification for the Logical Representation of Job Shop Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV, pp. 553-562, 2004, Springer, 3-540-22060-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
the propositional satisfiability problem (SAT), Latest starting time, SAT formula, Job shop scheduling |
42 | Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini |
Querying and Analysis of Software Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 470-478, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Daniel Eberz-Eder, Franz Kuntke, Gerwin Brill, Ansgar Bernardi, Christian Wied, Philippe Nuderscher, Christian Reuter 0001 |
Prototypische Entwicklungen zur Umsetzung des Resilient Smart Farming (RSF) mittels Edge Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIL Jahrestagung ![In: 43. GIL-Jahrestagung, Resiliente Agri-Food-Systeme, 13.-14. Februar 2023, Osnabrück, Germany., pp. 309-314, 2023, Gesellschaft für Informatik e.V., 978-3-88579-724-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
31 | Franz Kuntke, Daniel Eberz-Eder, Matthias Trapp 0002, Christian Reuter 0001 |
RSF-Lab'23: Konzepte und Anwendungen zur resilienten digitalen Landwirtschaft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future - Zukünfte gestalten, Berlin, Germany September 26-29, 2023, pp. 1529-1533, 2023, Gesellschaft für Informatik, Bonn, 978-3-88579-731-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | David Deng, Avideh Zakhor |
RSF: Optimizing Rigid Scene Flow From 3D Point Clouds Without Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2023, Waikoloa, HI, USA, January 2-7, 2023, pp. 1277-1286, 2023, IEEE, 978-1-6654-9346-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Huina Song, Han Wu, Mengyuan Wang, Jiayi Cao, Junliang Xie, Yingcheng Ding, Hua Zhong 0001 |
Detection of Lake Shoreline Based on Modified RSF Model Combined With Edge Energy and Global Energy for SAR Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Geosci. Remote. Sens. Lett. ![In: IEEE Geosci. Remote. Sens. Lett. 19, pp. 1-5, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Qile Zhang, Xiaoliang Jiang |
Image segmentation using active contour model driven by RSF and difference of Gaussian energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Commun. Technol. ![In: Int. J. Inf. Commun. Technol. 20(3), pp. 270-278, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Daniel Eberz-Eder, Franz Kuntke, Christian Reuter 0001 |
Sensibilität für Resilient Smart Farming (RSF) und seine Bedeutung in Krisenzeiten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIL Jahrestagung ![In: 42. GIL-Jahrestagung, Künstliche Intelligenz in der Agrar- und Ernährungswirtschaft, 21.-22. Februar 2022, Agroscope, Tänikon, Ettenhausen, Schweiz., pp. 81-86, 2022, Gesellschaft für Informatik e.V., 978-3-88579-711-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
31 | Christian Reuter 0001, Daniel Eberz-Eder, Franz Kuntke, Matthias Trapp 0002 |
RSF-Lab'22: Resilient Smart Farming Laboratory: Für eine widerstandsfähige und intelligente Landwirtschaft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, pp. 931-934, 2022, Gesellschaft für Informatik, Bonn, 978-3-88579-720-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Farhad Khosrojerdi |
RSF 2 PV Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
DOI RDF |
|
31 | Daniel Eberz-Eder, Franz Kuntke, Wolfgang Schneider, Christian Reuter 0001 |
Technologische Umsetzung des Resilient Smart Farming (RSF) durch den Einsatz von Edge Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIL Jahrestagung ![In: 41. GIL-Jahrestagung, Informations- und Kommunikationstechnologie in kritischen Zeiten, 08.-09. März 2021, Leibniz-Institut für Agrartechnik und Bioökonomie e.V., Potsdam., pp. 79-84, 2021, Gesellschaft für Informatik e.V., 978-3-88579-703-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Ludivine Morvan, Thomas Carlier, Bastien Jamet, Clément Bailly, Caroline Bodet-Milin, Philippe Moreau, Françoise Kraeber-Bodéré, Diana Mateus |
Leveraging RSF and PET images for prognosis of multiple myeloma at diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 15(1), pp. 129-139, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Christian Reuter 0001, Wolfgang Schneider, Daniel Eberz |
Resilient Smart Farming (RSF) - Nutzung digitaler Technologien in krisensicherer Infrastruktur. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIL Jahrestagung ![In: 39. GIL-Jahrestagung, Informatik in der Land-, Forst- und Ernährungswirtschaft, Fokus: Digitalisierung für landwirtschaftliche Betriebe in kleinstrukturierten Regionen - ein Widerspruch in sich? 18.-19. Februar 2019, Wien, Österreich, pp. 177-182, 2019, Gesellschaft für Informatik e.V., 978-3-88579-681-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
31 | Victor Mayoral Vilches, Laura Alzola Kirschgens, Asier Bilbao Calvo, Alejandro Hernández Cordero, Rodrigo Izquierdo Pisón, David Mayoral Vilches, Aday Muñiz Rosas, Gorka Olalde Mendia, Lander Usategui San Juan, Irati Zamalloa Ugarte, Endika Gil-Uriarte, Erik Tews, Andreas Peter |
Introducing the Robot Security Framework (RSF), a standardized methodology to perform security assessments in robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.04042, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
31 | Fanghua Ye 0001, Zibin Zheng, Chuan Chen 0001, Yuren Zhou |
DC-RSF: A Dynamic and Customized Reputation System Framework for Joint Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 37th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2017, Atlanta, GA, USA, June 5-8, 2017, pp. 275-279, 2017, IEEE Computer Society, 978-1-5386-3292-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Renping Yu, Liang Xiao 0001, Zhihui Wei, Xuan Fei |
Automatic Segmentation of White Matter Lesions Using SVM and RSF Model in Multi-channel MRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIG (1) ![In: Image and Graphics - 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part I, pp. 654-663, 2015, Springer, 978-3-319-21977-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Federico Del Razo López, Anne Laurent, Pascal Poncelet, Maguelonne Teisseire |
RSF - A New Tree Mining Approach with an Ecient Data Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, Barcelona, Spain, September 7-9, 2005, pp. 1088-1093, 2005, Universidad Polytecnica de Catalunya, 84-7653-872-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
31 | Takashi Sato, Toshiki Kanamoto, Atsushi Kurokawa, Yoshiyuki Kawakami, Hiroki Oka, Tomoyasu Kitaura, Hiroyuki Kobayashi, Masanori Hashimoto |
Accurate prediction of the impact of on-chip inductance on interconnect delay using electrical and physical parameter-based RSF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003, pp. 149-155, 2003, ACM, 0-7803-7660-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Rob Jackson |
"So how are your hands?": thoughts from a CS student with RSF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XRDS ![In: XRDS 2(2), pp. 15-17, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Dirk Beyer 0001 |
CCVisu: automatic visual software decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 967-968, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
force-directed graph layout, clustering, reverse engineering, software visualization, software quality assurance, software decomposition |
21 | Shaoshan Liu, Jean-Luc Gaudiot |
Synchronization Mechanisms on Modern Multi-core Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings, pp. 290-303, 2007, Springer, 978-3-540-74308-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Gschwind, Martin Pinzger 0001, Harald C. Gall |
TUAnalyzer -- Analyzing Templates in C++ Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 11th Working Conference on Reverse Engineering, WCRE 2004, Delft, The Netherlands, November 8-12, 2004, pp. 48-57, 2004, IEEE Computer Society, 0-7695-2243-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Richard C. Holt, Ahmed E. Hassan, Bruno Laguë, Sébastien Lapierre, Charles Leduc |
E/R Schema for the Datrix C/C++/Java Exchange Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Seventh Working Conference on Reverse Engineering, WCRE'00, Brisbane, Australia, November 23-25, 2000, pp. 284-286, 2000, IEEE Computer Society, 0-7695-0881-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Software exchange format, SEF, data exchange, schema, abstract syntax tree, AST |
21 | Richard C. Holt, Andreas Winter 0001, Andy Schürr |
GXL: Toward a Standard Exchange Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Seventh Working Conference on Reverse Engineering, WCRE'00, Brisbane, Australia, November 23-25, 2000, pp. 162-171, 2000, IEEE Computer Society, 0-7695-0881-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
software exchange format, typed attributed directed graphs, XML, tool interoperability |
21 | Guy Saint-Denis, Reinhard Schauer, Rudolf K. Keller |
Selecting a Model Interchange Format: The SPOOL Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|