|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 156 occurrences of 118 keywords
|
|
|
Results
Found 1338 publication records. Showing 1164 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
397 | Yoshifumi Masunaga, Yoshiyuki Shoji, Kazunari Ito |
A Wiki-based collective intelligence approach to formulate a body of knowledge (BOK) for a new discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 6th International Symposium on Wikis and Open Collaboration, 2010, Gdansk, Poland, July 7-9, 2010, 2010, ACM, 978-1-4503-0056-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
BOK constructor, Semantic MediaWiki (SMW), body of knowledge (BOK), Wiki, collective intelligence, discipline |
127 | William W. Agresti |
An IT Body of Knowledge: The Key to an Emerging Profession. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Prof. ![In: IT Prof. 10(6), pp. 18-22, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
113 | Yoshifumi Masunaga, Yoshiyuki Shoji, Kazunari Ito |
Collective intelligence approach for formulating a BOK of social informatics, an interdisciplinary field of study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2009 International Symposium on Wikis, 2009, Orlando, Florida, USA, October 25-27, 2009, 2009, ACM, 978-1-60558-730-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
BOK, collaborative document, semantic MediaWiki, World Wide Web (WWW), Wiki, collective intelligence, social informatics, body of knowledge |
76 | Natalia Juristo Juzgado, Ana María Moreno 0001, Sira Vegas |
Towards building a solid empirical body of knowledge in testing techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 29(5), pp. 1-4, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
are your own designated keywords |
60 | Tom Maibaum |
What IS a BoK? Large - Extended Abstract -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 184-188, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Minjun Kim, Seungwoo Song, Youhan Lee, Haneol Jang, Kyungtae Lim |
BOK-VQA: Bilingual Outside Knowledge-based Visual Question Answering via Graph Representation Pretraining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.06443, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
30 | MinJun Kim, Seungwoo Song, Youhan Lee, Haneol Jang, Kyungtae Lim |
BOK-VQA: Bilingual outside Knowledge-Based Visual Question Answering via Graph Representation Pretraining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 18381-18389, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
30 | Tuncer I. Ören, Umang Kant, Mayank Singh 0008, Paul A. Fishwick, Mamadou Kaba Traoré, Lin Zhang 0009, Yuanjun Laili, Bernard P. Zeigler, Andreas Tolk, Gregory Zacharewicz, Mohammad S. Obaidat, Balqies Sadoun |
M&S Bok Core Areas and the Big Picture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Body of Knowledge for Modeling and Simulation ![In: Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International, pp. 21-75, 2023, Springer, 978-3-031-11084-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Michael Ferdy Susila, Budhi Irawan, Casi Setianingsih, Dony Tontiardo, Adli Farhan Ibrahim, Elvin Nur Furqon |
Bok Choy Leaf Diseases Detection Using Convolutional Neural Network Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IoTaIS ![In: IEEE International Conference on Internet of Things and Intelligence Systems, IoTaIS 2021, Bandung, Indonesia, November 23-24, 2021, pp. 163-168, 2021, IEEE, 978-1-6654-2035-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Kaijie Zhou, Huali Wang, Peipei Cao |
Theoretical Analysis of Parameter Optimization for Lower-Ionosphere Excitation ELF/VLF Waves Based on Chirp-BOK Modulated Heating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 165646-165657, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Kaijie Zhou, Huali Wang, Peipei Cao, Zhangkai Luo |
Performance Evaluation for Chirp-BOK Modulation Scheme under Alpha-Stable Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(4), pp. 723-727, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Arijit Roy, Harshal B. Nemade, Ratnajit Bhattacharjee |
Multiuser PSK-Chirp-BOK Communication System Under Co-Channel Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 67-II(3), pp. 465-469, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Andres Fortino, Yichun Liu |
Curriculum Development to Acquire Analytical Competencies Using an Industry BOK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALE ![In: IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2020, Takamatsu, Japan, December 8-11, 2020, pp. 406-413, 2020, IEEE, 978-1-7281-6942-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Kaijie Zhou, Huali Wang, Peipei Cao, Zhangkai Luo |
Design of ELF/VLF Chirp-BOK Communication Based on Modulated Heating Low Ionosphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(12), pp. 2464-2471, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Pablo Quezada, Juan Garbajosa, Liliana Enciso |
Use of Standard and Model Based on BOK to Evaluate Professional and Occupational Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WorldCIST (1) ![In: New Advances in Information Systems and Technologies - Volume 1 [WorldCIST'16, Recife, Pernambuco, Brazil, March 22-24, 2016]., pp. 287-296, 2016, Springer, 978-3-319-31231-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Md. Samim Al Azad, JoongHo Ahn |
A Research Framework of Vendor firms Body of Knowledge (BoK) and its Impact on Offshore IT Outsourcing Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIS ![In: 18th Pacific Asia Conference on Information Systems, PACIS 2014, Chengdu, China, June 24-28, 2014, pp. 308, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
30 | Steve Counsell, Manuel Núñez 0001 (eds.) |
Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![Springer, 978-3-319-05031-7 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Michael N. DeMers, Anna Klimaszewski-Patterson, Rebecca Richman, Sean C. Ahearn, Brandon Plewe, André Skupin |
Toward an Immersive 3D Virtual BoK Exploratorium: A Proof of Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. GIS ![In: Trans. GIS 17(3), pp. 335-352, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Walter Kuketz |
The Guidebook to the SPE BoK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. CMG Conference ![In: 39. International Computer Measurement Group Conference, La Jolla, CA, USA, November 4-8, 2013, 2013, Computer Measurement Group. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
30 | Anne E. Haxthausen, Jan Peleska 0001, Ralf Pinger |
Applied Bounded Model Checking for Interlocking System Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 205-220, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Nicholas Ng, Nobuko Yoshida, Wayne Luk |
Scalable Session Programming for Heterogeneous High-Performance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 82-98, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 329-344, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Luis Llana, Rafael Martínez-Torres |
IOCO as a Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 125-134, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Alain Perez, Felix Larrinaga, Edward Curry |
The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 306-312, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Suryana Setiawan, Antonio Cerone |
Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 313-328, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski |
A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 101-112, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Kent Inge Fagerland Simonsen |
PetriCode: A Tool for Template-Based Code Generation from CPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 151-163, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Bogdan Aman, Gabriel Ciobanu |
Behavioural Types Inspired by Cellular Thresholds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 29-43, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Robert Abo, Laurent Voisin |
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 221-236, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Dimitrios Kouzapas, Anna Philippou |
A Typing System for Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 56-68, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Andreas Ibing |
SMT-Constrained Symbolic Execution for Eclipse CDT/Codan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 113-124, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Martin Kloos, Joris Hulstijn, Mamadou D. Seck, Marijn Janssen |
XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 288-305, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Sara Fernandes, Antonio Cerone, Luís Soares Barbosa |
Analysis of FLOSS Communities as Learning Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 405-416, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Anna Philippou, Mauricio Toro |
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 345-361, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick |
Verification of Solid State Interlocking Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 253-268, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Peter T. Breuer, Simon Pickin 0001 |
Soundness and Completeness of the NRB Verification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 389-404, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez 0001, Gianluigi Zavattaro |
Towards Global and Local Types for Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 3-14, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Peter T. Breuer, Jonathan P. Bowen |
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 371-388, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Jaap Boender, Sara Fernandes |
Small World Characteristics of FLOSS Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 417-429, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Paloma Cáceres, Carlos E. Cuesta, José María Cavero, Belén Vela, Almudena Sierra-Alonso |
Towards Knowledge Modeling for Sustainable Transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 271-287, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Giovanni Bernardi 0001, Matthew Hennessy |
Compliance and Testing Preorders Differ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 69-81, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams |
Verification of Scheme Plans Using CSP $$||$$ | | B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 189-204, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Juliana Franco, Vasco Thudichum Vasconcelos |
A Concurrent Programming Language with Refined Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 15-28, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli |
DISPAS: An Agent-Based Tool for the Management of Fishing Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 362-367, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva |
Modeling and Simulating Interaction Protocols Using Nested Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 135-150, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Ross Horne, Timur Umarov |
Ensuring Faultless Communication Behaviour in A Commercial Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 44-55, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Andrea Bonacchi 0001, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani |
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 237-252, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Alessandro Fantechi |
Twenty-Five Years of Formal Methods and Railways: What Next? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 167-183, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Yoshifumi Masunaga, Kazunari Ito, Taro Yabuki, Takeshi Morita 0001 |
Edit Conflict Resolution in WikiBOK: A Wiki-Based BOK Formulation-Aid System for New Disciplines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocialCom/PASSAT ![In: 2012 International Conference on Privacy, Security, Risk and Trust, PASSAT 2012, and 2012 International Confernece on Social Computing, SocialCom 2012, Amsterdam, Netherlands, September 3-5, 2012, pp. 210-218, 2012, IEEE Computer Society, 978-1-4673-5638-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Fanrong Xie, Renan Jia |
A note on "Nonlinear fixed charge transportation problem by spanning tree-based genetic algorithm" by Jung-Bok Jo, Yinzhen Li, Mitsuo Gen, Computers & Industrial Engineering (2007). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 59(4), pp. 1013-1014, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Kannan Govindan 0002, P. Sasikumar, Vinay V. Panicker |
Comments on "Nonlinear fixed charge transportation problem by spanning tree-based genetic algorithm" by Jung-Bok Jo, Yinzhen Li, Mitsuo Gen, Computers & Industrial Engineering (2007). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 55(2), pp. 533-534, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Chul-Seung Lee, Young-Hwan You, Hyoung-Kyu Song |
Performance Evaluation of M-BOK Based DS-UWB System with Space-Time Block Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 89-B(6), pp. 1935-1938, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Roald Skarsten |
Presentasjon og kommentarer til norsk utgave av C. Mullers bok "Lingvistisk Statistikk" (Presentation and comments on the Norwegian edition of C. Muller's book "Linguistic Statistics") [In Norwegian]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NODALIDA ![In: Proceedings of the 3rd Nordic Conference of Computational Linguistics, NODALIDA 1981, Trondheim, Norway, October 22-23, 1981, pp. 7-12, 1981, EDB-tjensten for humanistiske fag, University of Trondheim, Norway. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
25 | Xiaoli Chu, Ross D. Murch |
Multidimensional modulation for ultra-wideband multiple-access impulse radio in wireless multipath channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 4(5), pp. 2373-2386, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Younggyu Bok, Na Kyung Lee, Sugyeong Jo, Seokgi Lee, Sang Jin Kweon, Hyeong Suk Na |
The production scheduling problem employing non-identical parallel machines with due dates considering carbon emissions and multiple types of energy sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 238(Part E), pp. 121990, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | In-Hwan Yoon, Minwoo Na, Jae-Bok Song |
Assembly of low-stiffness parts through admittance control with adaptive stiffness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Comput. Integr. Manuf. ![In: Robotics Comput. Integr. Manuf. 86, pp. 102678, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Sangho Song, Hyeonbyeong Lee, Yuna Kim, Jongtae Lim, Dojin Choi, Kyoungsoo Bok, Jaesoo Yoo |
Graph Processing Scheme Using GPU With Value-Driven Differential Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 41590-41600, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Wenqi Wang, Sang Don Yi, Fu Li, Qingchen Cao, Jiangliu Shi, Bok-Moon Kang, Meichen Jin, Chang Liu, Zhenhua Wu, Guilei Wang, Chao Zhao |
Vertical Surrounding Gate Transistor for High Density and Low Voltage Operation in DRAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 46504-46511, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jan Bok, Jirí Fiala 0001, Nikola Jedlicková, Jan Kratochvíl, Pawel Rzazewski |
List Covering of Regular Multigraphs with Semi-edges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 86(3), pp. 782-807, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Seungyeon Lee, Minyoung Park, Younggeun Ahn, Gyeong Bok Jung, Dohyun Kim 0005 |
Analysis of tabular data based on graph neural network using supervised contrastive loss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 570, pp. 127137, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Hayoung Kim, Hoseong Cho, Weonjoon Lee, Keunbada Son, Kyu-Bok Lee, Mansik Jeon, Jeehyun Kim |
Development of handheld optical coherence tomography based on commercial intra-oral scanner shape for extended clinical utility in dentistry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Imaging Syst. Technol. ![In: Int. J. Imaging Syst. Technol. 34(1), January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Kang-Bok Seo, Junhyung Kim, Woo Jin Lee |
Arduino practice judgment system based on function execution log in virtual execution environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 32(2), March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jan Bok, Antoine Dailly, Tuomo Lehtilä |
Resolving Sets in Temporal Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.13183, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jinho Bok, Weijie Su, Jason M. Altschuler |
Shifted Interpolation for Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00278, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Zan-Kai Chong, Hiroyuki Ohsaki, Bok-Min Goi |
Improving Uncertainty Sampling with Bell Curve Weight Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.01352, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jin-Young Min, Kyoung-Bok Min |
Correction: Min, J.-Y.; Min, K.-B. Comparisons of Two Bioelectrical Impedance Devices and Manual versus Sensor-Based Short Physical Performance Batteries for Assessment of Muscle Mass and Physical Performance. Sensors 2023, 23, 6026. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(6), pp. 2003, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Lak-yeong Choi, Se-yeon Lee, Jinseon Park, Se-Woon Hong, Kehinde Favour Daniel, Hyo-Hyeog Jeong, In-Bok Lee |
Improving spray performance of vehicle disinfection systems in livestock farms using computational fluid dynamics analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 215, pp. 108435, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Kyoungsoo Bok, Ina Kim, Jongtae Lim, Jaesoo Yoo |
Efficient graph-based event detection scheme on social media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 646, pp. 119415, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Myunghyun Lee, Yongcheol Kim, Gwang Tae Kim, Sang Hun Joo, Man Bok Hong |
Design and Evaluation of AX-Deminer Forearm Assistance for Demining Soldier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 130743-130754, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sujy Han, Tae Bok Lee, Yong Seok Heo |
Semantic-Aware Face Deblurring With Pixel-Wise Projection Discriminator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 11587-11600, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jeonghwa Cho, In-Bok Lee, Woo-Sug Jeong, Byung-Jin Lee |
A Study on the Fire Detection and Smoke Removal in Underground Utility Tunnel Using CFD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 104485-104504, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Cao-Tri Dinh, Thinh Huynh, Dong-Hun Lee, Young-Bok Kim |
Design and Experiments of Angular Motion Control for a Novel Unmanned Water-Powered Aerial Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 112719-112730, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Deuk-Young Jeong, Seng-Kyoun Jo, In-Bok Lee, Hakjong Shin, Jun-Gyu Kim |
Digital Twin Application: Making a Virtual Pig House Toward Digital Livestock Farming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 121592-121602, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Kyunghoon Han, Heejoon Koo, Sunghee Jung, Hyung-Bok Park, Youngtaek Hong, Hackjoon Shim, Byunghwan Jeon, Hyuk-Jae Chang |
Reconstruction of Partially Broken Vascular Structures in X-Ray Images via Vesselness-Loss-Based Multi-Scale Generative Adversarial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 86335-86350, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Brian T. Chung, Yaewon Kim, Jeremy W. Gordon, Hsin-Yu Chen, Adam Autry, Philip M. Lee, Jasmine Y. Hu, Chou T. Tan, Chris Suszczynski, Susan M. Chang, Javier E. Villanueva-Meyer, Robert Bok, Peder E. Z. Larson, Duan Xu, Yan Li, Daniel B. Vigneron |
Hyperpolarized [2-13C]pyruvate MR molecular imaging with whole brain coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 280, pp. 120350, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Xiaoling Huang, Youxia Dong, Guodong Ye, Wun-She Yap, Bok-Min Goi |
Visually meaningful image encryption algorithm based on digital signature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Commun. Networks ![In: Digit. Commun. Networks 9(1), pp. 159-165, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yongrok Jeong, Junseong Ahn, Ji-Hwan Ha, Jiwoo Ko, Soon-Hyoung Hwang, Sohee Jeon, Munjeong Bok, Jun-Ho Jeong, Inkyu Park |
Biomimetic, Programmable, and Part-by-Part Maneuverable Single-Body Shape-Morphing Film. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Intell. Syst. ![In: Adv. Intell. Syst. 5(3), March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yongrok Jeong, Junseong Ahn, Ji-Hwan Ha, Jiwoo Ko, Soon-Hyoung Hwang, Sohee Jeon, Munjeong Bok, Jun-Ho Jeong, Inkyu Park |
Biomimetic, Programmable, and Part-by-Part Maneuverable Single-Body Shape-Morphing Film. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Intell. Syst. ![In: Adv. Intell. Syst. 5(3), March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Bo-Gyu Bok, Jin-Seok Jang, Min-Seok Kim |
A Highly Sensitive Multimodal Tactile Sensing Module with Planar Structure for Dexterous Manipulation of Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Intell. Syst. ![In: Adv. Intell. Syst. 5(6), June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Dong Bok Lee, Seanie Lee, Joonho Ko, Kenji Kawaguchi, Juho Lee 0001, Sung Ju Hwang |
Self-Supervised Dataset Distillation for Transfer Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.06511, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jan Bok, Richard C. Brewster, Tomás Feder, Pavol Hell, Nikola Jedlicková |
List homomorphisms to separable signed graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.06449, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jan Bok, Jirí Fiala 0001, Nikola Jedlicková, Jan Kratochvíl, Michaela Seifrtová |
Computational Complexity of Covering Disconnected Multigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.06431, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jin Bok Park, Jinkyu Lee, Muhyun Back, Hyunmin Han, David T. Ma, Sang Min Won, Sung Soo Hwang, Il Yong Chun |
End-to-End Driving via Self-Supervised Imitation Learning Using Camera and LiDAR Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.14329, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Nitish Patidar, Kang Bok Lee, Robert Weech-Maldonado, Rekha Prabhu Bailur, Shashank Rao |
On the creation of free-standing emergency departments by hospitals - Some insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Sci. ![In: Decis. Sci. 54(6), pp. 596-614, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Dojin Choi, Hyeonbyeong Lee, Jongtae Lim, Kyoungsoo Bok, Jaesoo Yoo |
Efficient continuous subgraph matching scheme considering data reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 282, pp. 111120, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yen-Lung Lai, Xingbo Dong, Zhe Jin, Massimo Tistarelli, Wun-She Yap, Bok-Min Goi |
Breaking Free From Entropy's Shackles: Cosine Distance-Sensitive Error Correction for Reliable Biometric Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 18, pp. 3101-3115, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jan Bok, Richard C. Brewster, Tomás Feder, Pavol Hell, Nikola Jedlicková |
List homomorphism problems for signed trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 346(3), pp. 113257, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tomasz Spotowski, Karol Osowski, Ireneusz Musialek, Artur Olszak, Andrzej Kesy, Zbigniew Kesy, Seung-Bok Choi |
A Feedback Control Sensing System of an Electrorheological Brake to Exert a Constant Pressing Force on an Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(15), pp. 6996, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Pacifique Turabimana, Jung-Woo Sohn, Seung-Bok Choi |
A Novel Active Cooling System for Internal Combustion Engine Using Shape Memory Alloy Based Thermostat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(8), pp. 3972, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jin-Young Min, Kyoung-Bok Min |
Comparisons of Two Bioelectrical Impedance Devices and Manual versus Sensor-Based Short Physical Performance Batteries for Assessment of Muscle Mass and Physical Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(13), pp. 6026, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yu-Jin Park, Bo-Gyu Kim, Eun-Sang Lee, Seung-Bok Choi |
A Novel Tactile Sensing System Utilizing Magnetorheological Structures for Dynamic Contraction and Relaxation Motions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(22), pp. 9035, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Bhagoji Bapurao Sul, Dhanalakshmi Kaliaperumal, Seung-Bok Choi |
Self-Sensing Variable Stiffness Actuation of Shape Memory Coil by an Inferential Soft Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(5), pp. 2442, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Hyeonseok Lee, Hyeong-Geun Park, Van-Du Le, Van-Phu Nguyen, Jeong-Moon Song, Bok-Hyung Lee, Jung-Dong Park |
X-band MMICs for a Low-Cost Radar Transmit/Receive Module in 250 nm GaN HEMT Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(10), pp. 4840, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Then Mozhi Ganapathy, Dhanalakshmi Kaliaperumal, Seung-Bok Choi |
Design and Control of Monolithic Compliant Gripper Using Shape Memory Alloy Wires. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(4), pp. 2052, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Seonri Hong, Moses Kang, Jonghoon Kim, Jong-Bok Baek |
Sequential application of denoising autoencoder and long-short recurrent convolutional network for noise-robust remaining-useful-life prediction framework of lithium-ion batteries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 179, pp. 109231, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Kuk-Hyun Ahn, Minwoo Na, Jae-Bok Song |
Robotic assembly strategy via reinforcement learning based on force and visual information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 164, pp. 104399, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yeasung Jeong, Kang-Bok Lee, Sumin Han, Young Woong Park, Junyoung Park |
CIO Turnover and its Consequences for Competitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 29th Americas Conference on Information Systems, AMCIS 2023, Panama City, Panama, August 10-12, 2023, 2023, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Myunghyun Lee, Man Bok Hong, Gwang Tae Kim, Seonwoo Kim |
Design for Hip Abduction Assistive Device Based on Relationship Between Hip Joint Motion and Torque During Running. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 143-148, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Man Bok Hong, Yongcheol Kim, Gwang Tae Kim, Myunghyun Lee, Seonwoo Kim |
Design of Novel Knee Joint Mechanism of Lower-Limb Exoskeleton to Realize Spatial Motion of Human Knee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 2419-2425, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Chan-Bok Jeong, Hyungsik Ju, Youngil Jeon, Moon-Sik Lee |
Efficient Design and Implementation Method to Reduce NR-based gNB Transmitter Development Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Fourteenth International Conference on Ubiquitous and Future Networks, ICUFN 2023, Paris, France, July 4-7, 2023, pp. 917-922, 2023, IEEE, 979-8-3503-3538-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1164 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|