закладки (спрятать)195406
- journals/csur/Corrigenda83, "Concepts and Notations for Concurrent Programming"., 377, 1983, ACM Comput. Surv., 15, 4, http://dblp.uni-trier.de/db/journals/csur/csur15.html#Corrigenda83
- journals/csur/Corrigendum87, "Formal Models of Stepwise Refinement of Programs"., 195, 1987, ACM Comput. Surv., 19, 2, http://dblp.uni-trier.de/db/journals/csur/csur19.html#Corrigendum87
- journals/csur/Corrigenda90, "Steady-State Simulation of Queuing Processes: A Survey of Problems and Solutions"., 409, 1990, ACM Comput. Surv., 22, 4, http://dblp.uni-trier.de/db/journals/csur/csur22.html#Corrigenda90
- journals/csur/Corrigendum89, "The Family of Concurrent Logic Programming Languages"., 629, 1989, ACM Comput. Surv., 21, 4, http://dblp.uni-trier.de/db/journals/csur/csur21.html#Corrigendum89
- journals/csur/Corrigendum91, "What Every Computer Scientist Should Know About Floating-Point Arithmetic"., 413, 1991, ACM Comput. Surv., 23, 3, http://dblp.uni-trier.de/db/journals/csur/csur23.html#Corrigendum91
- conf/metrics/X96, "What Makes Inspections Work?" Understanding How and Why Different Inspection Methods Impact Effectiveness and Cost., IEEE METRICS, 187-, 1996, http://dblp.uni-trier.de/db/conf/metrics/metrics1996.html#X96, http://csdl.computer.org/comp/proceedings/metrics/1996/7364/00/73640187.pdf, conf/metrics/1996
- conf/compsac/X95b, (Position Paper) Software Fault Tolerance at the Operating System Level., COMPSAC, 393-395, 1995, http://dblp.uni-trier.de/db/conf/compsac/compsac1995.html#X95b, conf/compsac/1995
- journals/insk/X01e, . . . verzweifelt gesucht! (Editorial)., 127, 2001, Informatik Spektrum, 24, 3, http://dblp.uni-trier.de/db/journals/insk/insk24.html#X01e, http://link.springer.de/link/service/journals/00287/bibs/1024003/10240127.htm
- conf/re/2002, 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, RE, 2002, http://dblp.uni-trier.de/db/conf/re/re2002.html, IEEE Computer Society, 0-7695-1465-0
- conf/apsec/2003, 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, APSEC, 2003, http://dblp.uni-trier.de/db/conf/apsec/apsec2003.html, IEEE Computer Society, 0-7695-2011-1
- conf/ats/2001, 10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan, Asian Test Symposium, 2001, http://dblp.uni-trier.de/db/conf/ats/ats2001.html, IEEE Computer Society, 0-7695-1378-6
- conf/csfw/1997, 10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA, CSFW, 1997, http://dblp.uni-trier.de/db/conf/csfw/csfw1997.html, IEEE Computer Society
- conf/pdp/2002, 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain, PDP, 2002, http://dblp.uni-trier.de/db/conf/pdp/pdp2002.html, IEEE Computer Society, 0-7695-1444-8
- conf/csmr/2006, 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 22-24 March 2006, Bari, Italy, CSMR, 2006, http://dblp.uni-trier.de/db/conf/csmr/csmr2006.html, IEEE Computer Society, 0-7695-2536-9
- journals/rc/X01b, 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics., 509-510, 2001, Reliable Computing, 7, 6, http://dblp.uni-trier.de/db/journals/rc/rc7.html#X01b, http://dx.doi.org/10.1023/A:1017476504291
- conf/iccv/2005, 10th IEEE International Conference on Computer Vision (ICCV 2005), 17-20 October 2005, Beijing, China, 2005, http://dblp.uni-trier.de/db/conf/iccv/iccv2005.html, IEEE Computer Society, 0-7695-2334-X
- conf/ecbs/2003, 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA, ECBS, 2003, http://dblp.uni-trier.de/db/conf/ecbs/ecbs2003.html, IEEE Computer Society, 0-7695-1917-2
- conf/icnp/2002, 10th IEEE International Conference on Network Protocols (ICNP 2002), 12-15 November 2002, Paris, France, Proceedings, ICNP, 2002, http://dblp.uni-trier.de/db/conf/icnp/icnp2002.html, IEEE Computer Society, 0-7695-1856-7
- conf/iolts/2004, 10th IEEE International On-Line Testing Symposium (IOLTS 2004), 12-14 July 2004, Funchal, Madeira Island, Portugal, IOLTS, 2004, http://dblp.uni-trier.de/db/conf/iolts/iolts2004.html, IEEE Computer Society, 0-7695-2180-0
- conf/metrics/2004, 10th IEEE International Software Metrics Symposium (METRICS 2004), 11-17 September 2004, Chicago, IL, USA, IEEE METRICS, 2004, http://dblp.uni-trier.de/db/conf/metrics/metrics2004.html, IEEE Computer Society, 0-7695-2129-0
- conf/dsrt/2006, 10th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2006), 2-4 October 2006, Malaga, Spain, DS-RT, 2006, http://dblp.uni-trier.de/db/conf/dsrt/dsrt2006.html, IEEE Computer Society, 0-7695-2697-7
- conf/hpdc/2001, 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10 2001), 7-9 August 2001, San Francisco, CA, USA, HPDC, 2001, http://dblp.uni-trier.de/db/conf/hpdc/hpdc2001.html, IEEE Computer Society, 0-7695-1296-8
- conf/ftdcs/2004, 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 26-28 May 2004, Suzhou, China, FTDCS, 2004, http://dblp.uni-trier.de/db/conf/ftdcs/ftdcs2004.html, IEEE Computer Society, 0-7695-2118-5
- conf/mtdt/2002, 10th IEEE International Workshop on Memory Technology, Design, and Testing (MTDT 2002), 10-12 July 2002, Isle of Bendor, France, MTDT, 2002, http://dblp.uni-trier.de/db/conf/mtdt/mtdt2002.html, IEEE Computer Society, 0-7695-1617-3
- conf/words/2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, WORDS, 2005, http://dblp.uni-trier.de/db/conf/words/words2005.html, IEEE Computer Society, 0-7695-2347-1
- conf/wetice/2001, 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 20-22 June 2001, Cambridge, MA, USA, 2001, http://dblp.uni-trier.de/db/conf/wetice/wetice2001.html, IEEE Computer Society, 0-7695-1269-0
- conf/prdc/2004, 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti, PRDC, 2004, http://dblp.uni-trier.de/db/conf/prdc/prdc2004.html, IEEE Computer Society, 0-7695-2076-6
- conf/rtas/2004, 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada, IEEE Real-Time and Embedded Technology and Applications Symposium, 2004, http://dblp.uni-trier.de/db/conf/rtas/rtas2004.html, IEEE Computer Society, 0-7695-2148-7
- conf/cbms/1997, 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 11-13 June 1997, Maribor, Slovenia, CBMS, 1997, http://dblp.uni-trier.de/db/conf/cbms/cbms1997.html, IEEE Computer Society, 0-8186-7928-X
- conf/fccm/2002, 10th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2002), 22-24 April 2002, Napa, CA, Proceedings, FCCM, 2002, http://dblp.uni-trier.de/db/conf/fccm/fccm2002.html, IEEE Computer Society, 0-7695-1801-X
- conf/infovis/2004, 10th IEEE Symposium on Information Visualization (InfoVis 2004), 10-12 October 2004, Austin, TX, USA, INFOVIS, 2004, http://dblp.uni-trier.de/db/conf/infovis/infovis2004.html, IEEE Computer Society, 0-7803-8779-1
- conf/icdcs/1990, 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28 - June 1, 1990, Paris, France, ICDCS, 1990, http://dblp.uni-trier.de/db/conf/icdcs/icdcs90.html, IEEE Computer Society
- conf/iceccs/2005, 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, ICECCS, 2005, http://dblp.uni-trier.de/db/conf/iceccs/iceccs2005.html, IEEE Computer Society, 0-7695-2284-X
- conf/hpca/2004, 10th International Conference on High-Performance Computer Architecture (HPCA-10 2004), 14-18 February 2004, Madrid, Spain, HPCA, 2004, http://dblp.uni-trier.de/db/conf/hpca/hpca2004.html, IEEE Computer Society, 0-7695-2053-7
- conf/iv/2006, 10th International Conference on Information Visualisation, IV 2006, 5-7 July 2006, London, UK, IV, 2006, http://dblp.uni-trier.de/db/conf/iv/iv2006.html, IEEE Computer Society
- conf/icpads/2004, 10th International Conference on Parallel and Distributed Systems (ICPADS 2004), 7-9 July 2004, Newport Beach, CA, USA, ICPADS, 2004, http://dblp.uni-trier.de/db/conf/icpads/icpads2004.html, IEEE Computer Society, 0-7695-2152-5
- conf/vlsid/1997, 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, VLSI Design, 1997, http://dblp.uni-trier.de/db/conf/vlsid/vlsid1997.html, IEEE Computer Society
- conf/ispw/1996, 10th International Software Process Workshop (ISPW '96), June 17-19, 1996, Dijon, France, ISPW, 1996, http://dblp.uni-trier.de/db/conf/ispw/ispw1996.html, IEEE Computer Society
- conf/async/2004, 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 19-23 April 2004, Crete, Greece, ASYNC, 2004, http://dblp.uni-trier.de/db/conf/async/async2004.html, IEEE Computer Society, 0-7695-2133-9
- conf/time/2003, 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, TIME, 2003, http://dblp.uni-trier.de/db/conf/time/time2003.html, IEEE Computer Society, 0-7695-1912-1
- conf/mascots/2002, 10th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), 11-16 October 2002, Fort Worth, Texas, USA, MASCOTS, 2002, http://dblp.uni-trier.de/db/conf/mascots/mascots2002.html, IEEE Computer Society, 0-7695-1840-0
- conf/iwpc/2002, 10th International Workshop on Program Comprehension (IWPC 2002), 27-29 June 2002, Paris, France, IWPC, 2002, http://dblp.uni-trier.de/db/conf/iwpc/iwpc2002.html, IEEE Computer Society, 0-7695-1495-2
- conf/pg/2002, 10th Pacific Conference on Computer Graphics and Applications (PG 2002), 9-11 October 2002, Beijing, China, Pacific Conference on Computer Graphics and Applications, 2002, http://dblp.uni-trier.de/db/conf/pg/pg2002.html, IEEE Computer Society, 0-7695-1784-6
- conf/re/2003, 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA, RE, 2003, http://dblp.uni-trier.de/db/conf/re/re2003.html, IEEE Computer Society, 0-7695-1980-6
- conf/apsec/2004, 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, APSEC, 2004, http://dblp.uni-trier.de/db/conf/apsec/apsec2004.html, IEEE Computer Society, 0-7695-2245-9
- conf/ats/2002, 11th Asian Test Symposium (ATS 2002), 18-20 November 2002, Guam, USA, Asian Test Symposium, 2002, http://dblp.uni-trier.de/db/conf/ats/ats2002.html, IEEE Computer Society, 0-7695-1825-7
- conf/pdp/2003, 11th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2003), 5-7 February 2003, Genova, Italy, PDP, 2003, http://dblp.uni-trier.de/db/conf/pdp/pdp2003.html, IEEE Computer Society, 0-7695-1875-3
- conf/ets/2006, 11th European Test Symposium (ETS 2006), 21-24 May 2006, Southhampton, UK, European Test Symposium, 2006, http://dblp.uni-trier.de/db/conf/ets/ets2006.html, IEEE Computer Society, 0-7695-2566-0
- conf/ecbs/2004, 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, ECBS, 2004, http://dblp.uni-trier.de/db/conf/ecbs/ecbs2004.html, IEEE Computer Society, 0-7695-2125-8
- conf/rtcsa/2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China, RTCSA, 2005, http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2005.html, IEEE Computer Society, 0-7695-2346-3
публикации (спрятать)7261221
- Math. Struct. Comput. Sci., 6 (4): 313-351 (1996)
- GaM, том 181 из EPTCS, стр. 16-31. (2015)
- ICMI, стр. 125-134. ACM, (2018)
- CoRR, (2019)
- SIGGRAPH Electronic Art and Animation Catalog, стр. 96-97. ACM, (2002)
- CoRR, (2021)
- Luleå University of Technology, Sweden, (2019)base-search.net (ftluleatu:oai:DiVA.org:ltu-73059).
- RANLP, стр. 392-398. INCOMA Ltd., Shoumen, Bulgaria, (2023)
- IROS, стр. 2027-2034. IEEE, (1992)
- ASIST, том 58 из Proc. Assoc. Inf. Sci. Technol., стр. 218-229. Wiley, (2021)
- (ноября 2020)
- IHM, том 32 из ACM International Conference Proceeding Series, стр. 65-72. ACM, (2002)
- KUI, стр. 3:1-3:6. ACM, (2023)
- INTERSPEECH, стр. 1726-1730. ISCA, (2019)
- Corvinus University of Budapest, Hungary, (2018)
- IGARSS, стр. 2951-2954. IEEE, (2007)
- Technique et Science Informatiques, 32 (3-4): 431-456 (2013)
- AMCIS, Association for Information Systems, (2011)
- CORIA, ARIA, (2019)
- School for Advanced Studies in the Social Sciences, Paris, France, (2023)
