Guy

less info

network profile

338 reputation

27

bio	website
	location
	age
visits	member for	2 years, 8 months
	seen	Jun 12 at 10:25
stats	profile views	75

summary answers questions tags badges favorites bounties reputation activity

4 Answers

votes activity newest

3	Getting an automaton from set of words in and out of a language
3	TCS Research Frontier with Huge Practical and Industrial Impact on our Society
1	What's the simplest to implement of all decent LTL-to-Buchi translation or other LTL verification algorithms?
0	Kripke model and LTL vs CTL formulae interpretation

338 Reputation

+20	Why is 2SAT in P?
+30	TCS Research Frontier with Huge Practical and Industrial Impact on our Society
+30	Getting an automaton from set of words in and out of a language
+5	Generating a point in a rational polytope $P \subseteq R^k$ given a point in $P^\epsilon$

view more

3 Questions

votes activity newest

21	Why is 2SAT in P?
8	Generating a point in a rational polytope $P \subseteq R^k$ given a point in $P^\epsilon$
3	Is the problem “MIN-SET-PARTITION” an NP-hard problem?

17 Tags

4 automata-theory × 2	1 lo.logic × 2
3 soft-question	1 linear-temporal-logic
3 regular-language	1 program-verification
3 fl.formal-languages	0 cc.complexity-theory × 2
1 model-checking × 2	0 np-hardness × 2

view more

18 Accounts

	Stack Overflow	2,027 rep	52755
	Theoretical Computer Science	338 rep	27
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	333 rep	18
	Meta Stack Overflow	164 rep	13
	Computer Science	161 rep	1

9 Badges

recent class name

Notable Question	Nice Question
Popular Question	Supporter
Yearling	Student
Scholar	Teacher
Editor

0 Active bounties

active offered earned

This user has no active bounties

15 Votes Cast

all time			by type
15	up		7	question
0	down		8	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Christianity Arqade (gaming) Bicycles Role-playing Games more (21)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.6.19.752

Theoretical Computer Science Stack Exchange works best with JavaScript enabled