Information technology, the internet, and you fected computer technology as well. Diversification and obfuscation techniques for software. D degree in department of systems engineering and engineering management at the chinese university of hong kong under the supervision of prof. In iarcs annual conference on foundations of software technology and theoretical computer science fsttcs. Lijun chang, jeffrey xu yu, lu qin, yuanyuan zhu, haixun wang. Authors are not charged for article submission and processing. Information and software technology vol 48, issue 8.
Lecture notes in computer science 11427, springer 2019, isbn 97830301746. Ausgezeichnete informatikdissertationen, lni, 2009. Today, communication links to the internet are a common feature of almost all computer systems. To send an email to maleknaz nayebi please complete the short form below. The links to all actual bibliographies of persons of the same or a similar name can be found below. Lijun zhang 0007 university of science and technology beijing, china. Nanjing university, state key laboratory for novel software technology.
In organizations, where people are provided with learning. Tools and algorithms for the construction and analysis of systems 25th international conference, tacas 2019, held as part of the european joint conferences on theory and practice of software, etaps 2019, prague, czech republic, april 611, 2019, proceedings, part i. Local smoothness in variance reduced optimization, nips, 2015. Zhou xu, shuai li, jun xu, jin liu, xiapu luo, yifeng zhang, tao zhang. Zhang lijun curlers sport athletes all over the world. List of publications from the dblp bibliography server faq. Jul 05, 2019 wentao li university of technology sydney. In proceedings of the 17th european conference on software maintenance and reengineering csmr, genova, italy, march 20. Information flow control in multithread applications based on access control lists. Theories, tools, and applications setta17, lecture notes in computer science 10606, pages 216231. Lijun chens 68 research works with 644 citations and 1,904 reads, including. Jeffrey xu yu in october 2014 and worked as postdoctoral fellow under his. Geri georg, indrakshi ray, kyriakos anastasakis, behzad bordbar, manachai toahchoodee and siv hilde houmb,an aspectoriented methodology for designing secure applications, information and software technology special issue on model based development for secure information systems, volume 51, number 5, may 2009.
Lijun shans 25 research works with 261 citations and 1,751 reads, including. Eai endorsed transactions on cognitive communications eudl. United nations university international institute for. From concurrency models to numbers performance and dependability, hermanns, h. Software reliability analysis using weakest preconditions in linear assignment programs. Research and application of intelligent building system integration methods. Next generation information technologies and systems, 6th international workshop, ngits 2006, kibbutz shefayim, israel, july 46, 2006, proceedings springer 2006.
Nanjing university, state key laboratory for novel software technology, china and 2 more. He was placed under investigation by the communist partys anticorruption agency in late july 2015. Multiple software engineering and business developer positions available. Software and systems modeling sosym is an international journal, publishing six issues yearly, that focuses on theoretical and practical issues in the development and application of software and system modeling languages, techniques, and methods, such as the unified modeling language.
This cited by count includes citations to the following articles in scholar. Yufang chen, matthias heizmann university of freiburg, germany, ondrej lengal brno university of technology, yong li institute of software, chinese academy of sciences, minghsien tsai academia sinica, taiwan, andrea turrini state key laboratory of computer science, institute of software, chinese academy of sciences, lijun zhang institute of software, chinese academy of sciences. See this dblp entry for lijun zhang and yet this one for lijun zhang this one contains publications from other authors with the same name. A tolerance rough set based overlapping clustering for the. This is just a disambiguation page, and is not intended to be the bibliography of an actual person. In iarcs annual conference on foundations of software technology and theoretical computer science fsttcs, volume of lipics, pages 399410. In proceedings of the 2012 international symposium on the foundations of software engineering fse12. For the analysis, the dblp data sets were preprocessed, while each journal has been assigned attributes, defined by its topics. Dagstuhl seminar 09501 on software synthesis, 2009.
A quantitative survey of software organizations currently involved in the business of developing software product lines over a wide range of operations, including consumer electronics, telecommunications, avionics, and information technology, was designed to test. Starting in 1993 at the university of trier, germany, it grew from a small collection of html files and became an organization hosting a database and logic programming bibliography site. We have developed a cs1 curriculum that uses a robotics context to teach introductory programming 1. From 2010 to 20, he was a faculty member of the department of computer science and engineering at shanghai jiao tong university sjtu. Ieee transactions on knowledge and data engineering tkde informs researchers, developers, managers, strategic planners, users, and others interested in stateoftheart and stateofthepractice activities in the knowledge and data engineering area.
Faculty of information technology monash university, australia email. Seeding searchbased multiobjective optimization with prior knowledge for software service composition. Lijun chen 0006 nanjing university, state key laboratory for novel software technology. Honor prize, the 18th samsung humantech paper award, february 2012. Citeseerx document details isaac councill, lee giles, pradeep teregowda. Information and software technology 51 2, 385404, 2009. Modeling and simulating adaptive multiagent systems with camle. Tao qin is a senior principal research manager in machine learning group, microsoft research asia. Theory and practice of software, etaps 2019, prague, czech republic, april 611, 2019, proceedings. Analyzing software quality evolution using metrics.
Vesna sabljakovicfritz, vienna university of technology, institute of discrete mathematics and geometry, e104 wiedner hauptstr. Moreover, matlab simulation experiment was performed. Maleknaz nayebi publicity cochairs information and. Publications of juan trujillo juan carlos trujillo.
Papers of original research and innovatory applications from all parts of the world are welcome. The 10th international conference on sustainable energy information technology seit20. Lijun chen 0005 beijing university of posts and telecommunications, china. Efficient mining of frequent xml query patterns with repeatingsiblings. For web page which are no longer available, try to retrieve content from the of the internet archive if available load content from web. In proceedings of the 3rd international symposium on dependable software engineering. Lijun yu, robert france, indrakshi ray and sudipto ghosh. Li li, jun gao, mederic hurier, pingfan kong, tegawende f bissyande. Please note that all enquiries should relate specifically to information and software technology. The international journal on software tools for technology transfer sttt provides a forum discussing all aspects of tools that aid in the development of computer systems. Function point fp is a useful software metric that was first proposed twentyfive years ago, since then, it has steadily evolved into a functional size metric consolidated in the wellaccepted standardized international function point users group ifpug counting practices manual version 4.
Currently, i am an associate professor at the faculty of information technology, macau. Proceedings of the 2nd ieee international symposium on network computing and applications, nca 2003, 1618. Publicity cochair, information and software technology montreal polytechnic, montreal, quebec, canada send an email to maleknaz nayebi. Secure information transmissions in wirelesspowered cognitive radio networks for internet of medical things. Nov 29, 2018 this study mainly investigated the application of wireless sensor network in urban intelligent traffic information acquisition. Lijun zhang 0003 northwestern polytechnical university, school of computer science and technology, xian, china. Xuemin lin university of new south wales enabling and optimizing nonlinear feature interactions in factorized linear algebra. A study of the rates of fault detection in testing wsbpel services.
Differential time of arrival dtoa technology, least square method and kalman filter algorithm were used to improve the location accuracy of vehicles. Nanjing university, xianlin campus mailbox 603 163 xianlin avenue, qixia district nanjing 210023, china office. This course will survey selected issues arising in data integration, focusing on the theoretical foundations of the area, and algorithms and software systems facilitating integration. Lijun zhang i am an associate professor of the dept. Information systems frontiers examines new research and development at the interface of information systems is and information technology it from analytical, behavioral, and technological perspectives. Theodore aloysius maria theo bemelmans born 24 february 1943 is a dutch computer scientist and emeritus professor of administrative information systems and automation at the eindhoven university of technology. Efficient information sampling in multicategory rfid systems. The ist journal was previous published as data processing 19821986. The journal is listed on the online sciencedirect resource.
List of computer science publications by lijun chen. Lijun zhang 0001 chinese academy of sciences, school of software, beijing, china and 2 more lijun zhang 0002 tsinghua university, department of electronic engineering, beijing, china. Lijun chens research works nanjing university, nanjing. On equivalence checking of nondeterministic finite automata.
Journal of computer science and technology jcst is an international forum for scientists and engineers in all aspects of computer science and technology publishing high quality and refereed papers. It provides a common forum for both frontline industrial developments as well as pioneering academic research. A uml profile for the conceptual modelling of datamining with timeseries in data warehouses. The dblp computer science bibliography evolved from an early small experimental. Add open access links from to the list of external document links if available. A umlbased language for specifying domainspecific patterns. Lijun chen 0003 nortel and 1 more lijun chen 0004 wright state university, dayton, oh, usa. Lijun, faultoriented software robustness assessment for multicast protocols, in. John fearnley, markus rabe, sven schewe, and lijun zhang. International journal on software tools for technology transfer 1, 3. Schloss dagstuhl leibnizzentrum fuer informatik, 2011.
International journal on software tools for technology. Proceedings of the twentyseventh international joint. Computer information technology pictures information. The students in the class will be working on team projects 23 people involving research andor programming, and will give class presentations about their projects. Weihua gong, liang huai yang, decai huang, lijun chen. Application of wireless sensor network in urban intelligent. His research interests include machine learning with the focus on deep learning and reinforcement learning, artificial intelligence with applications to language understanding and computer vision, game theory and multiagent. Their combined citations are counted only for the first article.
The journals multidisciplinary approach draws from such fields as computer. In software and systems safety, pages 182210, ios press, nato science for peace and security series d. Zhenyu zhangs homepage the world is continuously updated. In particular, it offers a tooloriented link between academic research and industrial practice. Ieice transactions on information and systems, vol.
Bo jiangs 42 research works with 726 citations and 2,893 reads, including. A new calibration for function point complexity weights. Efficient approximation of optimal control for continuoustime markov games. In 1989, the council of the united nations university decided to establish in macau the united nations university international institute for software technology unuiist as a research and training centre of the university.
David lo is an associate professor of information systems at singapore management university, leading the software. Special section on the selected papers from 14th international conference on evaluation and assessment in software engineering ease 2. Deterministic replay for multicore vxworks applications. We limited our search to titles, abstracts and keywords of the articles to avoid false positive results of the fulltext search. Lijun zhangs publications probabilistic model checking.
In the article there is presented comparison of overlapping clustering methods for data mining of dblp datasets. In some cases, search query was adapted according to requirements of the search engine. Tom mens, a historical dataset of software engineering conferences. Information and software technology 40, 1112 novemberdecember 1998, pp. Geri georg, indrakshi ray, kyriakos anastasakis, behzad bordbar, manachai toahchoodee and siv hilde houmb,an aspectoriented methodology for designing secure applications, information and software technology special issue on model based development for secure information. List of computer science publications by lijun zhang. Our robot and software have been specifically developed to support the needs of a cs1 curriculum. Information and software technology special issue on model based development for secure information systems, volume 51, number 5, may 2009. Global journal of computer science and technology h.
Lijun shans research works changsha university of science. Zhang lijun is a former chinese politician who served as viceminister of environmental protection from march 2008 to february 20. Lijun chen 0002 peking university, school of eecs, beijing, china. Room 310, computer science building, xianlin campus phone. Learning sparse lowthreshold linear classifiers, jmlr 16. Information and technology scope of journal the global journal of computer science and technology gjcst is a journal that publishes articles which contribute new theoretical results in all the areas of computer science, communication network and information technology. Institute for information technology verified email at.
Systematic experimental study on stitching techniques of cmos image sensors. Chinas economic zoning based on geographic information technology. The ones marked may be different from the article in the profile. The social and psychological aspects of professional development is linked with rewards. Lijun chen 0001 university of colorado, college of engineering and applied science, boulder, co, usa and 1 more lijun chen 0002 peking university, school of eecs, beijing, china.