no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- imported
- verification
- modelling
- JRR,
- CCP
- Speech
- 2005
- model_checking
- substitutability
- GeneralsTechnicalArea,Lighting,lighting
- image
- safety
- demonstrator2
- model\_checking
- ABBs
- compositional
- filter
- finite_state
- pfc
- telemedicine
- face
- Void
- machine_learning
- statistics
- component
- influenza
- matureip
- formal
- \_pdf
- concurrent_systems
- automated
- ontology_maturing
- eHealth
- CCII-TA
- concurrent\_systems
- No matching items.
- Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, and Marsha Chechik. TACAS, volume 7795 of Lecture Notes in Computer Science, page 637-640. Springer, (2013)Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, and Marsha Chechik. TACAS, volume 7795 of Lecture Notes in Computer Science, page 637-640. Springer, (2013)4 months and a day agoby dblp1
- B. S. Kademani, Anil Sagar, Ganesh Surwase, and K. Bhanumurthy. Scientometrics 94(3):1275-1295 (2013)B. S. Kademani, Anil Sagar, Ganesh Surwase, and K. Bhanumurthy. Scientometrics 94(3):1275-1295 (2013)4 months and 5 days agoby dblp1
- Sujoy Mistry, Dibyanshu Jaiswal, Sagar Virani, Arijit Mukherjee, and Nandini Mukherjee. ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 290-301. Springer, (2013)Sujoy Mistry, Dibyanshu Jaiswal, Sagar Virani, Arijit Mukherjee, and Nandini Mukherjee. ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 290-301. Springer, (2013)4 months and 19 days agoby dblp1
- Sagar Badnerkar, and Prashant Ingole. HIS, page 431-434. IEEE, (2012)Sagar Badnerkar, and Prashant Ingole. HIS, page 431-434. IEEE, (2012)4 months and 20 days agoby dblp1
- Sagar Chaki, Arie Gurfinkel, Soonho Kong, and Ofer Strichman. VMCAI, volume 7737 of Lecture Notes in Computer Science, page 536-554. Springer, (2013)Sagar Chaki, Arie Gurfinkel, Soonho Kong, and Ofer Strichman. VMCAI, volume 7737 of Lecture Notes in Computer Science, page 536-554. Springer, (2013)4 months and 25 days agoby dblp1
- Sagar Gujjunoori, and B. B. Amberker. ICVGIP, page 74. ACM, (2012)Sagar Gujjunoori, and B. B. Amberker. ICVGIP, page 74. ACM, (2012)5 months and 5 days agoby dblp1
- Wesley Jin, Sagar Chaki, Cory Cohen, Arie Gurfinkel, Jeffrey Havrilla, Charles Hines, and Priya Narasimhan. ICMLA 1, page 386-391. IEEE, (2012)Wesley Jin, Sagar Chaki, Cory Cohen, Arie Gurfinkel, Jeffrey Havrilla, Charles Hines, and Priya Narasimhan. ICMLA 1, page 386-391. IEEE, (2012)5 months and 6 days agoby dblp1
- Manu Mangal, Parul Sagar, Harinder Singh, Gajendra P. S. Raghava, and Subhash M. Agarwal. Nucleic Acids Research 41(Database-Issue):1124-1129 (2013)Manu Mangal, Parul Sagar, Harinder Singh, Gajendra P. S. Raghava, and Subhash M. Agarwal. Nucleic Acids Research 41(Database-Issue):1124-1129 (2013)5 months and 9 days agoby dblp1
- Srinivasan Radhakrishnan, Yingzi Lin, Ibrahim Zeid, and Sagar Kamarthi. Int. J. Hum.-Comput. Stud. 71(3):261-275 (2013)Srinivasan Radhakrishnan, Yingzi Lin, Ibrahim Zeid, and Sagar Kamarthi. Int. J. Hum.-Comput. Stud. 71(3):261-275 (2013)5 months and 16 days agoby dblp1
- V. Vijayaraghavan, Sagar Prakash Joglekar, Rajarathnam Nallusamy, and Sanjoy Paul. IJMIS 1(4):350-362 (2010)V. Vijayaraghavan, Sagar Prakash Joglekar, Rajarathnam Nallusamy, and Sanjoy Paul. IJMIS 1(4):350-362 (2010)5 months and 16 days agoby dblp1
- Sagar Chowdhury, Atul Thakur, Chenlu Wang, Petr Svec, Wolfgang Losert, and Satyandra K. Gupta. CASE, page 267-272. IEEE, (2012)Sagar Chowdhury, Atul Thakur, Chenlu Wang, Petr Svec, Wolfgang Losert, and Satyandra K. Gupta. CASE, page 267-272. IEEE, (2012)5 months and 17 days agoby dblp1
- Karthikeyan Balaji Dhanapal, K. Sai Deepak, Saurabh Sharma, Sagar Prakash Joglekar, Aditya Narang, Aditya Vashistha, Paras Salunkhe, Harikrishna G. N. Rai, Arun Agrahara Somasundara, and Sanjoy Paul. SRII Global Conference, page 44-54. IEEE Computer Society, (2012)Karthikeyan Balaji Dhanapal, K. Sai Deepak, Saurabh Sharma, Sagar Prakash Joglekar, Aditya Narang, Aditya Vashistha, Paras Salunkhe, Harikrishna G. N. Rai, Arun Agrahara Somasundara, and Sanjoy Paul. SRII Global Conference, page 44-54. IEEE Computer Society, (2012)5 months and 17 days agoby dblp1
- S. Sagar, Nadeem Javaid, J. Saqib, Z. A. Khan, U. Qasim, and M. A. Khan. CoRR (2012)S. Sagar, Nadeem Javaid, J. Saqib, Z. A. Khan, U. Qasim, and M. A. Khan. CoRR (2012)5 months and 18 days agoby dblp1
- Sagar S. Deshpande. Comp.-Aided Civil and Infrastruct. Engineering 28(1):68-79 (2013)Sagar S. Deshpande. Comp.-Aided Civil and Infrastruct. Engineering 28(1):68-79 (2013)6 months and 4 days agoby dblp1
- Mehrdad Dianati, Sherman X. Shen, and Sagar Naik. WCNC, page 712-717. IEEE, (2005)Mehrdad Dianati, Sherman X. Shen, and Sagar Naik. WCNC, page 712-717. IEEE, (2005)6 months and 7 days agoby dblp1
- Sagar Dhakal, Majeed M. Hayat, Mohammad Elyas, Jean Ghanem, and Chaouki T. Abdallah. WCNC, page 1755-1760. IEEE, (2005)Sagar Dhakal, Majeed M. Hayat, Mohammad Elyas, Jean Ghanem, and Chaouki T. Abdallah. WCNC, page 1755-1760. IEEE, (2005)6 months and 7 days agoby dblp1
- Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, and Noam Zeilberger. MoDELS, volume 4735 of Lecture Notes in Computer Science, page 666-681. Springer, (2007)Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, and Noam Zeilberger. MoDELS, volume 4735 of Lecture Notes in Computer Science, page 666-681. Springer, (2007)6 months and 11 days agoby dblp1
- B. Warin, and C. Kolskiand M. Sagar. Computers \& Education (2011)B. Warin, and C. Kolskiand M. Sagar. Computers \& Education (2011)6 months and 12 days agoby jbmere1
- Jonas Mårtensson, Assad Al Alam, Sagar Behere, Altamash Khan, Joakim Kjellberg, Kuo-Yun Liang, Henrik Pettersson, and Dennis Sundman. IEEE Transactions on Intelligent Transportation Systems 13(3):1033-1049 (2012)Jonas Mårtensson, Assad Al Alam, Sagar Behere, Altamash Khan, Joakim Kjellberg, Kuo-Yun Liang, Henrik Pettersson, and Dennis Sundman. IEEE Transactions on Intelligent Transportation Systems 13(3):1033-1049 (2012)6 months and 18 days agoby dblp1